Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-12-12 | Support non top level letrecs in dialyzer | José Valim | |
Dialyzer so far only supported letrecs at the top-level and comprehension-like letrecs (i.e. that were directly applied) in their body. This commit address this issue by storing in the callgraph bound letrec labels pointing to their functions. This information is then used by the dataflow to properly lookup recursive definitions. | |||
2013-02-22 | Update copyright years | Björn-Egil Dahlberg | |
2013-02-19 | Simplify a case construct using a boolean operator | Kostis Sagonas | |
2012-05-21 | Regulate all kinds of running workers up to the number of schedulers | Stavros Aronis | |
2012-05-21 | Better names for callgaph ETS tables | Stavros Aronis | |
2012-05-21 | Remove needless conversion | Stavros Aronis | |
The final version of the callgraph needs not be "reduced" for more efficient copying. | |||
2012-05-21 | Fix types and specs | Stavros Aronis | |
2012-05-21 | Better reflect side-effect based code in dialyzer_callgraph | Stavros Aronis | |
2012-05-21 | Code simplifications (tidier) | Kostis Sagonas | |
2012-05-21 | More efficient calculation of module deps and postorder | Stavros Aronis | |
2012-05-21 | All spawns are now spawn_links | Stavros Aronis | |
2012-05-21 | Fix specs | Stavros Aronis | |
2012-05-21 | Add read_concurrency option to some ETS tables | Stavros Aronis | |
2012-05-21 | Avoid digraph_utils:condensation and ordering in typesig | 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 | Callgraph is ets based from the start | Stavros Aronis | |
2012-05-21 | Parallel dataflow | Stavros Aronis | |
2012-05-21 | Separate race related fields of callgraph | Stavros Aronis | |
2012-05-21 | Remove unused race detection related code | Stavros Aronis | |
2012-05-21 | Moving code between callgraph & dataflow | Stavros Aronis | |
2012-05-21 | Parallel typesig analysis | Stavros Aronis | |
2012-05-21 | Simplify typesig postorder calculation | Stavros Aronis | |
As the storing in the codeserver is organized per function there is no need for fancy code to make use of the old caching capabilities. | |||
2012-05-21 | Flatten order of dataflow analyses | Stavros Aronis | |
Dataflow analysis was structured to find SCCs of modules, without making any use of the information that these were indeed SCCs. | |||
2012-03-30 | Update copyright years | Björn-Egil Dahlberg | |
2012-02-22 | Review by Kostis Sagonas and fixes | Stavros Aronis | |
2012-02-22 | Cleanups in dialyzer_callgraph and dialyzer_dataflow | Stavros Aronis | |
Refactorings, code movements and reflection of mutable variables in the code. | |||
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-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 | |