From ada2a055fd183082bcefd5e4b94477959e75ebee Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Mon, 6 Dec 2010 12:31:03 +0100 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index ac3857b9ef..3678291be7 100755 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,40 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.4.0 + +
Fixed Bugs and Malfunctions + + +

- Fixed pretty rare infinite loop when refining the + types of an SCC whose functions all returned none() + (thanks to Stavros Aronis).

- Fixed pretty rare + crash when taking the infimum of two tuple_sets.

+

+ Own Id: OTP-8979

+
+
+
+ + +
Improvements and New Features + + +

- Added ability to supply multiple PLTs for the + analysis (option --plts). Currently these PLTs must be + independent (i.e., no module appears in more than one + PLT) and there must not include files with module name + clashes.

- Strengthened and streamlined hard-coded + type information for some BIFs and key library + functions.

+

+ Own Id: OTP-8962

+
+
+
+ +
+
Dialyzer 2.3.1
Improvements and New Features -- cgit v1.2.3