aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_cl.erl
AgeCommit message (Expand)Author
2017-02-03dialyzer: Write PLT in subprocessHans Bolinder
2017-02-03dialyzer: Use less memory for the PLT when analyzingHans Bolinder
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Do not send full PLTs as messagesHans Bolinder
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-03-15update copyright-yearHenrik Nord
2016-02-02Merge branch 'maint'Zandra
2016-01-11Remove dead code related to missing behaviour infoStavros Aronis
2015-10-09Update DialyzerHans Bolinder
2015-08-31erts,hipe,dialyzer: Fix hipe checkum of target runtime systemSverker Eriksson
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-01dialyzer: Update the PLT properly when a module is changedHans Bolinder
2015-01-14dialyzer: Introduce module local suppression of warningsHans Bolinder
2014-03-28Reinstate native code compilation of cerl and erl_typesKostis Sagonas
2014-03-20Introduce a new warning option, 'no_unknown'Hans Bolinder
2014-03-20Return warnings for unknown types and functions in Erlang ModeHans Bolinder
2014-03-17dialyzer: Do not native compile modules with Maps codeBjörn-Egil Dahlberg
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-01-28dialyzer,hipe,stdlib: Add Maps understanding to DialyzerBjörn-Egil Dahlberg
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
2013-04-08Fix minor error in natively compiled module listStavros Aronis
2013-02-22Update copyright yearsBjörn-Egil Dahlberg
2013-02-19Native code compilation changesKostis Sagonas
2012-08-21Add an undocumented option [--solver [v1 | v2]]Hans Bolinder
2012-05-21Relocate start and stop of timing serverStavros Aronis
2012-05-21Add --time option to DialyzerStavros Aronis
2012-04-24Don't rewrite unchanged PLTStavros Aronis
2011-12-01Cleanup autoimport compiler directivesStavros Aronis
2011-12-01Fix Dialyzer's warning for its own codeStavros Aronis
2011-11-30Add file/line info in a particular Dialyzer crashStavros Aronis
2011-11-30Fix Dialyzer's warning for its own codeStavros Aronis
2011-11-18Behaviour callback discrepancy detection for DialyzerStavros Aronis
2011-03-09Merge branch 'aronisstav/dialyzer/dialyzer_tests/OTP-9116' into devLukas Larsson
2011-02-28Write output_plt even when plt_check is okStavros Aronis
2011-01-20Add a --fullpath option to DialyzerKostis Sagonas
2010-11-30dialyzer: Add support for multiple PLTsMaria Christakis
2010-11-09dialyzer: Speed up analysis of nested list comprehensionsKostis Sagonas
2010-09-10Remove warnings for clashes with new autoimported BIFsPatrik Nyblom
2010-06-08Various changes to dialyzer-related files for R14.Kostis Sagonas
2010-06-03Minor fix in a print messageKostis Sagonas
2010-06-03Add handling of unknown typesMaria Christakis
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