aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/map_SUITE_data/results
AgeCommit message (Expand)Author
2019-04-29dialyzer: Fix dialyzer_dataflow:format_args_1()Hans Bolinder
2017-11-22dialyzer: Extend the map implementation's handling of ?unitHans Bolinder
2017-09-12dialyzer: Adjust a test caseHans Bolinder
2017-09-12dialyzer: Modify handling of singleton map key typesHans Bolinder
2017-01-25Update test cases for erlang:hash/2 removalBjörn-Egil Dahlberg
2016-11-22dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder
2016-11-22dialyzer: Improve a warning messageHans Bolinder
2016-06-09Remove support for '...' in Maps typesHans Bolinder
2016-04-28erl_types: Don't consider opaque keys singletonMagnus 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: Improve map pattern typesettingMagnus Lång
2016-04-28dialyzer_contracts: Consider #{} a violationMagnus Lång
2016-04-28dialyzer_typesig: Fix simplification bugMagnus Lång
2016-04-28dialyzer_dataflow: Fix try in guardsMagnus 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