diff options
| author | Maria Christakis <[email protected]> | 2010-12-04 01:02:11 +0200 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2010-12-06 11:33:00 +0100 |
| commit | 33b0b25746a26705e2cb93b7a39e0a14ff2b76cb (patch) | |
| tree | 2b414ef543121dfd446bfe78d6ceb52f6439ec29 /lib/dialyzer/RELEASE_NOTES | |
| parent | 74ec1253e1a89f0bb266831f73716a24c0798dc1 (diff) | |
| download | otp-33b0b25746a26705e2cb93b7a39e0a14ff2b76cb.tar.gz otp-33b0b25746a26705e2cb93b7a39e0a14ff2b76cb.tar.bz2 otp-33b0b25746a26705e2cb93b7a39e0a14ff2b76cb.zip | |
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. |