Age | Commit message (Expand) | Author |
---|---|---|
2012-02-22 | Remove callgraph from the state used during solving | Stavros Aronis |
2012-02-22 | Refactorings in dialyzer_typesig | Stavros Aronis |
2012-02-22 | Avoid unnecessary passing of huge terms in some closures | Stavros Aronis |
2012-02-22 | Simplify dialyzer_succ_typings code | Stavros Aronis |
2011-12-01 | Fix crash in Dialyzer | Stavros Aronis |
2011-10-14 | Fix false warning about closure application | Stavros Aronis |
2011-09-29 | Update copyright years | Björn-Egil Dahlberg |
2011-08-30 | Add origin information to #fun_var closures | Stavros Aronis |
2011-05-13 | Fix server loop detection | Stavros Aronis |
2010-12-20 | Fix bug in the handling of 'or' by Dialyzer | Stavros Aronis |
2010-11-09 | dialyzer: Speed up analysis of nested list comprehensions | Kostis Sagonas |
2010-06-08 | Various changes to dialyzer-related files for R14. | 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 |