aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2017-09-15Merge branch 'maint'Hans Bolinder
2017-09-15dialyzer: Improve check of unknown typesHans Bolinder
2017-09-12Merge branch 'maint'Hans Bolinder
2017-09-12dialyzer: Do not fix ETS tables when merging PLTsHans Bolinder
2017-09-12dialyzer: Adjust a test caseHans Bolinder
2017-09-12dialyzer: Modify handling of singleton map key typesHans Bolinder
2017-09-07Merge branch 'maint'Siri Hansen
2017-09-06Merge pull request #1490 from josevalim/jv-gen-server-continueRaimo Niskanen
2017-09-05dialyzer: Improve handling of UnicodeHans Bolinder
2017-08-25Merge branch 'maint'Henrik Nord
2017-08-25Prepare releaseErlang/OTP
2017-08-24dialyzer: Fix a bug where merging PLT:s could lose infoHans Bolinder
2017-08-05Add {continue, Term} and handle_continue/2 to gen_serverJosé Valim
2017-07-06dialyzer: Do not use deprecated functions in string(3)Hans Bolinder
2017-07-04No longer support OTP 19 beam files in DialyzerJosé Valim
2017-06-21Prepare releaseErlang/OTP
2017-06-13dialyzer: Run more of analyses in subprocessHans Bolinder
2017-06-13dialyzer: Do not use two records for PLTsHans Bolinder
2017-06-13dialyzer: Improve compression of an ETS tableHans Bolinder
2017-06-13dialyzer: Minor optimizationsHans Bolinder
2017-06-13dialyzer: Warn about unused unknown typesHans Bolinder
2017-06-13dialyzer: Correct a mistakeHans Bolinder
2017-06-13dialyzer: Rearrange some code to save memoryHans Bolinder
2017-06-13dialyzer: Optimize by avoiding some table lookupsHans Bolinder
2017-06-09dialyzer: Improve handling of UnicodeHans Bolinder
2017-05-31Revert "Prepare release"Hans Nilsson
2017-05-30Prepare releaseErlang/OTP
2017-05-05Revert "Prepare release"Raimo Niskanen
2017-05-04Prepare releaseErlang/OTP
2017-05-04Update copyright yearRaimo Niskanen
2017-05-02Merge branch 'maint'Hans Bolinder
2017-04-28Prepare releaseErlang/OTP
2017-04-27dialyzer: Fix unknown typeHans Bolinder
2017-04-26dialyzer: Fix a bug regarding unknown typesHans Bolinder
2017-04-26Merge pull request #1367 from josevalim/jv-dbgi-chunkBjörn Gustavsson
2017-04-25Store abstract code in the Dbgi chunkJosé Valim
2017-04-24Merge branch 'zandra/stdlib/optional-callbacks/OTP-13801'Zandra Norman
2017-04-21stdlib: Make gen_server callbacks optionalZandra Norman
2017-04-21Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travisBjörn Gustavsson
2017-04-20Add smoke test for TypERBjörn Gustavsson
2017-04-20Add back TypEr to the main OTP repositoryBjörn Gustavsson
2017-04-13stdlib: Add checks of the dialyzer attribute to the linterHans Bolinder
2017-03-14Merge branch 'maint'Rickard Green
2017-03-14Prepare releaseErlang/OTP
2017-03-14Merge branch 'hasse/fix_erl_anno_use'Hans Bolinder
2017-03-10Update copyright yearRickard Green
2017-03-08dialyzer: Correct a test caseHans Bolinder
2017-03-08dialyzer: Fix handling of annotations in a testHans Bolinder
2017-03-06Merge branch 'maint'Hans Bolinder
2017-03-06Merge branch 'hasse/dialyzer/fix_warnings/OTP-14177' into maintHans Bolinder