otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2016-06-08	Fix a bug in Dialyzer related to call-site analysis	Stavros Aronis
	Dialyzer's "dataflow" module is using information from the callgraph to determine which functions may be called at a particular call-site. Unfortunately this information can include functions that are certainly not among the possible choices. We don't want to emit warnings in such cases, so a "reasonable" compromise is to stay silent if there are many possible funs and at least one of them can succeed. Bug reported by Dan Gudmundsson, test shrunk down by Magnus Lång.
2015-12-15	dialyzer: Print constraints using the '::' syntax	Hans Bolinder

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.
2012-02-07	Correct docs, comments and dialyzer tests	Patrik Nyblom
	Update preloaded erlang.beam Removed stray error in dialyzer test suite - different error message with the new specs.
2011-12-22	Handle nowarn_unused_function like the compiler does	Hans Bolinder

2011-05-04	Rename suite data directories	Stavros Aronis