aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe
AgeCommit message (Expand)Author
2016-05-04Declare the erl_types:var_table() type as opaqueKostis Sagonas
2016-05-04hipe: Use maps for unification and substitutionHans Bolinder
2016-05-04dialyzer: Use maps instead of dictHans Bolinder
2016-04-29dialyzer: Fix a bug in the translation of forms to typesHans Bolinder
2016-04-29Merge branch 'sverker/hipe/remove-ct_hooks'Sverker Eriksson
2016-04-28erl_types: Don't consider opaque keys singletonMagnus Lång
2016-04-28erl_types: Fix t_subtract/2 correctness bugMagnus Lång
2016-04-28erl_types: Fix crash merging maps with opaque keysMagnus Lång
2016-04-28erl_bif_types: Add a selection of maps BIFsMagnus Lång
2016-04-28erl_types: Add a map type representationMagnus Lång
2016-04-19Remove unused ct_hooksSverker Eriksson
2016-04-13Merge branch 'henrik/update-copyrightyear'Henrik Nord
2016-03-21Merge branch 'kostis/hipe-inline-fp-crash/PR-984/OTP-13407'Sverker Eriksson
2016-03-15update copyright-yearHenrik Nord
2016-03-15Merge tag 'OTP-18.3'Lars Thorsen
2016-03-14Prepare releaseErlang/OTP
2016-03-10hipe_icode_fp: simplify match/2Magnus Lång
2016-03-07Comment and clean up a testKostis Sagonas
2016-03-07hipe_icode_fp: Replace helper with lists:allMagnus Lång
2016-03-03hipe_icode_fp: Define types for all records usedMagnus Lång
2016-03-03hipe_icode_fp: Add specs and switch trees to mapsMagnus Lång
2016-03-02hipe: Fix crashing bugs when inlining FP opsMagnus Lång
2016-02-29A test that crashes the HiPE compiler when inlining FP opsKostis Sagonas
2016-02-25Merge branch 'maint'Henrik Nord
2016-02-25Merge branch 'kostis/hipe-icode-cleanup' into maintHenrik Nord
2016-02-17Makefiles: Remove test_server from include path and code pathBjörn Gustavsson
2016-02-17Eliminate use of test_server.hrl and test_server_line.hrlBjörn Gustavsson
2016-02-10Merge branch 'maint'Hans Bolinder
2016-02-09dialyzer: Correct byte_size() and comparisonsHans Bolinder
2016-02-07Fix dialyzer warning and some code refactoringKostis Sagonas
2016-02-02Merge branch 'maint'Zandra
2016-02-02Merge branch 'margnus1/bs_unit_fix' into maintZandra
2016-02-01dialyzer: Remove t_parameterized_module/0 from erl_typesStavros Aronis
2016-01-27Merge branch 'maint'Zandra
2016-01-27Merge branch 'kostis/hipe-tests-basic' into maintZandra
2016-01-26Refactor usage of opaques() typeLuca Favatella
2016-01-20hipe: Improve typesHans Bolinder
2016-01-18Merge branch 'maint'Björn-Egil Dahlberg
2016-01-18Merge branch 'egil/improve-map-cerl-prettypr/OTP-13238' into maintBjörn-Egil Dahlberg
2016-01-15Merge branch 'maint'Hans Bolinder
2016-01-15dialyzer: Correct handling of parameters of opaque typesHans Bolinder
2016-01-14compiler, hipe: Fix pretty printing of Core MapsBjörn-Egil Dahlberg
2016-01-14hipe: Fix map pretty printing of pairsBjörn-Egil Dahlberg
2015-12-16Fix compilation of matching with UTF binariesKostis Sagonas
2015-12-16Cleanup and add one more test caseKostis Sagonas
2015-12-16Two tests that depend on inlining being turned onKostis Sagonas
2015-12-16More tests for BIFsKostis Sagonas
2015-12-16Include some more old HiPE tests to the test suiteKostis Sagonas
2015-12-16Add tests for the is_boolean/1 guardKostis Sagonas
2015-12-16Two more tests addedKostis Sagonas