Dialyzer v1.3.0 released

[Tobias Lindahl]

Once again we are proud to release a new version of Dialyzer.

Dialyzer v 1.3.0 is available for download at:

http://www.it.uu.se/research/group/hipe/dialyzer/snapshots/dialyzer-1.3.0.tar.gz

Please note that this version needs Erlang/OTP R10B-4 to work properly.

Enjoy!

Tobias and Kostis

Release notes:

Version 1.3.0
-------------
 - Requires the presence of an Erlang/OTP R10B-4 system.
 - Dialyzer is significantly (approx 40%) faster since it now uses 'ets'
   rather than 'dets' for its PLT.
 - Slightly improved the precision of the analysis.
 - Fixed a number of false positives that Dialyzer 1.2.0 was spitting out.
 - In the GUI version, Dialyzer now reports the list of modules that should
   be included in the modules to analyze in order to possibly improve
   the accuracy of the reported results.
 - Some more information is displayed when calling a function or closure
   with arguments of the wrong type.
 - The record guard now allows discrepancies involving tuples that are known
   to be records to be displayed as #rec{} rather than {'rec',_,...,_}.
 - Added -q option which makes the command-line version of Dialyzer
   a bit more silent.