Age | Commit message (Expand) | Author |
---|---|---|
2016-04-28 | Enhance map specs in erts, stdlib, runtime_tools | Magnus Lång |
2016-04-28 | erl_types: Add a map type representation | Magnus Lång |
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 |
2014-11-06 | Update dialyzer test with maps in supervisor properties | Siri Hansen |
2012-02-22 | Support alternative spelling of behaviour | Stavros Aronis |
2011-12-01 | Refine warning about callback specs with extra ranges | Stavros Aronis |
2011-12-01 | Fix bug in Dialyzer's behaviours analysis | Stavros Aronis |
2011-11-30 | Fix dialyzer warning about gen_event callback init/1 in log_mf_h | Siri Hansen |
2011-11-18 | Wrap up behaviours patch for Dialyzer | Stavros Aronis |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis |