aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2017-03-02dialyzer: Update runtime dependenciesHans Bolinder
2017-02-03dialyzer: Correct PLT testsHans Bolinder
2017-02-03dialyzer: Fix a Dialyzer warningHans Bolinder
2017-02-01dialyzer: Increase time limit for testsHans Bolinder
2017-02-01dialyzer: Optimize typesigHans Bolinder
2017-02-01dialyzer: Optimize evaluation of complex codeHans Bolinder
2017-01-12Merge branch 'hasse/stdlib/fix_anno_types/OTP-14131' into maintHans Bolinder
2017-01-11dialyzer: Compact 'file' annotations in Core codeHans Bolinder
2017-01-11dialyzer: Try to reduce memory usageHans Bolinder
2017-01-11dialyzer: Use less memory when translating contractsHans Bolinder
2017-01-11dialyzer: Use maps instaed of dictHans Bolinder
2017-01-11dialyzer: Use maps instead of dict for module contracts mapHans Bolinder
2017-01-11dialyzer: Compress a few more ETS tablesHans Bolinder
2017-01-11dialyzer: Optimize memory consumptionHans Bolinder
2017-01-11dialyzer: Reduce memory consumption during 'remote' phaseHans Bolinder
2017-01-11dialyzer: Update code for finding parallelismHans Bolinder
2017-01-11dialyzer: Reduce ETS usage during the typesig phaseHans Bolinder
2017-01-11dialyzer: Optimize graph condensationHans Bolinder
2017-01-11dialyzer: Do not send full PLTs as messagesHans Bolinder
2017-01-10stdlib: Correct signatures of functions in erl_parseHans Bolinder
2016-12-21stdlib: Allow characters in types and constant patternsHans Bolinder
2016-12-09Prepare releaseErlang/OTP
2016-12-07Update copyright-yearErlang/OTP
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-01erts: Correct type declaration of match specification headHans Bolinder
2016-10-21dialyzer: Fix error handling of bad -dialyzer() attributesHans Bolinder
2016-10-13Merge branch 'hasse/dialyzer/fix_opaque_bugs/OTP-13693' into maintHans Bolinder
2016-10-11Update Dialyzer documentationxsipewe
2016-10-06dialyzer: Fix opaque bugHans Bolinder
2016-10-06dialyzer: Fix opaque bugsHans Bolinder
2016-09-20Prepare releaseErlang/OTP
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-08-31dialyzer: Remove a check that always failsHans Bolinder
2016-07-26Improve format_warning/1 specBrujo Benavides
2016-07-04dialyzer: Suppress warns on generated case stmtsMagnus Lång
2016-06-29Update release notesErlang/OTP
2016-06-29Update version numbersErlang/OTP
2016-06-28erl_types: Normalise X:=none() pairs in t_map/3Magnus Lång
2016-06-21Prepare releaseErlang/OTP
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: Minor adjustmentsHans Bolinder
2016-06-09dialyzer: Suppress unmatched_return for send/2Hans Bolinder
2016-06-09dialyzer: Use a cache when translating forms to typesHans Bolinder
2016-06-09dialyzer: Correct typesHans Bolinder