diff options
| author | Niclas Axelsson <[email protected]> | 2010-12-06 11:48:51 +0100 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2010-12-06 11:48:51 +0100 |
| commit | 269acf0d855a20bdec2c390f4b3aed607f05f7ee (patch) | |
| tree | 6ddee93e87793dba058f38880d767cd40b1e515b /lib/dialyzer/RELEASE_NOTES | |
| parent | f1c8231c16ca4cc8ef39318364ac8a1c8d7d56e1 (diff) | |
| parent | 33b0b25746a26705e2cb93b7a39e0a14ff2b76cb (diff) | |
| download | otp-269acf0d855a20bdec2c390f4b3aed607f05f7ee.tar.gz otp-269acf0d855a20bdec2c390f4b3aed607f05f7ee.tar.bz2 otp-269acf0d855a20bdec2c390f4b3aed607f05f7ee.zip | |
Merge branch 'mc/dialyzer-doc' into dev
* mc/dialyzer-doc:
dialyzer: Update documentation
Diffstat (limited to 'lib/dialyzer/RELEASE_NOTES')
| -rw-r--r-- | lib/dialyzer/RELEASE_NOTES | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/dialyzer/RELEASE_NOTES b/lib/dialyzer/RELEASE_NOTES index 08f274a996..3fd5e9cc7d 100644 --- a/lib/dialyzer/RELEASE_NOTES +++ b/lib/dialyzer/RELEASE_NOTES @@ -3,8 +3,13 @@ (in reversed chronological order) ============================================================================== -Version 2.x.x (in Erlang/OTP R14B01) +Version 2.4.0 (in Erlang/OTP R14B01) ------------------------------------ + - 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. + - Strengthened and streamlined hard-coded type information for some BIFs + and key library functions. - Fixed pretty rare infinite loop when refining the types of an SCC whose functions all returned none() (thanks to Stavros Aronis). - Fixed pretty rare crash when taking the infimum of two tuple_sets. |