Age | Commit message (Expand) | Author |
---|---|---|
2017-11-22 | dialyzer: Extend the map implementation's handling of ?unit | Hans Bolinder |
2017-09-12 | dialyzer: Modify handling of singleton map key types | Hans Bolinder |
2017-01-25 | Update test cases for erlang:hash/2 removal | Björn-Egil Dahlberg |
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-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_contracts: Consider #{} a violation | 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 |