Age | Commit message (Expand) | Author |
2011-03-11 | Merge branch 'sa/dialyzer-missing-spec' into dev | Henrik Nord |
2011-03-11 | More descriptive warning when a tuple pattern matches a typed record | Stavros Aronis |
2011-03-11 | Better blame assignment when a spec is erroneous | Stavros Aronis |
2011-03-11 | Generate better warnings for failing guards | Stavros Aronis |
2011-03-11 | Fix an erroneous warning | Kostis Sagonas |
2011-03-11 | Refactoring so that a flat string() is returned | Kostis Sagonas |
2011-03-11 | Renamed error/1 function and added specs | Kostis Sagonas |
2011-03-11 | Renamed error/1 function and added specs | Kostis Sagonas |
2011-03-10 | Add spec to dialyzer_cl_parse:get_lib_dir/1 | Stavros Aronis |
2011-03-09 | Merge branch 'aronisstav/dialyzer/dialyzer_tests/OTP-9116' into dev | Lukas Larsson |
2011-03-04 | Merge branch 'sa/dialyzer-fix-guards' into dev | Niclas Axelsson |
2011-02-28 | Write output_plt even when plt_check is ok | Stavros Aronis |
2011-02-28 | Add 'apps' option to the erlang interface | Stavros Aronis |
2011-01-20 | Add a --fullpath option to Dialyzer | Kostis Sagonas |
2011-01-18 | Fix warnings about guards containing not | Stavros Aronis |
2011-01-18 | Fix errors in the handling of 'and'/'or' guards | Stavros Aronis |
2011-01-14 | Cosmetic changes | Stavros Aronis |
2010-12-20 | Fix bug in the handling of 'or' by Dialyzer | Stavros Aronis |
2010-12-06 | dialyzer: Update documentation | Maria Christakis |
2010-11-30 | dialyzer: Add support for multiple PLTs | Maria Christakis |
2010-11-26 | Fix typo in warnings | Stavros Aronis |
2010-11-09 | dialyzer: Speed up analysis of nested list comprehensions | Kostis Sagonas |
2010-10-14 | dialyzer: Fix so warnings will be emitted for all public ETS tables | Maria Christakis |
2010-10-06 | Merge branch 'ks/fix-dialyzer_plt-spec' into dev | Björn Gustavsson |
2010-10-04 | Dialyzer: Fix erroneous type and use the same definition in two places | Kostis Sagonas |
2010-09-24 | Fix two errors in dialyzer | Kostis Sagonas |
2010-09-10 | Remove warnings for clashes with new autoimported BIFs | Patrik Nyblom |
2010-06-08 | Various changes to dialyzer-related files for R14. | Kostis Sagonas |
2010-06-07 | Fix confusing dialyzer warnings for is_record/2 with illegal records | Björn Gustavsson |
2010-06-03 | Minor fix in a print message | Kostis Sagonas |
2010-06-03 | Add handling of unknown types | Maria Christakis |
2010-06-03 | Support -export_type() in dialyzer and erl_types | Kostis Sagonas |
2010-03-03 | Fix small confusion/buglet in the handling of 'or' | Kostis Sagonas |
2010-02-17 | Merge branch 'ks/hipe' into ccase/r13b04_dev | Erlang/OTP |
2010-02-16 | dialyzer: Fix system_limit exception in race analysis | Kostis Sagonas |
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP |