Age | Commit message (Expand) | Author |
2014-02-23 | Deprecate pre-defined built-in types | Hans Bolinder |
2013-12-12 | Support non top level letrecs in dialyzer | José Valim |
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 |
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 |
2012-05-21 | Flatten order of dataflow analyses | Stavros Aronis |
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 |
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 |
2010-02-16 | dialyzer: Fix system_limit exception in race analysis | Kostis Sagonas |
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP |