Age | Commit message (Expand) | Author |
2017-02-01 | dialyzer: Increase time limit for tests | Hans Bolinder |
2016-11-22 | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder |
2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
2016-09-07 | erl_bif_types: Properly unopaque maps:merge/2 args | Magnus Lång |
2016-06-28 | erl_types: Normalise X:=none() pairs in t_map/3 | Magnus Lång |
2016-06-09 | Remove support for '...' in Maps types | Hans Bolinder |
2016-04-28 | erl_types: Don't consider opaque keys singleton | Magnus Lång |
2016-04-28 | erl_types: Fix t_subtract/2 correctness bug | Magnus Lång |
2016-04-28 | erl_types: Fix crash merging maps with opaque keys | Magnus Lång |
2016-04-28 | dialyzer: Fix another pattern literal bug | Magnus Lång |
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 |