summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/map_SUITE_data
Commit message (Expand)AuthorAgeFilesLines
* dbg: deprecates function dbg:stop_clear/1Kiko Fernandez-Reyes2023-04-191-2/+2
* dialyzer: make -Wunknown a default; add -Wno_unknown flagKiko Fernandez-Reyes2023-02-081-1/+1
* dialyzer: Improve error messages for invalid specsTom Davies2022-09-062-6/+24
* erl_types: Ignore opaque type argumentsJohn Högberg2021-09-271-2/+2
* dialyzer: Improve column numbers in warningsHans Bolinder2021-01-2610-26/+26
* dialyzer: Assign better start locations to messagesHans Bolinder2021-01-2611-42/+42
* dialyzer: Use column numbers in messagesHans Bolinder2021-01-2620-146/+146
* dialyzer: Handle maps:remove/2 betterHans Bolinder2019-09-172-0/+27
* dialyzer: Add test cases with indentationHans Bolinder2019-05-071-1/+1
* dialyzer: Fix dialyzer_dataflow:format_args_1()Hans Bolinder2019-04-294-10/+10
* dialyzer: Extend the map implementation's handling of ?unitHans Bolinder2017-11-222-0/+11
* dialyzer: Adjust a test caseHans Bolinder2017-09-121-6/+6
* dialyzer: Modify handling of singleton map key typesHans Bolinder2017-09-124-1/+98
* Merge branch 'maint'Hans Bolinder2017-02-031-0/+1
|\
| * dialyzer: Increase time limit for testsHans Bolinder2017-02-011-0/+1
* | Update test cases for erlang:hash/2 removalBjörn-Egil Dahlberg2017-01-252-28/+4
|/
* dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder2016-11-221-4/+4
* dialyzer: Improve a warning messageHans Bolinder2016-11-221-2/+2
* erl_bif_types: Properly unopaque maps:merge/2 argsMagnus Lång2016-09-071-0/+13
* erl_types: Normalise X:=none() pairs in t_map/3Magnus Lång2016-06-282-0/+12
* Remove support for '...' in Maps typesHans Bolinder2016-06-095-6/+6
* erl_types: Don't consider opaque keys singletonMagnus Lång2016-04-281-4/+0
* erl_types: Fix t_subtract/2 correctness bugMagnus Lång2016-04-282-8/+6
* erl_types: Fix crash merging maps with opaque keysMagnus Lång2016-04-283-0/+187
* dialyzer: Fix another pattern literal bugMagnus Lång2016-04-281-1/+50
* dialyzer: Improve map pattern typesettingMagnus Lång2016-04-283-17/+17
* dialyzer_contracts: Consider #{} a violationMagnus Lång2016-04-282-0/+32
* dialyzer_typesig: Fix simplification bugMagnus Lång2016-04-281-1/+0
* dialyzer_dataflow: Fix try in guardsMagnus Lång2016-04-281-3/+0
* dialyzer: Unfold cerl patterns containing mapsMagnus Lång2016-04-286-22/+22
* dialyzer_dataflow: Add map supportMagnus Lång2016-04-2815-1/+2983
* dialyzer_typesig: Add map supportMagnus Lång2016-04-2823-0/+414
View Lorry Controller Status