Age | Commit message (Expand) | Author |
---|---|---|
2016-04-28 | dialyzer: Improve map pattern typesetting | Magnus Lång |
2016-04-28 | dialyzer_contracts: Consider #{} a violation | Magnus Lång |
2016-04-28 | dialyzer_typesig: Fix simplification bug | Magnus Lång |
2016-04-28 | dialyzer_dataflow: Fix try in guards | Magnus Lång |
2016-04-28 | dialyzer: Unfold cerl patterns containing maps | Magnus Lång |
2016-04-28 | dialyzer_dataflow: Add map support | Magnus Lång |
2016-04-28 | dialyzer_typesig: Add map support | Magnus Lång |