Age | Commit message (Expand) | Author |
2017-02-21 | dialyzer: Correct test cases after removal of erlang:hash/2 | Hans Bolinder |
2017-02-14 | Fixed typos in lib/dialyzer | Andrew Dryga |
2017-02-09 | Merge branch 'maint' | Hans Bolinder |
2017-02-06 | Merge branch 'hasse/dialyzer/memory_opt/OTP-14127' | Hans Bolinder |
2017-02-03 | dialyzer: Correct PLT tests | Hans Bolinder |
2017-02-03 | Merge branch 'maint' | Hans Bolinder |
2017-02-03 | dialyzer: Fix a Dialyzer warning | Hans Bolinder |
2017-02-03 | dialyzer: Attempt to reduce memory consumption | Hans Bolinder |
2017-02-03 | dialyzer: Do not spawn all workers at once | Hans Bolinder |
2017-02-03 | dialyzer: Write PLT in subprocess | Hans Bolinder |
2017-02-03 | dialyzer: Remove code for non-started workers | Hans Bolinder |
2017-02-03 | dialyzer: Sort graphs topologically | Hans Bolinder |
2017-02-03 | dialyzer: Compress some PLT tables | Hans Bolinder |
2017-02-03 | dialyzer: Check return value of digrahp:add_edge() | Hans Bolinder |
2017-02-03 | dialyzer: Use less memory for the PLT when analyzing | Hans Bolinder |
2017-02-03 | typer: Fix a bug regarding the -T option | Hans Bolinder |
2017-02-03 | dialyzer: Do not keep the code server's type info on the heap | Hans Bolinder |
2017-02-03 | Merge branch 'maint' | Hans Bolinder |
2017-02-01 | dialyzer: Increase time limit for tests | Hans Bolinder |
2017-02-01 | dialyzer: Optimize typesig | Hans Bolinder |
2017-02-01 | dialyzer: Optimize evaluation of complex code | 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-12 | Merge branch 'hasse/stdlib/fix_anno_types/OTP-14131' into maint | Hans Bolinder |
2017-01-12 | Merge branch 'maint' | Hans Bolinder |
2017-01-11 | dialyzer: Compact 'file' annotations in Core code | Hans Bolinder |
2017-01-11 | dialyzer: Try to reduce memory usage | Hans Bolinder |
2017-01-11 | dialyzer: Use less memory when translating contracts | Hans Bolinder |
2017-01-11 | dialyzer: Use maps instaed of dict | Hans Bolinder |
2017-01-11 | dialyzer: Use maps instead of dict for module contracts map | Hans Bolinder |
2017-01-11 | dialyzer: Compress a few more ETS tables | Hans Bolinder |
2017-01-11 | dialyzer: Optimize memory consumption | Hans Bolinder |
2017-01-11 | dialyzer: Reduce memory consumption during 'remote' phase | Hans Bolinder |
2017-01-11 | dialyzer: Update code for finding parallelism | Hans Bolinder |
2017-01-11 | dialyzer: Reduce ETS usage during the typesig phase | Hans Bolinder |
2017-01-11 | dialyzer: Optimize graph condensation | Hans Bolinder |
2017-01-11 | dialyzer: Do not send full PLTs as messages | 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-14 | Merge tag 'OTP-19.2' | Dan Gudmundsson |
2016-12-09 | Prepare release | Erlang/OTP |
2016-12-07 | Update copyright-year | Erlang/OTP |
2016-11-23 | Update obsolete author e-mails | Richard Carlsson |
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 |