Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |
* 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-16 | dialyzer: Fix system_limit exception in race analysis | Kostis Sagonas | |
dialyzer_callgraph: Avoid creation of too many ets tables by the race analysis. dialyzer_dataflow: The digraph returned by the race analysis should not be the translated one. | |||
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas | |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |