aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/map_SUITE_data/src
AgeCommit message (Expand)Author
2016-09-07erl_bif_types: Properly unopaque maps:merge/2 argsMagnus Lång
2016-06-28erl_types: Normalise X:=none() pairs in t_map/3Magnus Lång
2016-04-28erl_types: Fix t_subtract/2 correctness bugMagnus Lång
2016-04-28erl_types: Fix crash merging maps with opaque keysMagnus Lång
2016-04-28dialyzer: Fix another pattern literal bugMagnus Lång
2016-04-28dialyzer_contracts: Consider #{} a violationMagnus Lång
2016-04-28dialyzer: Unfold cerl patterns containing mapsMagnus Lång
2016-04-28dialyzer_dataflow: Add map supportMagnus Lång
2016-04-28dialyzer_typesig: Add map supportMagnus Lång