aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_cl.erl
AgeCommit message (Expand)Author
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 12:58:43 +0000