diff options
author | Erlang/OTP <[email protected]> | 2017-03-14 15:59:23 +0100 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2017-03-14 15:59:23 +0100 |
commit | 4d658008be5a08ddadbe75ebadb9ef124436b76e (patch) | |
tree | c60fe1661ae9b747372a146edadbc8af6ca38036 /lib/dialyzer/doc | |
parent | 3b72ab9407945eb7037c608ac2826b64ec17cdc6 (diff) | |
download | otp-4d658008be5a08ddadbe75ebadb9ef124436b76e.tar.gz otp-4d658008be5a08ddadbe75ebadb9ef124436b76e.tar.bz2 otp-4d658008be5a08ddadbe75ebadb9ef124436b76e.zip |
Prepare release
Diffstat (limited to 'lib/dialyzer/doc')
-rw-r--r-- | lib/dialyzer/doc/src/notes.xml | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 54abd09504..cd4ec4c068 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,48 @@ <p>This document describes the changes made to the Dialyzer application.</p> +<section><title>Dialyzer 3.1</title> + + <section><title>Fixed Bugs and Malfunctions</title> + <list> + <item> + <p> Fix a bug concerning parameterized opaque types. </p> + <p> + Own Id: OTP-14130</p> + </item> + <item> + <p> Improve a few warnings. One of them could cause a + crash. </p> + <p> + Own Id: OTP-14177</p> + </item> + <item> + <p>The dialyzer and observer applications will now use a + portable way to find the home directory. That means that + there is no longer any need to manually set the HOME + environment variable on Windows.</p> + <p> + Own Id: OTP-14249 Aux Id: ERL-161 </p> + </item> + </list> + </section> + + + <section><title>Improvements and New Features</title> + <list> + <item> + <p> The peak memory consumption is reduced. </p><p> The + evaluation of huge SCCs in <c>dialyzer_typesig</c> is + optimized. </p><p> Analyzing modules with binary + construction with huge strings is now much faster. </p> + <p> + Own Id: OTP-14126 Aux Id: ERL-308 </p> + </item> + </list> + </section> + +</section> + <section><title>Dialyzer 3.0.3</title> <section><title>Fixed Bugs and Malfunctions</title> |