Age | Commit message (Expand) | Author |
2016-03-14 | Prepare release | Erlang/OTP |
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-08 | Merge branch 'maint' | Hans Bolinder |
2016-02-08 | dialyzer: Fix a bug concerning the option 'plt_remove' | Hans Bolinder |
2016-02-02 | Merge branch 'maint' | Zandra |
2016-02-02 | Merge branch 'aronisstav/dialyzer-missing-callback-info' into maint | Zandra |
2016-02-01 | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis |
2016-01-27 | Clarify usage of coordinator by analysis_callgraph | Luca Favatella |
2016-01-27 | Reflect more init-loop OTP pattern in dialyzer_worker | Luca Favatella |
2016-01-27 | Delete dead sequential code in dialyzer_worker | Luca Favatella |
2016-01-26 | Clarify computation of exported types in Dialyzer | Luca Favatella |
2016-01-26 | Split race_data_server out of dialyzer_callgraph | Luca Favatella |
2016-01-26 | Refactor dialyzer_analysis_callgraph | Luca Favatella |
2016-01-26 | Refactor usage of opaques() type | Luca Favatella |
2016-01-26 | Clarify that dialyzer_callgraph:callgraph() type is opaque | Luca Favatella |
2016-01-26 | Delete a couple of leftover chars in Dialyzer doc | Luca Favatella |
2016-01-20 | dialyzer: Correct a test case | Hans Bolinder |
2016-01-20 | dialyzer: Improve a type | Hans Bolinder |
2016-01-18 | Merge branch 'maint' | Björn-Egil Dahlberg |
2016-01-14 | dialyzer: Update Maps tests | Björn-Egil Dahlberg |
2016-01-11 | Fix inadvertent deletion of callback info | Stavros Aronis |
2016-01-11 | Eliminate ugly case statements | Stavros Aronis |
2016-01-11 | Remove dead code related to missing behaviour info | Stavros Aronis |
2015-12-28 | Merge branch 'maint' | Zandra |
2015-12-28 | Merge branch 'lucafavatella/dialyzer-fun-call' into maint | Zandra |
2015-12-16 | Merge tag 'OTP-18.2' | Henrik Nord |
2015-12-15 | Update release notes | Erlang/OTP |
2015-12-15 | Update version numbers | Erlang/OTP |
2015-12-15 | dialyzer: Print constraints using the '::' syntax | Hans Bolinder |
2015-11-04 | Merge branch 'maint' | Hans Bolinder |
2015-11-04 | [dialyzer] Correct documentation | Hans Bolinder |
2015-10-30 | hipe/dialyzer: Remove functions from erl_bif_types | Hans Bolinder |
2015-10-27 | Teach Dialyzer call to funs `M:F/A` (literal M, F, A) | Luca Favatella |
2015-10-27 | Merge branch 'maint' | Henrik Nord |
2015-10-27 | Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maint | Henrik Nord |
2015-10-09 | Fix errors in dialyzer_{coordinator,worker} specs | Stavros Aronis |
2015-10-09 | Update Dialyzer | Hans Bolinder |
2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
2015-09-23 | Merge tag 'OTP-18.1' | Henrik Nord |
2015-09-21 | Prepare release | Erlang/OTP |
2015-09-16 | Merge branch 'maint' | Hans Bolinder |
2015-09-16 | Update application versions | Hans Bolinder |
2015-09-15 | stdlib: Remove deprecated functions in erl_parse and erl_scan | Hans Bolinder |
2015-09-09 | dialyzer: Add a testcase | Hans Bolinder |
2015-09-04 | dialyzer: Fix erlang:abs/1 | Hans Bolinder |
2015-08-31 | Merge branch 'sverk/hipe-fix-literal-crc' into maint | Sverker Eriksson |
2015-08-31 | erts,hipe,dialyzer: Fix hipe checkum of target runtime system | Sverker Eriksson |
2015-08-25 | dialyzer: Correct the timing of the phase called 'remote' | Hans Bolinder |