Age | Commit message (Expand) | Author |
---|---|---|
2013-02-22 | Update copyright years | Björn-Egil Dahlberg |
2013-02-19 | Simplify a case construct using inequality | Kostis Sagonas |
2012-05-21 | Convert remaining codeserver fields to ETS tables | Stavros Aronis |
2012-05-21 | Replace Dialyzer's hand-made codeserver with an ets table | Stavros Aronis |
2012-02-22 | Refactor function selection by Dialyzer's codeserver | Stavros Aronis |
2011-12-09 | Update copyright years | Björn-Egil Dahlberg |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis |
2011-11-18 | Store callbacks in codeserver and PLT | Stavros Aronis |
2010-06-08 | Various changes to dialyzer-related files for R14. | Kostis Sagonas |
2010-06-03 | Support -export_type() in dialyzer and erl_types | Kostis Sagonas |
2010-02-17 | Merge branch 'ks/hipe' into ccase/r13b04_dev | Erlang/OTP |
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP |