otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2017-02-01	dialyzer: Increase time limit for tests	Hans Bolinder

2016-10-06	dialyzer: Fix opaque bugs	Hans Bolinder
	t_from_form() sometimes returned a more general type than it should have done due to a bug in from_form_loop(): it stopped when the limit was exceeded, which could mean a collapsed type. Returning a type with smaller depth should fix this. is_specialization() now handles opaque types before unions, which should fix another problem. The bugs reported by Kostis.
2016-08-31	dialyzer: Increase time limit of suites	Hans Bolinder
	The test 'proper' takes some time.
2015-04-27	dialyzer: Add new option 'unknown'	Hans Bolinder
	Replace the undocumented option 'no_unknown' with the documented option 'unknown'.
2014-03-20	Introduce a new warning option, 'no_unknown'	Hans Bolinder
	Not (yet) documented.
2011-05-04	Rename suite data directories	Stavros Aronis