Age | Commit message (Expand) | Author |
2016-08-31 | dialyzer: Increase time limit of suites | Hans Bolinder |
2016-07-04 | dialyzer: Suppress warns on generated case stmts | Magnus Lång |
2016-06-28 | erl_types: Normalise X:=none() pairs in t_map/3 | Magnus Lång |
2016-06-10 | Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547' | Hans Bolinder |
2016-06-09 | Remove support for '...' in Maps types | Hans Bolinder |
2016-06-09 | dialyzer: Suppress unmatched_return for send/2 | Hans Bolinder |
2016-06-09 | Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092' | Hans Bolinder |
2016-06-08 | Fix a bug in Dialyzer related to call-site analysis | Stavros Aronis |
2016-06-08 | Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop. | Hans Bolinder |
2016-04-29 | dialyzer: Fix a bug in the translation of forms to types | Hans Bolinder |
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 | dialyzer: Fix another pattern literal bug | Magnus Lång |
2016-04-28 | dialyzer: Improve map pattern typesetting | Magnus Lång |
2016-04-28 | dialyzer_contracts: Consider #{} a violation | Magnus Lång |
2016-04-28 | dialyzer_typesig: Fix simplification bug | Magnus Lång |
2016-04-28 | dialyzer_dataflow: Fix try in guards | Magnus Lång |
2016-04-28 | dialyzer: Unfold cerl patterns containing maps | Magnus Lång |
2016-04-28 | dialyzer_dataflow: Add map support | Magnus Lång |
2016-04-28 | dialyzer_typesig: Add map support | Magnus Lång |
2016-04-28 | Enhance map specs in erts, stdlib, runtime_tools | 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 | stdlib: Fix warnings | Hans Bolinder |
2016-03-15 | update copyright-year | Henrik Nord |
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-20 | dialyzer: Correct a test case | 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 |
2015-12-28 | Merge branch 'maint' | Zandra |
2015-12-15 | dialyzer: Print constraints using the '::' syntax | 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 | Update Dialyzer | Hans Bolinder |
2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
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-25 | dialyzer: Optimize expansion of parameters of opaque types | Hans Bolinder |