Age | Commit message (Expand) | Author |
2018-05-25 | dialyzer: Refine the test for overspecified functions | Hans Bolinder |
2018-05-13 | dialyzer: Do not emit warnings for unreachable funs | Hans Bolinder |
2018-03-13 | Merge branch 'hasse/dialyzer/extra-range/OTP-14970' | Hans Bolinder |
2018-02-26 | Merge pull request #1719 from josevalim/jv-faster-dialyzer-md5 | Hans Bolinder |
2018-02-23 | Merge branch 'maint' | Hans Bolinder |
2018-02-21 | Compute MD5s in dialyzer using the .beam file | José Valim |
2018-02-21 | dialyzer: Correct a parameterized opaque types bug | Hans Bolinder |
2018-02-20 | Dialyzer should not throw away spec information because of overspec | Richard Carlsson |
2018-02-15 | Merge branch 'maint' | Hans Bolinder |
2018-02-14 | dialyzer: Fix a crash | Hans Bolinder |
2018-02-07 | Merge branch 'hasse/no_get_stacktrace/OTP-14861' | Hans Bolinder |
2018-02-06 | dialyzer: Assign a type to the primop build_stacktrace | Hans Bolinder |
2018-02-05 | dialyzer: Do not call erlang:get_stacktrace() | Hans Bolinder |
2018-01-23 | Merge branch 'maint' | Hans Bolinder |
2018-01-22 | dialyzer: Optimize handling of a lot of warnings | Hans Bolinder |
2017-11-30 | Add syntax in try/catch to retrieve the stacktrace directly | Björn Gustavsson |
2017-11-28 | Merge branch 'maint' | Hans Bolinder |
2017-11-22 | dialyzer: Extend the map implementation's handling of ?unit | Hans Bolinder |
2017-11-14 | Merge branch 'maint' | Hans Bolinder |
2017-11-10 | dialyzer: Display error messages without call stack | Hans Bolinder |
2017-09-20 | Merge branch 'maint' | Dan Gudmundsson |
2017-09-19 | Update runtime deps to depend on new stdlib functionality | Dan Gudmundsson |
2017-09-15 | Merge branch 'siri/string-new-api' | Siri Hansen |
2017-09-15 | Merge branch 'maint' | Hans Bolinder |
2017-09-15 | dialyzer: Improve check of unknown types | Hans Bolinder |
2017-09-12 | Merge branch 'maint' | Hans Bolinder |
2017-09-12 | dialyzer: Do not fix ETS tables when merging PLTs | Hans Bolinder |
2017-09-07 | Merge branch 'maint' | Siri Hansen |
2017-09-05 | dialyzer: Improve handling of Unicode | Hans Bolinder |
2017-08-25 | Merge branch 'maint' | Henrik Nord |
2017-08-24 | dialyzer: Fix a bug where merging PLT:s could lose info | Hans Bolinder |
2017-07-06 | dialyzer: Do not use deprecated functions in string(3) | Hans Bolinder |
2017-07-04 | No longer support OTP 19 beam files in Dialyzer | José Valim |
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 |