| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-04-29 | dialyzer: Fix dialyzer_dataflow:format_args_1() | Hans Bolinder |
| 2015-12-15 | dialyzer: Print constraints using the '::' syntax | Hans Bolinder |
| 2015-03-10 | [dialyzer] Fix the conversion of forms to types | Hans Bolinder |
| 2014-03-21 | dialyzer: generalize guard constraints in a new way | Hans Bolinder |
| 2014-02-22 | Introduce parameterized opaque types | Hans Bolinder |
| 2013-02-13 | Make the file:filename() type more restrictive | Björn Gustavsson |
| 2012-09-26 | Fix handling of tuple set remote types appearing in tuple sets | Stavros Aronis |
| 2012-04-24 | Correct handling of type names in contracts | Stavros Aronis |
 |
index : otp.git | |
| Mirror of Erlang/OTP repository. | OTP Team |
| aboutsummaryrefslogtreecommitdiffstats |