Age | Commit message (Expand) | Author |
2017-01-10 | stdlib: Correct signatures of functions in erl_parse | Hans Bolinder |
2016-12-21 | stdlib: Allow characters in types and constant patterns | Hans Bolinder |
2016-11-01 | erts: Correct type declaration of match specification head | 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-28 | dialyzer_typesig: Add map support | 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-02-10 | Merge branch 'maint' | Hans Bolinder |
2016-02-09 | dialyzer: Correct byte_size() and comparisons | Hans Bolinder |
2016-01-18 | Merge branch 'maint' | Björn-Egil Dahlberg |
2016-01-14 | dialyzer: Update Maps tests | Björn-Egil Dahlberg |
2015-10-30 | hipe/dialyzer: Remove functions from erl_bif_types | Hans Bolinder |
2015-10-27 | Merge branch 'maint' | Henrik Nord |
2015-10-27 | Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maint | Henrik Nord |
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-04 | dialyzer: Fix erlang:abs/1 | Hans Bolinder |
2015-08-21 | hipe/dialyzer: Fix a bug concerning opaque types and keydelete/3 | Hans Bolinder |
2015-07-11 | Teach Dialyzer arity of funs with literal arity | Luca Favatella |
2015-06-18 | Change license text to APLv2 | Bruce Yinhe |
2015-06-15 | dialyzer: Fix a bug in the expansion of forms | Hans Bolinder |
2015-05-08 | Merge branch 'aronisstav/dialyzer-inv-mult' | Zandra Hird |
2015-05-05 | Fix a bug related to constraints generated for erlang:'*'/2 | Stavros Aronis |
2015-04-30 | dialyzer: Strengthen maps tests | Björn-Egil Dahlberg |
2015-04-27 | dialyzer: Add new option 'no_missing_calls' | Hans Bolinder |
2015-03-10 | [dialyzer] Add testcases | Hans Bolinder |
2015-03-10 | [dialyzer] Fix the conversion of forms to types | Hans Bolinder |
2015-02-12 | [dialyzer] Fix a bug concerning map() types | Hans Bolinder |
2015-02-10 | [dialyzer] Fix a bug concerning map() types | Hans Bolinder |
2015-01-14 | dialyzer: Introduce module local suppression of warnings | Hans Bolinder |
2014-12-01 | dialyzer: Test recoalesced map keys | Björn-Egil Dahlberg |
2014-11-25 | Merge branch 'maint' | Hans Bolinder |
2014-11-24 | dialyzer: correct record updates | Hans Bolinder |
2014-08-21 | Merge branch 'maint' | Hans Bolinder |
2014-08-21 | dialyzer, hipe: Fix a bug concerning is_record/2,3 | Hans Bolinder |
2014-06-30 | Merge branch 'maint' | Hans Bolinder |
2014-06-26 | hipe: Correct pretty-printing of bitstrings | Hans Bolinder |
2014-06-17 | Merge branch 'maint' | Hans Bolinder |
2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder |
2014-05-26 | Merge branch 'maint' | Björn-Egil Dahlberg |
2014-05-26 | Merge branch 'egil/fix-maps-pretty-layout/OTP-11947' into maint | Björn-Egil Dahlberg |
2014-05-26 | Merge branch 'maint' | Hans Bolinder |
2014-05-23 | hipe: fix a bug concerning typed record fields | Hans Bolinder |
2014-05-13 | Merge branch 'maint' | Hans Bolinder |
2014-05-13 | hipe: fix a bug concerning typed record fields | Hans Bolinder |
2014-05-05 | Remove pre-defined types dict(), digraph(), &c | Hans Bolinder |
2014-04-29 | dialyzer: Add Maps type mismatch test | Björn-Egil Dahlberg |