aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2019-02-21dialyzer: Fix key check of lists:key{search,member,find}()Hans Bolinder
2019-02-19Merge branch 'hasse/dialyzer/fix_contract_check/OTP-15562/ERL-845' into maintHans Bolinder
2019-02-08dialyzer: Fix a bug affecting keyfind/keysearch/keymemberHans Bolinder
2019-02-06dialyzer: Fix a bug regarding contractsHans Bolinder
2018-12-12Add empty 'since' attribute for old modules and functionsSverker Eriksson
2018-09-24Prepare releaseErlang/OTP
2018-08-28dialyzer: Improve handling of complex guardsHans Bolinder
2018-07-13docs: make clean all XMLDIRLukas Larsson
2018-06-19Prepare releaseErlang/OTP
2018-06-18Update copyright yearHenrik Nord
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-05-02Revert "Update release notes"Henrik
2018-05-02Revert "Update version numbers"Henrik
2018-04-30Update release notesErlang/OTP
2018-04-30Update version numbersErlang/OTP
2018-03-24Avoid overflowing the atom tableBjörn Gustavsson
2018-03-16mikpe/process_info-1-no-messages/PR-1745/OTP-14986Lukas Larsson
2018-03-14Merge branch 'maint'Henrik
2018-03-13Merge branch 'hasse/dialyzer/extra-range/OTP-14970'Hans Bolinder
2018-03-10make erlang:process_info/1 not retrieve messagesMikael Pettersson
2018-03-09Update release notesErlang/OTP
2018-03-09Update version numbersErlang/OTP
2018-02-26Merge pull request #1719 from josevalim/jv-faster-dialyzer-md5Hans Bolinder
2018-02-23Merge branch 'maint'Hans Bolinder
2018-02-21Compute MD5s in dialyzer using the .beam fileJosé Valim
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-23Merge branch 'maint'Hans Bolinder
2018-01-22dialyzer: Optimize handling of a lot of warningsHans 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-12-13Merge branch 'maint'Henrik Nord
2017-12-08Update release notesErlang/OTP
2017-12-08Update version numbersErlang/OTP