diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2012-09-04 10:11:39 +0200 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2012-09-04 10:11:39 +0200 |
| commit | 0dca4bcf9eb70a567c617ebc1b2da15057ad3806 (patch) | |
| tree | 9b07bc16a39ffaaa992a32d419b6a4e53ad6f7e6 /lib/dialyzer | |
| parent | 94fa6d2fcf729d3df37a4e8dc4e369bf444ea55a (diff) | |
| parent | 952db27ba0a5b87a2a47f3a7034a9bf92e3651e5 (diff) | |
| download | otp-0dca4bcf9eb70a567c617ebc1b2da15057ad3806.tar.gz otp-0dca4bcf9eb70a567c617ebc1b2da15057ad3806.tar.bz2 otp-0dca4bcf9eb70a567c617ebc1b2da15057ad3806.zip | |
Merge tag 'OTP_R15B02'
The R15B02 release
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 |