summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Revert "Prepare release"Henrik Nord2022-03-242-81/+1
* Prepare releaseErlang/OTP2022-03-232-1/+81
* Update copyright yearErlang/OTP2022-03-233-3/+3
* Merge branch 'maint' into masterIngela Anderton Andin2022-03-152-1/+17
|\
| * Prepare releaseErlang/OTP2022-03-152-1/+17
* | Merge pull request #5751 from RaimoNiskanen/raimo/stdlib/gen_server-types/GH-...Raimo Niskanen2022-03-143-7/+7
|\ \
| * | Update dialyzer test casesRaimo Niskanen2022-03-023-7/+7
* | | Merge branch 'maint'Björn Gustavsson2022-03-149-9/+41
|\ \ \ | | |/ | |/|
| * | Dialyzer: Fix location for "unknown type" errorsBjörn Gustavsson2022-03-119-9/+41
* | | Update dialyzer property tests to provide correct location informationBjörn Gustavsson2022-03-101-1/+2
* | | Merge pull request #5660 from AdRoll/typer_coreBjörn Gustavsson2022-03-084-927/+1087
|\ \ \
| * | | Split TypEr core out of typer module.Brujo Benavides2022-03-014-927/+1087
* | | | dialyzer: Quote the atom 'maybe'Björn Gustavsson2022-02-231-2/+2
* | | | [cleanup] remove ?line macroMaxim Fedorov2022-02-221-2/+2
* | | | Revert "Prepare release"Henrik Nord2022-02-162-75/+1
* | | | Prepare releaseErlang/OTP2022-02-152-1/+75
* | | | Update copyright yearErlang/OTP2022-02-156-6/+6
* | | | Support a definition with non-zero arity in letrecsBjörn Gustavsson2022-02-111-2/+5
* | | | Merge pull request #5631 from josevalim/jv-eval-external-fun-handler-annoBjörn Gustavsson2022-02-114-4/+4
|\ \ \ \
| * | | | Pass Anno to ExternalFunctionHandler in erl_evalJosé Valim2022-02-084-4/+4
* | | | | Merge branch 'typer_doc'Björn Gustavsson2022-02-081-2/+2
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| * | | | note that file lists have to be passed before recursive directoriesMackenzie Morgan2022-02-081-2/+2
| | |/ / | |/| |
* | | | Merge pull request #5651 from bjorng/bjorn/dialyzer/refine-bif-types/OTP-17897Björn Gustavsson2022-01-312-1/+34
|\ \ \ \
| * | | | dialyzer: Refine the types for min/2 and max/2Björn Gustavsson2022-01-281-0/+12
| * | | | dialyzer: Refine the type for erlang:raise/3Björn Gustavsson2022-01-282-1/+22
| |/ / /
* | | | dialyzer_dataflow: Avoid andalso/orelse in guardsBjörn Gustavsson2022-01-261-4/+4
* | | | dialayzer_dataflow: Simplify is_opaque_type_test_problem/4Björn Gustavsson2022-01-261-9/+9
* | | | Improve coverage of dialyzer_dataflowBjörn Gustavsson2022-01-262-0/+25
* | | | dialyzer_dataflow: Introduce helper function guard_eval_inf/2Björn Gustavsson2022-01-261-21/+12
* | | | dialyzer_dataflow: Simplify is_infix_op/1Björn Gustavsson2022-01-261-10/+4
* | | | dialyzer_dataflow: Refactor handle_guard_call() and friendsBjörn Gustavsson2022-01-261-30/+33
* | | | dialyzer_dataflow: Refactor bind_pat_vars()Björn Gustavsson2022-01-261-189/+155
* | | | dialyzer_dataflow: Refactor handle_case() and handle_clauses()Björn Gustavsson2022-01-261-17/+19
* | | | dialyzer_dataflow: Break out handling of clause warningsBjörn Gustavsson2022-01-261-129/+147
* | | | dialyzer_dataflow: Break out handling of primopsBjörn Gustavsson2022-01-261-28/+34
* | | | dialyzer_dataflow: Break out handling of unmatched return warningsBjörn Gustavsson2022-01-261-14/+22
* | | | Remove handling of eliminated primop 'timeout'Björn Gustavsson2022-01-262-4/+0
|/ / /
* | | otp: Fix `make TYPE=$TYPE` to work for all typesLukas Larsson2022-01-211-1/+1
* | | otp: Make tests pass when run in source treeLukas Larsson2022-01-211-5/+1
|/ /
* | Fix xdg file testcases on windowsLukas Larsson2022-01-101-1/+1
* | Merge pull request #5498 from TD5/TypeAndBehaviourDependenciesJohn Högberg2021-12-1719-89/+929
|\ \
| * | dialyzer: Track type & behaviour dependenciesTom Davies2021-12-1419-89/+929
* | | Update copyright yearRickard Green2021-12-161-1/+1
* | | Merge branch 'maint'Rickard Green2021-12-152-1/+25
|\ \ \ | |/ / |/| / | |/
| * Prepare releaseErlang/OTP2021-12-142-1/+25
* | Merge branch 'maint'Rickard Green2021-12-139-9/+9
|\ \ | |/
| * Update copyright yearRickard Green2021-12-139-9/+9
* | Merge pull request #5502 from bjorng/bjorn/dialyzer/eliminate-races/OTP-17819Björn Gustavsson2021-12-13262-6327/+66
|\ \
| * | dialyzer: Eliminate the `race_conditions` optionBjörn Gustavsson2021-12-09262-6327/+66
* | | Merge branch 'lukas/kernel/xdg-erlang-config/OTP-17554/OTP-17821'Lukas Larsson2021-12-134-10/+55
|\ \ \