Age | Commit message (Expand) | Author |
2017-05-04 | Update copyright year | Raimo Niskanen |
2017-05-02 | Merge branch 'maint' | Hans Bolinder |
2017-04-27 | dialyzer: Fix unknown type | Hans Bolinder |
2017-04-26 | dialyzer: Fix a bug regarding unknown types | Hans Bolinder |
2017-04-25 | Store abstract code in the Dbgi chunk | José Valim |
2017-04-21 | Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travis | Björn Gustavsson |
2017-04-20 | Add back TypEr to the main OTP repository | Björn Gustavsson |
2017-04-13 | stdlib: Add checks of the dialyzer attribute to the linter | Hans Bolinder |
2017-03-10 | Update copyright year | Rickard Green |
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-03 | Merge branch 'maint' | Björn Gustavsson |
2017-03-02 | dialyzer, observer: Use portable lookup of home directory | Björn Gustavsson |
2017-03-02 | Merge branch 'maint' | Hans Bolinder |
2017-03-02 | dialyzer: Update runtime dependencies | Hans Bolinder |
2017-02-28 | dialyzer: Fix an opaque bug | Hans Bolinder |
2017-02-28 | dialyzer: Minor fix | Hans Bolinder |
2017-02-14 | Fixed typos in lib/dialyzer | Andrew Dryga |
2017-02-06 | Merge branch 'hasse/dialyzer/memory_opt/OTP-14127' | 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: Optimize typesig | Hans Bolinder |
2017-02-01 | dialyzer: Optimize evaluation of complex code | 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 |
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 |