otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2011-08-29	Enhance Dialyzer's inference on comparisons	Stavros Aronis
	This patch makes Dialyzer aware of Erlang's total ordering of terms, enabling discrepancy detection in cases where e.g. integer() < tuple() is treated as a comparison that might also return false (when it is certain to always return true).
2011-08-29	Fix infinite loop in dataflow	Stavros Aronis

2011-08-01	Update results of small_SUITE/flatten	Stavros Aronis

2011-05-04	Add small/tuple_set_crash	Stavros Aronis

2011-05-04	Add small/refine_failing	Stavros Aronis

2011-05-04	Add small/not_bogus_warning	Stavros Aronis

2011-05-04	Add small/none_scc_inf_loop	Stavros Aronis

2011-05-04	Add small/guards	Stavros Aronis

2011-05-04	Add small/guard_warnings	Stavros Aronis

2011-05-04	Add small/confusing_record_warning	Stavros Aronis

2011-05-04	Add small/blame_contract_range	Stavros Aronis

2011-05-04	Rename suite data directories	Stavros Aronis