aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2011-05-04Add small/bin_comprStavros Aronis
2011-05-04Add small/tuple_set_crashStavros Aronis
2011-05-04Add small/refine_failingStavros Aronis
2011-05-04Add small/not_bogus_warningStavros Aronis
2011-05-04Add small/none_scc_inf_loopStavros Aronis
2011-05-04Add small/guardsStavros Aronis
2011-05-04Add small/guard_warningsStavros Aronis
2011-05-04Add small/confusing_record_warningStavros Aronis
2011-05-04Add small/blame_contract_rangeStavros Aronis
2011-05-04Update small/recursive_types2 sourceStavros Aronis
2011-05-04Update opaque/zoltan_kis* sourcesStavros Aronis
2011-05-04Update options1/compiler resultsStavros Aronis
2011-05-04Rename suite data directoriesStavros Aronis
2011-05-04Simplify Dialyzer's test suite structureStavros Aronis
2011-04-15Merge branch 'ta/dialyzer-doc' into devHenrik Nord
2011-04-12Merge branch 'sa/dialyzer-invalid-spec-fix' into devHenrik Nord
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-03-31Fix crash related with the contract blame assignment patchStavros Aronis
2011-03-29Fix the name of an error functionMaria Christakis
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