Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-05-11 | Prepare release | Erlang/OTP | |
2016-04-28 | Bump Dialyzer version | Magnus Lång | |
Because the type representation has changed, old PLTs are not compatible. We update the version to 2.10 because of this. | |||
2016-03-14 | Prepare release | Erlang/OTP | |
2015-12-15 | Update version numbers | Erlang/OTP | |
2015-09-16 | Update application versions | Hans Bolinder | |
2015-05-27 | Update application versions | Hans Bolinder | |
2015-03-31 | Prepare release | Erlang/OTP | |
2014-12-09 | Prepare release | Erlang/OTP | |
2014-09-15 | Update version numbers | Erlang/OTP | |
2014-06-19 | Prepare release | Erlang/OTP | |
2014-01-21 | [dialyzer] Re-work the handling of opaque types | Hans 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-17 | Prepare releaseOTP_R16B01 | Erlang/OTP | |
2013-02-25 | Prepare releaseOTP_R16B | Erlang/OTP | |
2013-01-29 | Prepare releaseOTP_R16A_RELEASE_CANDIDATE | Erlang/OTP | |
2012-11-26 | Prepare releaseOTP_R15B03 | Erlang/OTP | |
2012-09-03 | Prepare releaseOTP_R15B02 | Erlang/OTP | |
2012-03-26 | Up version | Kostis Sagonas | |
2011-12-12 | Prepare release | Erlang/OTP | |
2011-11-22 | Revert "Update version numbers for pre-release of R15" | Björn-Egil Dahlberg | |
This reverts commit e21ff9b0b69219ab3853be7e80813156113152b7. | |||
2011-11-22 | Update version numbers for pre-release of R15OTP_R15A | Björn Gustavsson | |
2011-10-04 | Prepare releaseOTP_R14B04 | Erlang/OTP | |
2011-05-24 | Prepare releaseOTP_R14B03 | Erlang/OTP | |
2011-03-11 | Release notes and new version for R14B02 | Kostis Sagonas | |
2010-12-06 | dialyzer: Update documentation | Maria Christakis | |
2010-09-13 | Prepare releaseOTP_R14B | Erlang/OTP | |
2010-06-08 | Various 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-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas | |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |