Age | Commit message (Expand) | Author |
2019-02-21 | dialyzer: Fix maps as parameter of opaque types | Hans Bolinder |
2018-02-23 | Merge branch 'maint' | Hans Bolinder |
2018-02-21 | dialyzer: Correct a parameterized opaque types bug | Hans Bolinder |
2018-02-05 | dialyzer: Do not call erlang:get_stacktrace() | Hans Bolinder |
2017-03-06 | Merge branch 'maint' | Hans Bolinder |
2017-02-28 | dialyzer: Improve a warning | Hans Bolinder |
2017-02-28 | dialyzer: Fix a weird warning | Hans Bolinder |
2017-02-28 | dialyzer: Fix an opaque bug | Hans Bolinder |
2017-02-14 | Fixed typos in lib/dialyzer | Andrew Dryga |
2017-02-03 | Merge branch 'maint' | Hans Bolinder |
2017-02-01 | dialyzer: Increase time limit for tests | Hans Bolinder |
2016-12-07 | Update copyright-year | Erlang/OTP |
2016-11-23 | Correct copyright and license on dialyzer files | Richard Carlsson |
2016-11-22 | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder |
2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
2016-11-22 | dialyzer: Correct a warnings message | Hans Bolinder |
2016-10-06 | dialyzer: Fix opaque bug | Hans Bolinder |
2016-10-06 | dialyzer: Fix opaque bugs | Hans Bolinder |
2016-08-31 | dialyzer: Increase time limit of suites | Hans Bolinder |
2016-03-15 | update copyright-year | Henrik Nord |
2016-02-01 | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis |
2016-01-20 | dialyzer: Correct a test case | Hans Bolinder |
2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
2015-09-09 | dialyzer: Add a testcase | Hans Bolinder |
2015-08-25 | dialyzer: Optimize expansion of parameters of opaque types | Hans Bolinder |
2015-08-19 | dialyzer: Fix a bug concerning parameterized opaque types | Hans Bolinder |
2015-06-22 | fix errors caused by changed line numbers | Bruce Yinhe |
2015-06-18 | Change license text to APLv2 | Bruce Yinhe |
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 |
2015-06-15 | dialyzer: Fix a bug in the expansion of forms | Hans Bolinder |
2015-04-27 | dialyzer: Add new option 'unknown' | Hans Bolinder |
2014-08-21 | dialyzer, hipe: Fix a bug concerning is_record/2,3 | Hans Bolinder |
2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder |
2014-03-20 | Introduce a new warning option, 'no_unknown' | Hans Bolinder |
2014-03-17 | Remove "coding: utf-8" from test files | Siri Hansen |
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 | Add opaque/schuett_bug | Stavros Aronis |
2011-05-04 | Update opaque/zoltan_kis* sources | Stavros Aronis |
2011-05-04 | Rename suite data directories | Stavros Aronis |