aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
authorErlang/OTP <[email protected]>2010-12-06 12:31:03 +0100
committerErlang/OTP <[email protected]>2010-12-06 12:31:03 +0100
commitada2a055fd183082bcefd5e4b94477959e75ebee (patch)
treeb9b376971c3a786c8e03c7a58c98b248f6f719c3 /lib/dialyzer
parent269acf0d855a20bdec2c390f4b3aed607f05f7ee (diff)
downloadotp-ada2a055fd183082bcefd5e4b94477959e75ebee.tar.gz
otp-ada2a055fd183082bcefd5e4b94477959e75ebee.tar.bz2
otp-ada2a055fd183082bcefd5e4b94477959e75ebee.zip
Prepare release
Diffstat (limited to 'lib/dialyzer')
-rwxr-xr-xlib/dialyzer/doc/src/notes.xml34
1 files changed, 34 insertions, 0 deletions
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 @@
<p>This document describes the changes made to the Dialyzer
application.</p>
+<section><title>Dialyzer 2.4.0</title>
+
+ <section><title>Fixed Bugs and Malfunctions</title>
+ <list>
+ <item>
+ <p> - Fixed pretty rare infinite loop when refining the
+ types of an SCC whose functions all returned none()
+ (thanks to Stavros Aronis). </p><p> - Fixed pretty rare
+ crash when taking the infimum of two tuple_sets. </p>
+ <p>
+ Own Id: OTP-8979</p>
+ </item>
+ </list>
+ </section>
+
+
+ <section><title>Improvements and New Features</title>
+ <list>
+ <item>
+ <p> - 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.</p><p> - Strengthened and streamlined hard-coded
+ type information for some BIFs and key library
+ functions.</p>
+ <p>
+ Own Id: OTP-8962</p>
+ </item>
+ </list>
+ </section>
+
+</section>
+
<section><title>Dialyzer 2.3.1</title>
<section><title>Improvements and New Features</title>