aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
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
2017-11-30Add syntax in try/catch to retrieve the stacktrace directlyBjörn Gustavsson
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-10-10Merge branch 'maint'Lars Thorsen
2017-10-10Merge branch 'lars/doc-cleanup/OTP-14475' into maintLars Thorsen
2017-09-28Remove unused files from the documentation buildLars Thorsen
2017-09-26Merge branch 'maint'Henrik Nord
2017-09-22Update release notesErlang/OTP
2017-09-22Update version numbersErlang/OTP
2017-09-20Merge branch 'maint'Dan Gudmundsson
2017-09-19Update runtime deps to depend on new stdlib functionalityDan Gudmundsson
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
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