aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2017-12-08Update release notesErlang/OTP
2017-12-08Update version numbersErlang/OTP
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-10dialyzer: Display error messages without call stackHans Bolinder
2017-10-10Merge branch 'lars/doc-cleanup/OTP-14475' into maintLars Thorsen
2017-09-28Remove unused files from the documentation buildLars Thorsen
2017-09-22Update release notesErlang/OTP
2017-09-22Update version numbersErlang/OTP
2017-09-19Update runtime deps to depend on new stdlib functionalityDan Gudmundsson
2017-09-18Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maintHans Bolinder
2017-09-15dialyzer: Improve check of unknown typesHans 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-05dialyzer: Improve handling of UnicodeHans Bolinder
2017-08-25Prepare releaseErlang/OTP
2017-08-24dialyzer: Fix a bug where merging PLT:s could lose infoHans Bolinder
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