aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/vsn.mk
AgeCommit message (Collapse)Author
2015-10-09Update DialyzerHans Bolinder
Record field types have been modified due to commit 8ce35b2: "Take out automatic insertion of 'undefined' from typed record fields".
2015-09-16Update application versionsHans Bolinder
2015-05-27Update application versionsHans Bolinder
2015-03-31Prepare releaseErlang/OTP
2014-12-09Prepare releaseErlang/OTP
2014-09-15Update version numbersErlang/OTP
2014-06-19Prepare releaseErlang/OTP
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
It is now OK to inspect and modify the internals of opaque types within the scope of the module. The contracts are used for decorating types with opaqueness when it is harmless to do so. The opaqueness is propagated by the typesig module and also by the dataflow module. A lot of details have been fixed or updated. In particular the modules erl_types and erl_bif_types have been modified extensively. The version in vsn.mk has been updated to 2.7. The reason is a modification of #opaque{} in erl_types. Dialyzer seems to be about five percent slower than it used to be.
2013-06-17Prepare releaseOTP_R16B01Erlang/OTP
2013-02-25Prepare releaseOTP_R16BErlang/OTP
2013-01-29Prepare releaseOTP_R16A_RELEASE_CANDIDATEErlang/OTP
2012-11-26Prepare releaseOTP_R15B03Erlang/OTP
2012-09-03Prepare releaseOTP_R15B02Erlang/OTP
2012-03-26Up versionKostis Sagonas
2011-12-12Prepare releaseErlang/OTP
2011-11-22Revert "Update version numbers for pre-release of R15"Björn-Egil Dahlberg
This reverts commit e21ff9b0b69219ab3853be7e80813156113152b7.
2011-11-22Update version numbers for pre-release of R15OTP_R15ABjörn Gustavsson
2011-10-04Prepare releaseOTP_R14B04Erlang/OTP
2011-05-24Prepare releaseOTP_R14B03Erlang/OTP
2011-03-11Release notes and new version for R14B02Kostis Sagonas
2010-12-06dialyzer: Update documentationMaria Christakis
2010-09-13Prepare releaseOTP_R14BErlang/OTP
2010-06-08Various changes to dialyzer-related files for R14.Kostis Sagonas
Bumped version number and wrote RELEASE_NOTES. Included all changes described in release notes. Some spec-related changes to some files in lib/hipe/cerl.
2010-02-14dialyzer: New version for the R13B04 releaseKostis Sagonas
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP