otp.git/lib/dialyzer/RELEASE_NOTES, branch maint Mirror of Erlang/OTP repository. Fixed typos in lib/dialyzer 2017-02-14T09:31:30+00:00 Andrew Dryga andrew@dryga.com 2017-02-12T17:34:56+00:00 ef0e31ffbd35d9f0fe542a231ee450a5ead2bba5 






dialyzer: Substitute 'opacity' for 'opaqueness'
2016-11-22T09:31:59+00:00

Hans Bolinder
hasse@erlang.org

2016-11-22T09:20:55+00:00

a5f88f548c7f1045b5aa9642574167df899c2f3b

Suggested by Kostis.





Suggested by Kostis.







Release notes and new version for R14B02
2011-03-11T11:03:53+00:00

Kostis Sagonas
kostis@cs.ntua.gr

2011-03-08T23:58:45+00:00

8c563c842e1966391c4dfbced4426a2ce2e9e7cb












dialyzer: Update documentation
2010-12-06T10:33:00+00:00

Maria Christakis
christakismaria@gmail.com

2010-12-03T23:02:11+00:00

33b0b25746a26705e2cb93b7a39e0a14ff2b76cb












erl_types: Fix pretty rare crashes and an infinite loop
2010-11-22T09:50:27+00:00

Kostis Sagonas
kostis@cs.ntua.gr

2010-11-06T13:58:07+00:00

5c59d90137a3c91c81b9065f689b4bc701418391

- Fixed pretty rare crash when taking the infimum of two tuple_sets
  (initial fix by Kostis Sagonas but then a better fix was provided
   by Stavros Aronis and this is the one adopted).
- Fixed pretty rare crash when using parameterized types containing unbound
  variables (thanks to Nicolas Trangez for reporting it).
- 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
  (initial fix by Kostis Sagonas but then a better fix was provided
   by Stavros Aronis and this is the one adopted).
- Fixed pretty rare crash when using parameterized types containing unbound
  variables (thanks to Nicolas Trangez for reporting it).
- Fixed pretty rare infinite loop when refining the types of an SCC whose
  functions all returned none() (thanks to Stavros Aronis).







Fix two errors in dialyzer
2010-09-24T12:57:13+00:00

Kostis Sagonas
kostis@cs.ntua.gr

2010-09-24T12:57:13+00:00

3fbe522acb52ae4123e0068d352b8aa4ab767ece

Changes which fix some problems reported by dialyzer users:
 1. The handling of nested opaque types
 2. The handling of remote types in record expressions used as types

While at it, updated dialyzer's RELEASE_NOTES to reflect these fixes
and did some cleanups to dialyzer_utils.erl so that it gets in sync
with dialyzer's main development branch.





Changes which fix some problems reported by dialyzer users:
 1. The handling of nested opaque types
 2. The handling of remote types in record expressions used as types

While at it, updated dialyzer's RELEASE_NOTES to reflect these fixes
and did some cleanups to dialyzer_utils.erl so that it gets in sync
with dialyzer's main development branch.







Various changes to dialyzer-related files for R14.
2010-06-08T14:47:40+00:00

Kostis Sagonas
kostis@cs.ntua.gr

2010-06-07T13:57:34+00:00

1a9e2dd394a81d01742593a5b42f9aa01bb5f276

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.





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.







dialyzer: New version for the R13B04 release
2010-02-14T11:23:03+00:00

Kostis Sagonas
kostis@cs.ntua.gr

2010-02-10T09:03:35+00:00

a9c8a2496d54668d2d46133ff0ef1787cd7b80d6












The R13B03 release.
2009-11-20T14:54:40+00:00

Erlang/OTP
otp@erlang.org

2009-11-20T14:54:40+00:00

84adefa331c4159d432d22840663c38f155cd4c1