Age | Commit message (Expand) | Author |
2011-05-04 | Update small/recursive_types2 source | Stavros Aronis |
2011-05-04 | Update opaque/zoltan_kis* sources | Stavros Aronis |
2011-05-04 | Update options1/compiler results | Stavros Aronis |
2011-05-04 | Rename suite data directories | Stavros Aronis |
2011-05-04 | Simplify Dialyzer's test suite structure | Stavros Aronis |
2011-04-15 | Merge branch 'ta/dialyzer-doc' into dev | Henrik Nord |
2011-04-12 | Merge branch 'dev' into bmk/inets/inet56_integration | Micael Karlberg |
2011-04-12 | Merge branch 'sa/dialyzer-invalid-spec-fix' into dev | Henrik Nord |
2011-04-11 | dialyzer/doc: synchronize manual.txt and dialyzer.xml | Tuncer Ayaz |
2011-04-11 | dialyzer/doc: fix whitespace errors | Tuncer Ayaz |
2011-04-11 | dialyzer/doc: use consistent colons in type specs | Tuncer Ayaz |
2011-04-06 | Merge branch 'dev' into bmk/inets/inet56_integration | Micael Karlberg |
2011-03-31 | Fix crash related with the contract blame assignment patch | Stavros Aronis |
2011-03-29 | Fix the name of an error function | Maria Christakis |
2011-03-17 | Merge branch 'dev' into bmk/inets/ftp/missing_spec_causes_dialyxer_problems/O... | Micael Karlberg |
2011-03-14 | Prepare releaseOTP_R14B02 | Erlang/OTP |
2011-03-11 | Update copyright years | Björn-Egil Dahlberg |
2011-03-11 | Merge branch 'sa/dialyzer-missing-spec' into dev | Henrik Nord |
2011-03-11 | Release notes and new version for R14B02 | Kostis Sagonas |
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-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 |