Age | Commit message (Expand) | Author |
2013-11-13 | Remove the --wx option and promore the --gui to use the wx-based GUI | Kostis Sagonas |
2012-08-21 | Add an undocumented option [--solver [v1 | v2]] | Hans Bolinder |
2012-05-21 | Logfile-like statistics (enabled with --resources) | Stavros Aronis |
2012-05-21 | Change --time to --statistics and include more info | Stavros Aronis |
2012-05-21 | Add --time option to Dialyzer | Stavros Aronis |
2011-11-18 | Wrap up behaviours patch for Dialyzer | Stavros Aronis |
2011-03-11 | Merge branch 'sa/dialyzer-missing-spec' into dev | Henrik Nord |
2011-03-11 | Renamed error/1 function and added specs | Kostis Sagonas |
2011-03-10 | Add spec to dialyzer_cl_parse:get_lib_dir/1 | Stavros Aronis |
2011-03-09 | Merge branch 'aronisstav/dialyzer/dialyzer_tests/OTP-9116' into dev | Lukas Larsson |
2011-02-28 | Add 'apps' option to the erlang interface | Stavros Aronis |
2011-01-20 | Add a --fullpath option to Dialyzer | Kostis Sagonas |
2010-12-06 | dialyzer: Update documentation | Maria Christakis |
2010-11-30 | dialyzer: Add support for multiple PLTs | Maria Christakis |
2010-09-10 | Remove warnings for clashes with new autoimported BIFs | Patrik Nyblom |
2010-02-17 | Merge branch 'ks/hipe' into ccase/r13b04_dev | Erlang/OTP |
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP |