Dialyzer v1.3.0 released

Tobias Lindahl tobias.lindahl@REDACTED
Thu Mar 24 12:22:13 CET 2005

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

Dialyzer v 1.3.0 is available for download at:


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


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.

More information about the erlang-questions mailing list