Age | Commit message (Expand) | Author |
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-03-01 | Increase timetrap of options1 suite | Stavros Aronis |
2011-02-28 | Write output_plt even when plt_check is ok | Stavros Aronis |
2011-02-28 | Create plt with erts, kernel and stdlib only | Stavros Aronis |
2011-02-28 | Update test results as they currently appear in dev | Stavros Aronis |
2011-02-28 | Major restructure of dialyzer's testsuite | Stavros Aronis |
2011-02-28 | Add 'apps' option to the erlang interface | Stavros Aronis |
2011-02-18 | Update spec file to work with new common test structure | Lukas Larsson |
2011-02-18 | Test suites for Dialyzer | 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 | Prepare release | Erlang/OTP |
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-22 | Merge branch 'ks/dialyzer-fixes' into dev | Björn Gustavsson |
2010-11-22 | Merge branch 'ks/erl_types-fixes' into dev | Björn Gustavsson |
2010-11-22 | erl_types: Fix pretty rare crashes and an infinite loop | Kostis Sagonas |
2010-11-09 | dialyzer: Speed up analysis of nested list comprehensions | Kostis Sagonas |
2010-11-09 | Fix two typos in Dialyzer documentation | Tuncer Ayaz |
2010-10-26 | Add missing Dialyzer warning options to doc | Tuncer Ayaz |
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-13 | Prepare releaseOTP_R14B | Erlang/OTP |
2010-09-10 | Remove warnings for clashes with new autoimported BIFs | Patrik Nyblom |
2010-06-11 | Update release notes | Björn Gustavsson |
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-04-09 | Dialyzer docs: Fix minor typo | Kostis Sagonas |
2010-03-03 | Fix small confusion/buglet in the handling of 'or' | Kostis Sagonas |
2010-02-19 | Update release notes | Björn-Egil Dahlberg |
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 |