diff options
| author | Erlang/OTP <[email protected]> | 2012-09-03 11:52:49 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2012-09-03 11:52:49 +0200 |
| commit | 952db27ba0a5b87a2a47f3a7034a9bf92e3651e5 (patch) | |
| tree | 7f32bd5c830f537c3b41306df004bdbf37a5dc45 /lib/dialyzer | |
| parent | c5a0044a481808f836f5a06452f9e795df8f2b45 (diff) | |
| download | otp-952db27ba0a5b87a2a47f3a7034a9bf92e3651e5.tar.gz otp-952db27ba0a5b87a2a47f3a7034a9bf92e3651e5.tar.bz2 otp-952db27ba0a5b87a2a47f3a7034a9bf92e3651e5.zip | |
Prepare releaseOTP_R15B02
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/doc/src/notes.xml | 58 | ||||
| -rw-r--r-- | lib/dialyzer/vsn.mk | 2 |
2 files changed, 59 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index a064c9c94d..0c1556308c 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,64 @@ <p>This document describes the changes made to the Dialyzer application.</p> +<section><title>Dialyzer 2.5.2</title> + + <section><title>Fixed Bugs and Malfunctions</title> + <list> + <item> + <p> Correct handling of type names in contracts. Fix + crash related to contract checking. Do not rewrite + unchanged PLT. </p> + <p> + Own Id: OTP-10083</p> + </item> + <item> + <p> + Stop a forgotten server process</p> + <p> + Dialyzer forgot to stop a server process before finishing + its analysis. This is a concurrency error detected by + Concuerror. Changes to fix warnings identified by running + dialyzer -Wunmatched_returns. Thanks to Kostis Sagonas.</p> + <p> + Own Id: OTP-10231</p> + </item> + </list> + </section> + + + <section><title>Improvements and New Features</title> + <list> + <item> + <p> Bug fixes and improvements of + <c>dialyzer_typesig</c>. </p> + <p> + Own Id: OTP-10082</p> + </item> + <item> + <p> + Add parallel dialyzer support</p> + <p> + Own Id: OTP-10103</p> + </item> + <item> + <p> An alternative implementation of the solver in + <c>dialyzer_typesig</c> has been introduced. It is faster + than the original implementation. </p> + <p> + Own Id: OTP-10110</p> + </item> + <item> + <p> Bugs in <c>erl_types:t_inf()</c> (HiPE) and in + <c>dialyzer_dataflow</c> (Dialyzer) have been fixed. </p> + <p> + Own Id: OTP-10191</p> + </item> + </list> + </section> + +</section> + <section><title>Dialyzer 2.5.1</title> <section><title>Improvements and New Features</title> diff --git a/lib/dialyzer/vsn.mk b/lib/dialyzer/vsn.mk index edafcc4afb..64d05156b1 100644 --- a/lib/dialyzer/vsn.mk +++ b/lib/dialyzer/vsn.mk @@ -1 +1 @@ -DIALYZER_VSN = 2.5.1 +DIALYZER_VSN = 2.5.2 |