aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_cl.erl
AgeCommit message (Expand)Author
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