aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
AgeCommit message (Expand)Author
2019-05-07dialyzer: Add an --no_indentation optionHans Bolinder
2019-04-29dialyzer: Fix dialyzer_dataflow:format_args_1()Hans Bolinder
2019-04-24dialyzer: Improve the warning tagged 'fun_app_args'Hans Bolinder
2019-04-08dialyzer: Fix pretty printing of binariesHans Bolinder
2019-03-20HiPE: Don't fail the compilation for unimplemented instructionsBjörn Gustavsson
2019-02-19Merge branch 'maint'Hans Bolinder
2019-02-06dialyzer: Fix a bug regarding contractsHans Bolinder
2018-10-01Introduce the no_spawn_compiler_process optionJosé Valim
2018-07-27Change "can not" into "cannot"Raimo Niskanen
2018-05-25dialyzer: Refine the test for overspecified functionsHans Bolinder
2018-05-13dialyzer: Do not emit warnings for unreachable funsHans Bolinder
2018-03-13Merge branch 'hasse/dialyzer/extra-range/OTP-14970'Hans Bolinder
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
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-14Merge branch 'maint'Hans Bolinder
2017-11-10dialyzer: Display error messages without call stackHans Bolinder
2017-09-20Merge branch 'maint'Dan Gudmundsson
2017-09-19Update runtime deps to depend on new stdlib functionalityDan Gudmundsson
2017-09-15Merge branch 'siri/string-new-api'Siri Hansen
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-07Merge branch 'maint'Siri Hansen
2017-09-05dialyzer: Improve handling of UnicodeHans Bolinder
2017-08-25Merge branch 'maint'Henrik Nord
2017-08-24dialyzer: Fix a bug where merging PLT:s could lose infoHans Bolinder
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-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