Age | Commit message (Expand) | Author |
---|---|---|
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 |