Age | Commit message (Expand) | Author |
---|---|---|
2016-10-06 | dialyzer: Fix opaque bug | Hans Bolinder |
2016-02-01 | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis |
2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
2015-06-15 | dialyzer: Modify warning for comparison of opaque types | Hans Bolinder |
2015-06-15 | dialyzer: Modify the handling of parametrized opaque types | Hans Bolinder |
2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder |
2014-02-23 | Deprecate pre-defined built-in types | Hans Bolinder |
2014-01-21 | [dialyzer] Re-work the handling of opaque types | Hans Bolinder |
2012-06-01 | Bug fixes and improvements of dialyzer_typesig | Hans Bolinder |
2012-02-22 | Allow t_opaque_structure to handle multiple opaque types | Stavros Aronis |
2011-10-14 | Change category of 'might also return' warnings | Stavros Aronis |
2011-05-04 | Add opaque/ewgi,ewgi2 | Stavros Aronis |
2011-05-04 | Rename suite data directories | Stavros Aronis |