aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2011-09-08Merge branch 'sa/dialyzer-dev' into devHenrik Nord
2011-08-30Add origin information to #fun_var closuresStavros Aronis
2011-08-29Merge branch 'rz/add_proplist_type' into devHenrik Nord
2011-08-29Suppress some warnings about generation of non-returning funsStavros Aronis
2011-08-29Enhance Dialyzer's inference on comparisonsStavros Aronis
2011-08-29Fix infinite loop in dataflowStavros Aronis
2011-08-29Minor fix in dead codeStavros Aronis
2011-08-29Update r9c/{inets,mnesia} results in dialyzer's test suiteStavros Aronis
2011-08-24Merge branch 'hw/update-chmod-without-f' into devHenrik Nord
2011-08-24Merge branch 'sa/dialyzer-server-loop-fix' into devHenrik Nord
2011-08-17Fix dialyzer warning on default clause for binary comprehensionIvan Dubrov
2011-08-01Update results of race_SUITE/extract_translationsStavros Aronis
2011-08-01Update results of small_SUITE/flattenStavros Aronis
2011-08-01Add codec_can and list_to_bitstring testsStavros Aronis
2011-08-01Fix bug when reporting unused functionsStavros Aronis
2011-08-01Update Dialyzer's r9c_suite resultsStavros Aronis
2011-06-05Again: Call chmod without the "-f" flagHolger Weiß
2011-05-24Prepare releaseOTP_R14B03Erlang/OTP
2011-05-24Add a proplist() typerzezeski
2011-05-23Fix crash when a contract range warning is emitted for a module already in pltStavros Aronis
2011-05-16OTP-9094: [httpc] Add support for upload body streaming (PUT and POST).Micael Karlberg
2011-05-13Fix server loop detectionStavros Aronis
2011-05-04Update dialyzer.specStavros Aronis
2011-05-04Add race/ets_insert_publicStavros Aronis
2011-05-04Add opaque/ewgi,ewgi2Stavros Aronis
2011-05-04Add opaque/schuett_bugStavros Aronis
2011-05-04Add small/param_types_crashStavros Aronis
2011-05-04Add small/file_open_encodingStavros Aronis
2011-05-04Add small/false_falseStavros Aronis
2011-05-04Add small/ets_update_counterStavros Aronis
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 'dev' into bmk/inets/inet56_integrationMicael Karlberg
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