aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2010-12-06Prepare releaseErlang/OTP
2010-12-06dialyzer: Update documentationMaria Christakis
2010-11-30dialyzer: Add support for multiple PLTsMaria Christakis
2010-11-26Fix typo in warningsStavros Aronis
2010-11-22Merge branch 'ks/dialyzer-fixes' into devBjörn Gustavsson
2010-11-22Merge branch 'ks/erl_types-fixes' into devBjörn Gustavsson
2010-11-22erl_types: Fix pretty rare crashes and an infinite loopKostis Sagonas
2010-11-09dialyzer: Speed up analysis of nested list comprehensionsKostis Sagonas
2010-11-09Fix two typos in Dialyzer documentationTuncer Ayaz
2010-10-26Add missing Dialyzer warning options to docTuncer Ayaz
2010-10-14dialyzer: Fix so warnings will be emitted for all public ETS tablesMaria Christakis
2010-10-06Merge branch 'ks/fix-dialyzer_plt-spec' into devBjörn Gustavsson
2010-10-04Dialyzer: Fix erroneous type and use the same definition in two placesKostis Sagonas
2010-09-24Fix two errors in dialyzerKostis Sagonas
2010-09-13Prepare releaseOTP_R14BErlang/OTP
2010-09-10Remove warnings for clashes with new autoimported BIFsPatrik Nyblom
2010-06-11Update release notesBjörn Gustavsson
2010-06-08Various changes to dialyzer-related files for R14.Kostis Sagonas
2010-06-07Fix confusing dialyzer warnings for is_record/2 with illegal recordsBjörn Gustavsson
2010-06-03Minor fix in a print messageKostis Sagonas
2010-06-03Add handling of unknown typesMaria Christakis
2010-06-03Support -export_type() in dialyzer and erl_typesKostis Sagonas
2010-04-09Dialyzer docs: Fix minor typoKostis Sagonas
2010-03-03Fix small confusion/buglet in the handling of 'or'Kostis Sagonas
2010-02-19Update release notesBjörn-Egil Dahlberg
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-16dialyzer: Fix system_limit exception in race analysisKostis Sagonas
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 08:07:35 +0000