Age | Commit message (Expand) | Author |
2011-11-30 | Fix Dialyzer's warning for its own code | Stavros Aronis |
2011-11-30 | No warnings for underspecs with remote types | Stavros Aronis |
2011-11-18 | Wrap up behaviours patch for Dialyzer | Stavros Aronis |
2011-11-18 | Detection of callback-spec discrepancies | Stavros Aronis |
2011-11-18 | Allow none() as return value in callbacks | Stavros Aronis |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis |
2011-11-18 | Add lookup function for callbacks | Stavros Aronis |
2011-11-18 | Store callbacks in codeserver and PLT | Stavros Aronis |
2011-11-18 | Collect callback definitions during compilation | Stavros Aronis |
2011-10-14 | Fix false warning about closure application | Stavros Aronis |
2011-10-14 | Change category of 'might also return' warnings | Stavros Aronis |
2011-09-29 | Update copyright years | Björn-Egil Dahlberg |
2011-09-27 | Fix bug in dataflow | Stavros Aronis |
2011-08-30 | Add origin information to #fun_var closures | Stavros Aronis |
2011-08-29 | Suppress some warnings about generation of non-returning funs | Stavros Aronis |
2011-08-29 | Fix infinite loop in dataflow | Stavros Aronis |
2011-08-29 | Minor fix in dead code | Stavros Aronis |
2011-08-24 | Merge branch 'sa/dialyzer-server-loop-fix' into dev | Henrik Nord |
2011-08-17 | Fix dialyzer warning on default clause for binary comprehension | Ivan Dubrov |
2011-08-01 | Fix bug when reporting unused functions | Stavros Aronis |
2011-05-23 | Fix crash when a contract range warning is emitted for a module already in plt | Stavros Aronis |
2011-05-13 | Fix server loop detection | Stavros Aronis |
2011-04-12 | Merge branch 'sa/dialyzer-invalid-spec-fix' into dev | Henrik Nord |
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-11 | Update copyright years | Björn-Egil Dahlberg |
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 |