aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2019-06-14Merge branch 'legoscia/dialyzer/native_erlang_mode/OTP-15880/PR-2283' into maintHans Bolinder
2019-06-12Allow native compilation when calling Dialyzer from ErlangMagnus Henoch
2019-06-12Prepare releaseErlang/OTP
2019-06-04dialyzer: Correct indentation of field warningsHans Bolinder
2019-05-10Prepare releaseErlang/OTP
2019-05-07Merge branch 'hasse/dialyzer/prettier_warnings/OTP-15135'Hans Bolinder
2019-05-07dialyzer: Remove quotes around operatorsHans Bolinder
2019-05-07dialyzer: Add test cases with indentationHans Bolinder
2019-05-07dialyzer: Add an --no_indentation optionHans Bolinder
2019-05-03stdlib: Do not allow specs for functions in other modulesHans Bolinder
2019-04-29dialyzer: Add parentheses around annotated union elementsHans Bolinder
2019-04-29dialyzer: Fix dialyzer_dataflow:format_args_1()Hans Bolinder
2019-04-26Merge branch 'hasse/dialyzer/fun_app_args/OTP-15779'Hans Bolinder
2019-04-24dialyzer: Improve the warning tagged 'fun_app_args'Hans Bolinder
2019-04-24Revert "Prepare release"Rickard Green
2019-04-23Prepare releaseErlang/OTP
2019-04-10Merge branch 'hasse/dialyzer/improve_binary_printing/OTP-15752'Hans Bolinder
2019-04-10Merge pull request #2197 from lbolla/spelling-mistakes-fixBjörn Gustavsson
2019-04-08dialyzer: Fix pretty printing of binariesHans Bolinder
2019-03-31Fix various spelling mistakesLorenzo Bolla
2019-03-26Revert "Prepare release"Henrik Nord
2019-03-25Prepare releaseErlang/OTP
2019-03-21Merge branch 'bjorn/hipe-compilation/OTP-15596'Björn Gustavsson
2019-03-20HiPE: Don't fail the compilation for unimplemented instructionsBjörn Gustavsson
2019-03-12Merge branch 'maint'Henrik Nord
2019-03-11Prepare releaseErlang/OTP
2019-02-27Revert "Prepare release"Rickard Green
2019-02-26Prepare releaseErlang/OTP
2019-02-25Merge branch 'maint'Hans Bolinder
2019-02-21dialyzer: Fix maps as parameter of opaque typesHans Bolinder
2019-02-21dialyzer: Fix key check of lists:key{search,member,find}()Hans Bolinder
2019-02-19Merge branch 'maint'Hans Bolinder
2019-02-19Merge branch 'hasse/dialyzer/fix_contract_check/OTP-15562/ERL-845' into maintHans Bolinder
2019-02-11Merge branch 'maint'Hans Bolinder
2019-02-08dialyzer: Fix a bug affecting keyfind/keysearch/keymemberHans Bolinder
2019-02-06dialyzer: Fix a bug regarding contractsHans Bolinder
2018-12-13Merge branch 'maint'Sverker Eriksson
2018-12-12Add empty 'since' attribute for old modules and functionsSverker Eriksson
2018-10-01Introduce the no_spawn_compiler_process optionJosé Valim
2018-09-25Merge branch 'maint'Henrik Nord
2018-09-24Prepare releaseErlang/OTP
2018-08-31Merge pull request #1944 from uabboli/hasse/dialyzer/improve_guards/OTP-15268...Hans Bolinder
2018-08-28dialyzer: Improve handling of complex guardsHans Bolinder
2018-07-27Change "can not" into "cannot"Raimo Niskanen
2018-07-23Refine types of functions in maps moduleMichał Muskała
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