aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2011-04-11dialyzer/doc: synchronize manual.txt and dialyzer.xmlTuncer Ayaz
2011-04-11dialyzer/doc: fix whitespace errorsTuncer Ayaz
2011-04-11dialyzer/doc: use consistent colons in type specsTuncer Ayaz
2011-04-06Merge branch 'dev' into bmk/inets/inet56_integrationMicael Karlberg
2011-03-31Fix crash related with the contract blame assignment patchStavros Aronis
2011-03-29Fix the name of an error functionMaria Christakis
2011-03-17Merge branch 'dev' into bmk/inets/ftp/missing_spec_causes_dialyxer_problems/O...Micael Karlberg
2011-03-14Prepare releaseOTP_R14B02Erlang/OTP
2011-03-11Update copyright yearsBjörn-Egil Dahlberg
2011-03-11Merge branch 'sa/dialyzer-missing-spec' into devHenrik Nord
2011-03-11Release notes and new version for R14B02Kostis Sagonas
2011-03-11More descriptive warning when a tuple pattern matches a typed recordStavros Aronis
2011-03-11Better blame assignment when a spec is erroneousStavros Aronis
2011-03-11Generate better warnings for failing guardsStavros Aronis
2011-03-11Fix an erroneous warningKostis Sagonas
2011-03-11Refactoring so that a flat string() is returnedKostis Sagonas
2011-03-11Renamed error/1 function and added specsKostis Sagonas
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-03-04Merge branch 'sa/dialyzer-fix-guards' into devNiclas Axelsson
2011-03-01Increase timetrap of options1 suiteStavros Aronis
2011-02-28Write output_plt even when plt_check is okStavros Aronis
2011-02-28Create plt with erts, kernel and stdlib onlyStavros Aronis
2011-02-28Update test results as they currently appear in devStavros Aronis
2011-02-28Major restructure of dialyzer's testsuiteStavros Aronis
2011-02-28Add 'apps' option to the erlang interfaceStavros Aronis
2011-02-18Update spec file to work with new common test structureLukas Larsson
2011-02-18Test suites for DialyzerStavros Aronis
2011-01-20Add a --fullpath option to DialyzerKostis Sagonas
2011-01-18Fix warnings about guards containing notStavros Aronis
2011-01-18Fix errors in the handling of 'and'/'or' guardsStavros Aronis
2011-01-14Cosmetic changesStavros Aronis
2010-12-20Fix bug in the handling of 'or' by DialyzerStavros Aronis
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