Age | Commit message (Expand) | Author |
2016-04-29 | dialyzer: Fix a bug in the translation of forms to types | Hans Bolinder |
2016-04-29 | Merge branch 'sverker/hipe/remove-ct_hooks' | Sverker Eriksson |
2016-04-28 | erl_types: Don't consider opaque keys singleton | Magnus Lång |
2016-04-28 | erl_types: Fix t_subtract/2 correctness bug | Magnus Lång |
2016-04-28 | erl_types: Fix crash merging maps with opaque keys | Magnus Lång |
2016-04-28 | erl_bif_types: Add a selection of maps BIFs | Magnus Lång |
2016-04-28 | erl_types: Add a map type representation | Magnus Lång |
2016-04-19 | Remove unused ct_hooks | Sverker Eriksson |
2016-04-13 | Merge branch 'henrik/update-copyrightyear' | Henrik Nord |
2016-03-21 | Merge branch 'kostis/hipe-inline-fp-crash/PR-984/OTP-13407' | Sverker Eriksson |
2016-03-15 | update copyright-year | Henrik Nord |
2016-03-15 | Merge tag 'OTP-18.3' | Lars Thorsen |
2016-03-14 | Prepare release | Erlang/OTP |
2016-03-10 | hipe_icode_fp: simplify match/2 | Magnus Lång |
2016-03-07 | Comment and clean up a test | Kostis Sagonas |
2016-03-07 | hipe_icode_fp: Replace helper with lists:all | Magnus Lång |
2016-03-03 | hipe_icode_fp: Define types for all records used | Magnus Lång |
2016-03-03 | hipe_icode_fp: Add specs and switch trees to maps | Magnus Lång |
2016-03-02 | hipe: Fix crashing bugs when inlining FP ops | Magnus Lång |
2016-02-29 | A test that crashes the HiPE compiler when inlining FP ops | Kostis Sagonas |
2016-02-25 | Merge branch 'maint' | Henrik Nord |
2016-02-25 | Merge branch 'kostis/hipe-icode-cleanup' into maint | Henrik Nord |
2016-02-17 | Makefiles: Remove test_server from include path and code path | Björn Gustavsson |
2016-02-17 | Eliminate use of test_server.hrl and test_server_line.hrl | Björn Gustavsson |
2016-02-10 | Merge branch 'maint' | Hans Bolinder |
2016-02-09 | dialyzer: Correct byte_size() and comparisons | Hans Bolinder |
2016-02-07 | Fix dialyzer warning and some code refactoring | Kostis Sagonas |
2016-02-02 | Merge branch 'maint' | Zandra |
2016-02-02 | Merge branch 'margnus1/bs_unit_fix' into maint | Zandra |
2016-02-01 | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis |
2016-01-27 | Merge branch 'maint' | Zandra |
2016-01-27 | Merge branch 'kostis/hipe-tests-basic' into maint | Zandra |
2016-01-26 | Refactor usage of opaques() type | Luca Favatella |
2016-01-20 | hipe: Improve types | Hans Bolinder |
2016-01-18 | Merge branch 'maint' | Björn-Egil Dahlberg |
2016-01-18 | Merge branch 'egil/improve-map-cerl-prettypr/OTP-13238' into maint | Björn-Egil Dahlberg |
2016-01-15 | Merge branch 'maint' | Hans Bolinder |
2016-01-15 | dialyzer: Correct handling of parameters of opaque types | Hans Bolinder |
2016-01-14 | compiler, hipe: Fix pretty printing of Core Maps | Björn-Egil Dahlberg |
2016-01-14 | hipe: Fix map pretty printing of pairs | Björn-Egil Dahlberg |
2015-12-16 | Fix compilation of matching with UTF binaries | Kostis Sagonas |
2015-12-16 | Cleanup and add one more test case | Kostis Sagonas |
2015-12-16 | Two tests that depend on inlining being turned on | Kostis Sagonas |
2015-12-16 | More tests for BIFs | Kostis Sagonas |
2015-12-16 | Include some more old HiPE tests to the test suite | Kostis Sagonas |
2015-12-16 | Add tests for the is_boolean/1 guard | Kostis Sagonas |
2015-12-16 | Two more tests added | Kostis Sagonas |
2015-12-16 | Test that apply/3 is tail recursive | Kostis Sagonas |
2015-12-16 | Three more tests added | Kostis Sagonas |
2015-12-16 | Minor cleanup | Kostis Sagonas |