Dialyzer v1.0

[Tobias Lindahl]

We are very happy to announce the first public release of Dialyzer
(DIscrepancy AnaLYZer of ERlang programs), a static analysis tool that can
identify software problems such as type errors, unreachable code,
unnecessary tests, etc in Erlang applications.

The tool can be obtained at

http://www.it.uu.se/research/group/hipe/dialyzer

and is available free of charge for non-commersial uses.

Check it out and you might be surprised by the number of discrepancies
that lurk in your favourite, well-tested application.

Feedback is very welcome,

Tobias Lindahl and Kostis Sagonas.