aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/results
AgeCommit message (Expand)Author
2012-05-08Merge branch 'sa/dialyzer-contract-variables' into maintHenrik Nord
2012-04-24Correct handling of type names in contractsStavros Aronis
2012-04-17Correct documentation, erl_bif_types and dialyzer testsPatrik Nyblom
2012-04-17Extend erlang:port_info/1,2 to show the OS pid of a spawned processMatthias Lang
2012-02-22Zero-arity unused functions Dialyzer patchStavros Aronis
2011-10-14Fix false warning about closure applicationStavros Aronis
2011-10-14Change category of 'might also return' warningsStavros Aronis
2011-09-19Update Dialyzer's reference resultsStavros Aronis
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-01Update results of small_SUITE/flattenStavros 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-04Rename suite data directoriesStavros Aronis