From 33b0b25746a26705e2cb93b7a39e0a14ff2b76cb Mon Sep 17 00:00:00 2001 From: Maria Christakis Date: Sat, 4 Dec 2010 01:02:11 +0200 Subject: dialyzer: Update documentation --- lib/dialyzer/RELEASE_NOTES | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'lib/dialyzer/RELEASE_NOTES') 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. -- cgit v1.2.3