Age | Commit message (Expand) | Author |
2017-09-18 | Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maint | Hans Bolinder |
2017-09-15 | dialyzer: Improve check of unknown types | Hans Bolinder |
2017-09-12 | dialyzer: Adjust a test case | Hans Bolinder |
2017-09-12 | dialyzer: Modify handling of singleton map key types | Hans Bolinder |
2017-06-13 | dialyzer: Do not use two records for PLTs | Hans Bolinder |
2017-06-13 | dialyzer: Warn about unused unknown types | Hans Bolinder |
2017-06-09 | dialyzer: Improve handling of Unicode | Hans Bolinder |
2017-05-02 | Merge branch 'maint' | Hans Bolinder |
2017-04-26 | dialyzer: Fix a bug regarding unknown types | Hans Bolinder |
2017-04-24 | Merge branch 'zandra/stdlib/optional-callbacks/OTP-13801' | Zandra Norman |
2017-04-21 | stdlib: Make gen_server callbacks optional | Zandra Norman |
2017-04-21 | Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travis | Björn Gustavsson |
2017-04-20 | Add smoke test for TypER | Björn Gustavsson |
2017-04-13 | stdlib: Add checks of the dialyzer attribute to the linter | Hans Bolinder |
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 |