Age | Commit message (Expand) | Author |
2017-08-24 | dialyzer: Fix a bug where merging PLT:s could lose info | Hans Bolinder |
2017-06-13 | dialyzer: Run more of analyses in subprocess | Hans Bolinder |
2017-06-13 | dialyzer: Do not use two records for PLTs | Hans Bolinder |
2017-06-13 | dialyzer: Improve compression of an ETS table | Hans Bolinder |
2017-06-13 | dialyzer: Minor optimizations | Hans Bolinder |
2017-06-13 | dialyzer: Warn about unused unknown types | Hans Bolinder |
2017-06-13 | dialyzer: Correct a mistake | Hans Bolinder |
2017-06-13 | dialyzer: Rearrange some code to save memory | Hans Bolinder |
2017-06-13 | dialyzer: Optimize by avoiding some table lookups | Hans Bolinder |
2017-06-09 | dialyzer: Improve handling of Unicode | Hans Bolinder |
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 |