summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'bjorn/dialyzer/input-list-file/ERIERL-821/OTP-18263/otp24-25' i...Björn Gustavsson2022-10-011-0/+18
|\
| * Merge branch 'bjorn/dialyzer/input-list-file/ERIERL-821/OTP-18263/otp23' into...Björn Gustavsson2022-09-281-0/+18
| |\
| | * dialyzer: Introduce the --input_list_file optionBjörn Gustavsson2022-09-281-0/+18
* | | Dialyzer: Eliminate crash for code generated by ElixirBjörn Gustavsson2022-09-261-1/+7
* | | dialyzer: Add warning_options `missing_return` and `extra_return`vtm92022-08-032-0/+8
* | | Merge pull request #6126 from bjorng/bjorn/dialyzer/behaviours/OTP-18127Björn Gustavsson2022-08-022-65/+77
|\ \ \
| * | | Dialyzer: Fix checking of behavioursBjörn Gustavsson2022-07-042-65/+77
* | | | dialyzer: Add warning_options `no_missing_return` and `no_extra_return`Gonzalo Bella2022-06-132-1/+7
|/ / /
* | | Merge pull request #5884 from AdRoll/maps-not-dictsJohn Högberg2022-04-251-99/+95
|\ \ \
| * | | Change from using dicts in typer_core to using mapsMackenzie Morgan2022-04-251-99/+95
* | | | Revert "dialyzer_typesig: Crash upon detecting an endless loop"John Högberg2022-04-081-15/+21
|/ / /
* | | Merge pull request #5802 from AdRoll/add-annotate_in_place-to-typerJohn Högberg2022-04-052-29/+56
|\ \ \
| * | | Add annotate_in_place mode to TypErPablo Costas Sánchez2022-03-312-29/+56
* | | | dialyzer: Accept new primop nif_start emitted by -nifs([])Sverker Eriksson2022-03-252-0/+4
* | | | Update copyright yearErlang/OTP2022-03-231-1/+1
|/ / /
* | | Merge branch 'maint'Björn Gustavsson2022-03-142-7/+7
|\ \ \ | |/ /
| * | Dialyzer: Fix location for "unknown type" errorsBjörn Gustavsson2022-03-112-7/+7
* | | 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
* | | | Update copyright yearErlang/OTP2022-02-151-1/+1
* | | | Support a definition with non-zero arity in letrecsBjörn Gustavsson2022-02-111-2/+5
* | | | Merge pull request #5651 from bjorng/bjorn/dialyzer/refine-bif-types/OTP-17897Björn Gustavsson2022-01-311-1/+33
|\ \ \ \
| * | | | 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-281-1/+21
| |/ / /
* | | | 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
* | | | 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
* | | dialyzer: Track type & behaviour dependenciesTom Davies2021-12-1411-51/+346
* | | Merge branch 'maint'Rickard Green2021-12-132-2/+2
|\ \ \ | |/ /
| * | Update copyright yearRickard Green2021-12-132-2/+2
* | | Merge pull request #5502 from bjorng/bjorn/dialyzer/eliminate-races/OTP-17819Björn Gustavsson2021-12-1313-3093/+65
|\ \ \
| * | | dialyzer: Eliminate the `race_conditions` optionBjörn Gustavsson2021-12-0913-3093/+65
* | | | Merge branch 'lukas/kernel/xdg-erlang-config/OTP-17554/OTP-17821'Lukas Larsson2021-12-132-3/+14
|\ \ \ \
| * | | | dialyzer: Place default plt in $XDG_CACHE_HOMELukas Larsson2021-12-062-3/+14
* | | | | Fix typos in lib/dialyzerKian-Meng, Ang2021-12-104-10/+10
| |/ / / |/| | |
* | | | dialyzer: Fix infinite loop on named recursive funsJohn Högberg2021-12-021-10/+12
|/ / /
* | | dialyzer_typesig: Crash upon detecting an endless loopJohn Högberg2021-09-271-21/+15
* | | dialyzer_typesig: Ensure that unification always makes progressJohn Högberg2021-09-272-173/+59
* | | erl_types: Ignore opaque type argumentsJohn Högberg2021-09-271-140/+26
* | | dialyzer_typesig: Add a debug printout when conj are restartedJohn Högberg2021-09-271-1/+2
View Lorry Controller Status