Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Revert "Prepare release" | Henrik Nord | 2022-03-24 | 2 | -81/+1 |
* | Prepare release | Erlang/OTP | 2022-03-23 | 2 | -1/+81 |
* | Update copyright year | Erlang/OTP | 2022-03-23 | 3 | -3/+3 |
* | Merge branch 'maint' into master | Ingela Anderton Andin | 2022-03-15 | 2 | -1/+17 |
|\ | |||||
| * | Prepare release | Erlang/OTP | 2022-03-15 | 2 | -1/+17 |
* | | Merge pull request #5751 from RaimoNiskanen/raimo/stdlib/gen_server-types/GH-... | Raimo Niskanen | 2022-03-14 | 3 | -7/+7 |
|\ \ | |||||
| * | | Update dialyzer test cases | Raimo Niskanen | 2022-03-02 | 3 | -7/+7 |
* | | | Merge branch 'maint' | Björn Gustavsson | 2022-03-14 | 9 | -9/+41 |
|\ \ \ | | |/ | |/| | |||||
| * | | Dialyzer: Fix location for "unknown type" errors | Björn Gustavsson | 2022-03-11 | 9 | -9/+41 |
* | | | Update dialyzer property tests to provide correct location information | Björn Gustavsson | 2022-03-10 | 1 | -1/+2 |
* | | | Merge pull request #5660 from AdRoll/typer_core | Björn Gustavsson | 2022-03-08 | 4 | -927/+1087 |
|\ \ \ | |||||
| * | | | Split TypEr core out of typer module. | Brujo Benavides | 2022-03-01 | 4 | -927/+1087 |
* | | | | dialyzer: Quote the atom 'maybe' | Björn Gustavsson | 2022-02-23 | 1 | -2/+2 |
* | | | | [cleanup] remove ?line macro | Maxim Fedorov | 2022-02-22 | 1 | -2/+2 |
* | | | | Revert "Prepare release" | Henrik Nord | 2022-02-16 | 2 | -75/+1 |
* | | | | Prepare release | Erlang/OTP | 2022-02-15 | 2 | -1/+75 |
* | | | | Update copyright year | Erlang/OTP | 2022-02-15 | 6 | -6/+6 |
* | | | | Support a definition with non-zero arity in letrecs | Björn Gustavsson | 2022-02-11 | 1 | -2/+5 |
* | | | | Merge pull request #5631 from josevalim/jv-eval-external-fun-handler-anno | Björn Gustavsson | 2022-02-11 | 4 | -4/+4 |
|\ \ \ \ | |||||
| * | | | | Pass Anno to ExternalFunctionHandler in erl_eval | José Valim | 2022-02-08 | 4 | -4/+4 |
* | | | | | Merge branch 'typer_doc' | Björn Gustavsson | 2022-02-08 | 1 | -2/+2 |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | |||||
| * | | | | note that file lists have to be passed before recursive directories | Mackenzie Morgan | 2022-02-08 | 1 | -2/+2 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5651 from bjorng/bjorn/dialyzer/refine-bif-types/OTP-17897 | Björn Gustavsson | 2022-01-31 | 2 | -1/+34 |
|\ \ \ \ | |||||
| * | | | | dialyzer: Refine the types for min/2 and max/2 | Björn Gustavsson | 2022-01-28 | 1 | -0/+12 |
| * | | | | dialyzer: Refine the type for erlang:raise/3 | Björn Gustavsson | 2022-01-28 | 2 | -1/+22 |
| |/ / / | |||||
* | | | | dialyzer_dataflow: Avoid andalso/orelse in guards | Björn Gustavsson | 2022-01-26 | 1 | -4/+4 |
* | | | | dialayzer_dataflow: Simplify is_opaque_type_test_problem/4 | Björn Gustavsson | 2022-01-26 | 1 | -9/+9 |
* | | | | Improve coverage of dialyzer_dataflow | Björn Gustavsson | 2022-01-26 | 2 | -0/+25 |
* | | | | dialyzer_dataflow: Introduce helper function guard_eval_inf/2 | Björn Gustavsson | 2022-01-26 | 1 | -21/+12 |
* | | | | dialyzer_dataflow: Simplify is_infix_op/1 | Björn Gustavsson | 2022-01-26 | 1 | -10/+4 |
* | | | | dialyzer_dataflow: Refactor handle_guard_call() and friends | Björn Gustavsson | 2022-01-26 | 1 | -30/+33 |
* | | | | dialyzer_dataflow: Refactor bind_pat_vars() | Björn Gustavsson | 2022-01-26 | 1 | -189/+155 |
* | | | | dialyzer_dataflow: Refactor handle_case() and handle_clauses() | Björn Gustavsson | 2022-01-26 | 1 | -17/+19 |
* | | | | dialyzer_dataflow: Break out handling of clause warnings | Björn Gustavsson | 2022-01-26 | 1 | -129/+147 |
* | | | | dialyzer_dataflow: Break out handling of primops | Björn Gustavsson | 2022-01-26 | 1 | -28/+34 |
* | | | | dialyzer_dataflow: Break out handling of unmatched return warnings | Björn Gustavsson | 2022-01-26 | 1 | -14/+22 |
* | | | | Remove handling of eliminated primop 'timeout' | Björn Gustavsson | 2022-01-26 | 2 | -4/+0 |
|/ / / | |||||
* | | | otp: Fix `make TYPE=$TYPE` to work for all types | Lukas Larsson | 2022-01-21 | 1 | -1/+1 |
* | | | otp: Make tests pass when run in source tree | Lukas Larsson | 2022-01-21 | 1 | -5/+1 |
|/ / | |||||
* | | Fix xdg file testcases on windows | Lukas Larsson | 2022-01-10 | 1 | -1/+1 |
* | | Merge pull request #5498 from TD5/TypeAndBehaviourDependencies | John Högberg | 2021-12-17 | 19 | -89/+929 |
|\ \ | |||||
| * | | dialyzer: Track type & behaviour dependencies | Tom Davies | 2021-12-14 | 19 | -89/+929 |
* | | | Update copyright year | Rickard Green | 2021-12-16 | 1 | -1/+1 |
* | | | Merge branch 'maint' | Rickard Green | 2021-12-15 | 2 | -1/+25 |
|\ \ \ | |/ / |/| / | |/ | |||||
| * | Prepare release | Erlang/OTP | 2021-12-14 | 2 | -1/+25 |
* | | Merge branch 'maint' | Rickard Green | 2021-12-13 | 9 | -9/+9 |
|\ \ | |/ | |||||
| * | Update copyright year | Rickard Green | 2021-12-13 | 9 | -9/+9 |
* | | Merge pull request #5502 from bjorng/bjorn/dialyzer/eliminate-races/OTP-17819 | Björn Gustavsson | 2021-12-13 | 262 | -6327/+66 |
|\ \ | |||||
| * | | dialyzer: Eliminate the `race_conditions` option | Björn Gustavsson | 2021-12-09 | 262 | -6327/+66 |
* | | | Merge branch 'lukas/kernel/xdg-erlang-config/OTP-17554/OTP-17821' | Lukas Larsson | 2021-12-13 | 4 | -10/+55 |
|\ \ \ |