aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
AgeCommit message (Expand)Author
2019-02-25Merge branch 'maint'Hans Bolinder
2019-02-21dialyzer: Fix maps as parameter of opaque typesHans Bolinder
2019-02-21dialyzer: Fix key check of lists:key{search,member,find}()Hans Bolinder
2019-02-19Merge branch 'maint'Hans Bolinder
2019-02-19Merge branch 'hasse/dialyzer/fix_contract_check/OTP-15562/ERL-845' into maintHans Bolinder
2019-02-11Merge branch 'maint'Hans Bolinder
2019-02-08dialyzer: Fix a bug affecting keyfind/keysearch/keymemberHans Bolinder
2019-02-06dialyzer: Fix a bug regarding contractsHans Bolinder
2018-08-31Merge pull request #1944 from uabboli/hasse/dialyzer/improve_guards/OTP-15268...Hans Bolinder
2018-08-28dialyzer: Improve handling of complex guardsHans Bolinder
2018-07-27Change "can not" into "cannot"Raimo Niskanen
2018-07-23Refine types of functions in maps moduleMichał Muskała
2018-06-07stdlib: Move eval_str/1 from mod_esi to erl_evalHans Bolinder
2018-05-25dialyzer: Refine the test for overspecified functionsHans Bolinder
2018-05-21Merge branch 'hasse/dialyzer/funs_in_dead_code/OTP-15079/ERL-593'Hans Bolinder
2018-05-13dialyzer: Do not emit warnings for unreachable funsHans Bolinder
2018-05-09Fix minor issuesRichard Carlsson
2018-05-04Use \n escape instead of integer 10Richard Carlsson
2018-05-04Move lib:eval_str/1 into mod_esi.erlRichard Carlsson
2018-05-04Move lib:nonl/1 into yecc.erlRichard Carlsson
2018-03-24Avoid overflowing the atom tableBjörn Gustavsson
2018-03-16mikpe/process_info-1-no-messages/PR-1745/OTP-14986Lukas Larsson
2018-03-13Merge branch 'hasse/dialyzer/extra-range/OTP-14970'Hans Bolinder
2018-03-10make erlang:process_info/1 not retrieve messagesMikael Pettersson
2018-02-23Merge branch 'maint'Hans Bolinder
2018-02-21dialyzer: Correct a parameterized opaque types bugHans Bolinder
2018-02-20Dialyzer should not throw away spec information because of overspecRichard Carlsson
2018-02-15Merge branch 'maint'Hans Bolinder
2018-02-14dialyzer: Fix a crashHans Bolinder
2018-02-07Merge branch 'hasse/no_get_stacktrace/OTP-14861'Hans Bolinder
2018-02-06dialyzer: Assign a type to the primop build_stacktraceHans Bolinder
2018-02-05dialyzer: Do not call erlang:get_stacktrace()Hans Bolinder
2018-01-19Merge branch 'maint'Hans Bolinder
2018-01-12dialyzer: Fix bsl/2 bugHans Bolinder
2018-01-10Merge branch 'maint'Hans Bolinder
2018-01-09dialyzer: Add a test of erl_tar:table/1,2Hans Bolinder
2018-01-09Merge branch 'maint'Hans Bolinder
2018-01-08dialyzer: Correct handling of erlang:abs/1Hans Bolinder
2017-11-28Merge branch 'maint'Hans Bolinder
2017-11-22dialyzer: Extend the map implementation's handling of ?unitHans Bolinder
2017-11-22dialyzer: Use string:find() instead of string:str()Hans Bolinder
2017-11-20Merge branch 'lukas/stdlib/maps_iterators/OTP-14012'Lukas Larsson
2017-11-14Merge branch 'maint'Hans Bolinder
2017-11-10dialyzer: Display error messages without call stackHans Bolinder
2017-10-13erts: Implement maps path iteratorLukas Larsson
2017-09-18Merge branch 'maint'Hans Bolinder
2017-09-18Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maintHans Bolinder
2017-09-15Merge branch 'siri/string-new-api'Siri Hansen
2017-09-15dialyzer (test): Do not use deprecated functions in string(3)Dan Gudmundsson
2017-09-15Merge branch 'maint'Hans Bolinder