aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
AgeCommit message (Expand)Author
2017-02-14Fixed typos in lib/dialyzerAndrew Dryga
2017-02-09Merge branch 'maint'Hans Bolinder
2017-02-03dialyzer: Correct PLT testsHans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-01dialyzer: Increase time limit for testsHans Bolinder
2017-01-25Update test cases for erlang:hash/2 removalBjörn-Egil Dahlberg
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-10stdlib: Correct signatures of functions in erl_parseHans Bolinder
2017-01-10Merge branch 'maint'Hans Bolinder
2016-12-21stdlib: Allow characters in types and constant patternsHans Bolinder
2016-12-07Update copyright-yearErlang/OTP
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-11-23Merge branch 'maint'Hans Bolinder
2016-11-22dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder
2016-11-22dialyzer: Improve a warning messageHans Bolinder
2016-11-22dialyzer: Improve a warning messageHans Bolinder
2016-11-22dialyzer: Correct a warnings messageHans Bolinder
2016-11-02Merge branch 'maint'Hans Bolinder
2016-11-01erts: Correct type declaration of match specification headHans Bolinder
2016-10-21Merge branch 'maint'Hans Bolinder
2016-10-21dialyzer: Fix error handling of bad -dialyzer() attributesHans Bolinder
2016-10-13Merge branch 'maint'Hans Bolinder
2016-10-06dialyzer: Fix opaque bugHans Bolinder
2016-10-06dialyzer: Fix opaque bugsHans Bolinder
2016-09-26Use @ in variable names generated by core and kernelJosé Valim
2016-09-12Merge branch 'margnus1/dialyzer/fix_maps_opaque/ERL-249/PR-1161/OTP-13878' in...Hans Bolinder
2016-09-07erl_bif_types: Properly unopaque maps:merge/2 argsMagnus Lång
2016-08-31dialyzer: Increase time limit of suitesHans Bolinder
2016-07-04dialyzer: Suppress warns on generated case stmtsMagnus Lång
2016-06-28erl_types: Normalise X:=none() pairs in t_map/3Magnus Lång
2016-06-10Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547'Hans Bolinder
2016-06-09Remove support for '...' in Maps typesHans Bolinder
2016-06-09dialyzer: Suppress unmatched_return for send/2Hans Bolinder
2016-06-09Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092'Hans Bolinder
2016-06-08Fix a bug in Dialyzer related to call-site analysisStavros Aronis
2016-06-08Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop.Hans Bolinder
2016-04-29dialyzer: Fix a bug in the translation of forms to 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: Fix another pattern literal bugMagnus 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
2016-04-28Enhance map specs in erts, stdlib, runtime_toolsMagnus Lång
2016-04-28erl_bif_types: Add a selection of maps BIFsMagnus Lång