aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
AgeCommit message (Expand)Author
2012-03-01Fix bug in remote type solvingStavros Aronis
2012-02-22Zero-arity unused functions Dialyzer patchStavros Aronis
2012-02-22Allow t_opaque_structure to handle multiple opaque typesStavros Aronis
2012-02-22Support alternative spelling of behaviourStavros Aronis
2012-02-22Small fixes for Dialyzer's testsuites generationStavros Aronis
2011-12-22Handle nowarn_unused_function like the compiler doesHans Bolinder
2011-12-01Refine warning about callback specs with extra rangesStavros Aronis
2011-12-01Fix bug in Dialyzer's behaviours analysisStavros Aronis
2011-12-01Fix crash in DialyzerStavros Aronis
2011-11-30Update inets test resultsStavros Aronis
2011-11-30No warnings for underspecs with remote typesStavros Aronis
2011-11-30Fix dialyzer warning about gen_event callback init/1 in log_mf_hSiri Hansen
2011-11-18Wrap up behaviours patch for DialyzerStavros Aronis
2011-11-18Detection of callback-spec discrepanciesStavros Aronis
2011-11-18Allow none() as return value in callbacksStavros Aronis
2011-11-18Behaviour callback discrepancy detection for DialyzerStavros Aronis
2011-11-18Update inets resultsStavros Aronis
2011-10-14Fix false warning about closure applicationStavros Aronis
2011-10-14Change category of 'might also return' warningsStavros Aronis
2011-09-21Merge branch 'ta/typer-quote-atoms' into devHenrik Nord
2011-09-19Update Dialyzer's reference resultsStavros Aronis
2011-09-15dialyzer: fix a small typo in list_to_bitstring testTuncer Ayaz
2011-09-08Merge branch 'sa/dialyzer-dev' into devHenrik Nord
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-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-24Add a proplist() typerzezeski
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