aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_cl_parse.erl
AgeCommit message (Expand)Author
2018-02-05dialyzer: Do not call erlang:get_stacktrace()Hans Bolinder
2017-09-05dialyzer: Improve handling of UnicodeHans Bolinder
2017-06-09dialyzer: Improve handling of UnicodeHans Bolinder
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-11-22dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2015-05-28Dialyzer to cache results of HiPE compilationMagnus Henoch
2015-04-27dialyzer: Add new option 'unknown'Hans Bolinder
2015-04-27dialyzer: Add new option 'no_missing_calls'Hans Bolinder
2014-06-03[dialyzer] Correct docs about optionsHans Bolinder
2013-11-13Remove the --wx option and promore the --gui to use the wx-based GUIKostis Sagonas
2012-08-21Add an undocumented option [--solver [v1 | v2]]Hans Bolinder
2012-05-21Logfile-like statistics (enabled with --resources)Stavros Aronis
2012-05-21Change --time to --statistics and include more infoStavros Aronis
2012-05-21Add --time option to DialyzerStavros Aronis
2011-11-18Wrap up behaviours patch for DialyzerStavros Aronis
2011-03-11Merge branch 'sa/dialyzer-missing-spec' into devHenrik Nord
2011-03-11Renamed error/1 function and added specsKostis Sagonas
2011-03-10Add spec to dialyzer_cl_parse:get_lib_dir/1Stavros Aronis
2011-03-09Merge branch 'aronisstav/dialyzer/dialyzer_tests/OTP-9116' into devLukas Larsson
2011-02-28Add 'apps' option to the erlang interfaceStavros Aronis
2011-01-20Add a --fullpath option to DialyzerKostis Sagonas
2010-12-06dialyzer: Update documentationMaria Christakis
2010-11-30dialyzer: Add support for multiple PLTsMaria Christakis
2010-09-10Remove warnings for clashes with new autoimported BIFsPatrik Nyblom
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-14dialyzer: New version for the R13B04 releaseKostis Sagonas
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 07:50:21 +0000