diff options
author | Erlang/OTP <[email protected]> | 2010-12-06 12:31:03 +0100 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2010-12-06 12:31:03 +0100 |
commit | ada2a055fd183082bcefd5e4b94477959e75ebee (patch) | |
tree | b9b376971c3a786c8e03c7a58c98b248f6f719c3 /lib/dialyzer | |
parent | 269acf0d855a20bdec2c390f4b3aed607f05f7ee (diff) | |
download | otp-ada2a055fd183082bcefd5e4b94477959e75ebee.tar.gz otp-ada2a055fd183082bcefd5e4b94477959e75ebee.tar.bz2 otp-ada2a055fd183082bcefd5e4b94477959e75ebee.zip |
Prepare release
Diffstat (limited to 'lib/dialyzer')
-rwxr-xr-x | lib/dialyzer/doc/src/notes.xml | 34 |
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> |