Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-05-21 | Coordinator is no longer a separate process | Stavros Aronis | |
2012-05-21 | Add better timing labels | Stavros Aronis | |
2012-05-21 | Add --time option to Dialyzer | Stavros Aronis | |
2012-05-21 | Fix types and specs in Dialyzer | Stavros Aronis | |
2012-05-21 | Parallel compilation of files under analysis | Stavros Aronis | |
2012-05-21 | Parallel typesig analysis | Stavros Aronis | |
2012-05-21 | Convert remaining codeserver fields to ETS tables | Stavros Aronis | |
2012-03-30 | Update copyright years | Björn-Egil Dahlberg | |
2012-03-26 | Report only actual unknown types otherwise no message is sent | Stavros Aronis | |
2012-03-14 | Ensure that -on_load functions are not reported as unused | Stavros Aronis | |
2012-02-22 | Simplify external vs bad calls check | Stavros Aronis | |
2012-02-22 | Remove redundant code | Stavros Aronis | |
2012-02-22 | Refactorings in dialyzer_analysis_callgraph | Stavros Aronis | |
2011-12-22 | Handle nowarn_unused_function like the compiler does | Hans Bolinder | |
2011-12-09 | Update copyright years | Björn-Egil Dahlberg | |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis | |
2011-11-18 | Store callbacks in codeserver and PLT | Stavros Aronis | |
2011-11-18 | Collect callback definitions during compilation | Stavros Aronis | |
2010-11-09 | dialyzer: Speed up analysis of nested list comprehensions | Kostis Sagonas | |
Nested list comprehensions are translated into strongly connected funs but dialyzer ignored this. This meant that self-recursive analysis was normally executed for each fun and the whole fixpoint took some time to calculate. This patch adds every fun found in constraint generation to the SCC that is under analysis and then solves the SCC as a whole. Possible issues: - The returned dict contains more entries than usual. This triggered a bug in contract checking that is dealt with is this patch as well (dialyzer_contracts.erl). - As it's not easy to tell apart real fun SCCs from simple funs it performance might be hampered in the simple funs case. While doing these changes, also added and strengthened some specs. In addition, incorporated a modified patch by Ahmed Omar that fixes a bug in dialyzer_analysis_callgraph module that kept the files of only one selected directory in dialyzer's GUI. | |||
2010-06-08 | Various changes to dialyzer-related files for R14. | Kostis Sagonas | |
Bumped version number and wrote RELEASE_NOTES. Included all changes described in release notes. Some spec-related changes to some files in lib/hipe/cerl. | |||
2010-06-03 | Add handling of unknown types | Maria Christakis | |
2010-06-03 | Support -export_type() in dialyzer and erl_types | Kostis Sagonas | |
2010-02-17 | Merge branch 'ks/hipe' into ccase/r13b04_dev | Erlang/OTP | |
* ks/hipe: dialyzer: Fix system_limit exception in race analysis syntax_tools: Add types and specs for most exported functions syntax_tools: Support the --enable-native-libs configure option syntax_tools: Remove $Id$ annotations dialyzer: New version for the R13B04 release hipe: Miscellaneous additions typer: New version for the R13B04 release Fix a HiPE compiler bug evaluating an expression that throws system_limit OTP-8460 ks/hipe | |||
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas | |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |