Age | Commit message (Expand) | Author |
2017-03-14 | Merge branch 'hasse/fix_erl_anno_use' | Hans Bolinder |
2017-03-08 | dialyzer: Correct a test case | Hans Bolinder |
2017-03-08 | dialyzer: Fix handling of annotations in a test | Hans Bolinder |
2017-03-06 | Merge branch 'maint' | Hans Bolinder |
2017-03-06 | Merge branch 'hasse/dialyzer/fix_warnings/OTP-14177' into maint | Hans Bolinder |
2017-03-06 | Merge branch 'maint' | Siri Hansen |
2017-03-01 | Fix typos: lenght -> length | Myron Marston |
2017-02-28 | dialyzer: Improve a warning | Hans Bolinder |
2017-02-28 | dialyzer: Fix a weird warning | Hans Bolinder |
2017-02-28 | dialyzer: Fix an opaque bug | Hans Bolinder |
2017-02-21 | dialyzer: Correct test cases after removal of erlang:hash/2 | Hans Bolinder |
2017-02-20 | Add dummy end_per_suite/1 | Siri Hansen |
2017-02-14 | Fixed typos in lib/dialyzer | Andrew Dryga |
2017-02-09 | Merge branch 'maint' | Hans Bolinder |
2017-02-03 | dialyzer: Correct PLT tests | Hans Bolinder |
2017-02-03 | Merge branch 'maint' | Hans Bolinder |
2017-02-01 | dialyzer: Increase time limit for tests | Hans Bolinder |
2017-01-25 | Update test cases for erlang:hash/2 removal | Björn-Egil Dahlberg |
2017-01-12 | Merge branch 'maint' | Hans Bolinder |
2017-01-10 | stdlib: Correct signatures of functions in erl_parse | Hans Bolinder |
2017-01-10 | Merge branch 'maint' | Hans Bolinder |
2016-12-21 | stdlib: Allow characters in types and constant patterns | Hans Bolinder |
2016-12-07 | Update copyright-year | Erlang/OTP |
2016-11-23 | Correct copyright and license on dialyzer files | Richard Carlsson |
2016-11-23 | Merge branch 'maint' | Hans Bolinder |
2016-11-22 | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder |
2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
2016-11-22 | dialyzer: Correct a warnings message | Hans Bolinder |
2016-11-02 | Merge branch 'maint' | Hans Bolinder |
2016-11-01 | erts: Correct type declaration of match specification head | Hans Bolinder |
2016-10-21 | Merge branch 'maint' | Hans Bolinder |
2016-10-21 | dialyzer: Fix error handling of bad -dialyzer() attributes | Hans Bolinder |
2016-10-13 | Merge branch 'maint' | Hans Bolinder |
2016-10-06 | dialyzer: Fix opaque bug | Hans Bolinder |
2016-10-06 | dialyzer: Fix opaque bugs | Hans Bolinder |
2016-09-26 | Use @ in variable names generated by core and kernel | José Valim |
2016-09-12 | Merge branch 'margnus1/dialyzer/fix_maps_opaque/ERL-249/PR-1161/OTP-13878' in... | Hans Bolinder |
2016-09-07 | erl_bif_types: Properly unopaque maps:merge/2 args | Magnus Lång |
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 |