summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Revert "Prepare release"Henrik Nord2023-03-222-154/+1
* Prepare releaseErlang/OTP2023-03-212-1/+154
* Merge pull request #7021 from TD5/patch-1Björn Gustavsson2023-03-172-7/+41
|\
| * dialyzer: Add missing option help entriesTom2023-03-162-7/+41
* | EEP 61: Built-in dynamic typeIlya Klyuchnikov2023-03-151-0/+3
|/
* dialyzer: add nonwarn_function testKiko Fernandez-Reyes2023-03-144-0/+77
* dialyzer: remove creation of objectKiko Fernandez-Reyes2023-03-133-35/+41
* dialyzer: improve readability of codeKiko Fernandez-Reyes2023-03-092-19/+24
* dialyzer: filter out nowarn_function warningsKiko Fernandez-Reyes2023-03-091-11/+13
* Merge branch 'maint' into masterHenrik Nord2023-03-082-1/+46
|\
| * Prepare releaseErlang/OTP2023-03-062-1/+46
* | Merge pull request #6941 from bjorng/bjorn/dialyzer/no_spec/OTP-18310Björn Gustavsson2023-03-037-6/+25
|\ \
| * | dialyzer: Add the --no_spec option for ignoring specsBjörn Gustavsson2023-03-017-6/+25
* | | dialyzer: Use map comprehensionsBjörn Gustavsson2023-03-017-46/+25
|/ /
* | dialyzer doc: Remove mention of removed feature race_conditionsBjörn Gustavsson2023-02-281-5/+0
* | Merge pull request #6854 from TD5/add_multiple_pltsJohn Högberg2023-02-222-6/+41
|\ \
| * | dialyzer: Fix crash when adding multiple PLTs to a PLTTom Davies2023-02-132-6/+41
* | | Revert "Prepare release"Henrik Nord2023-02-152-112/+1
* | | Prepare releaseErlang/OTP2023-02-142-1/+112
* | | Update copyright yearErlang/OTP2023-02-143-3/+3
* | | Merge pull request #6818 from TD5/dialyzer-ordinalBjörn Gustavsson2023-02-091-4/+12
|\ \ \
| * | | dialyzer: Fix ordinal for numbers over twentyTom2023-02-071-4/+12
* | | | dialyzer: make -Wunknown a default; add -Wno_unknown flagKiko Fernandez-Reyes2023-02-0820-72/+94
* | | | Merge pull request #6759 from bjorng/bjorn/dialyzer/minor-optimizationsBjörn Gustavsson2023-02-025-72/+59
|\ \ \ \
| * | | | dialyzer_dataflow: Use the map syntax instead of the maps moduleBjörn Gustavsson2023-02-021-25/+27
| * | | | dialyzer_typesig: Optimize lookup_type/2Björn Gustavsson2023-02-021-10/+5
| * | | | Use modern ETS functionsBjörn Gustavsson2023-02-023-37/+27
| | |/ / | |/| |
* | | | dialyzer: Print map entries in deterministic (sorted) orderBjörn Gustavsson2023-01-301-1/+7
|/ / /
* | | Merge branch 'maint'Kiko Fernandez-Reyes2023-01-236-43/+43
|\ \ \ | |/ / |/| / | |/
| * dialyzer: replace size/1 by XXX_size/1Kiko Fernandez-Reyes2023-01-186-43/+43
* | dialyzer: change message of overlapping contractsKiko Fernandez-Reyes2023-01-114-6/+6
* | dialyzer: fixes type spec (GH-6597)Kiko Fernandez-Reyes2023-01-111-2/+3
* | dialyzer: simplify functionKiko Fernandez-Reyes2023-01-111-9/+4
* | dialyzer: overlapping_domain option is opt-inKiko Fernandez-Reyes2023-01-1112-20/+54
* | Merge branch 'maint'John Högberg2022-12-227-27/+54
|\ \ | |/
| * dialyzer: Rename t_is_none_or_unit/1 to t_is_impossible/1John Högberg2022-12-215-23/+28
| * dialyzer_dataflow: Fix bug in bind_checked_inf/4John Högberg2022-12-213-5/+27
* | erl_types: Use a more compact representation for some typesBjörn Gustavsson2022-12-151-3/+3
* | erl_types: Optimize t_contains_opaque/2Björn Gustavsson2022-12-151-2/+5
* | erl_types: Optimize t_has_var/1Björn Gustavsson2022-12-151-0/+2
* | erl_types: Optimize t_limit/2Björn Gustavsson2022-12-151-6/+14
* | erl_types: Optimize infimum, supremum, and subtractBjörn Gustavsson2022-12-151-52/+67
* | erl_types: Eliminate use of maps:find/2Björn Gustavsson2022-12-151-35/+43
* | erl_types: Optimize cache for remote module typesBjörn Gustavsson2022-12-151-14/+14
* | erl_types: Removes assertion for union typesBjörn Gustavsson2022-12-151-1/+1
* | erl_types: Optimize ordsets operationsBjörn Gustavsson2022-12-151-44/+37
* | erl_types: Stricten integersBjörn Gustavsson2022-12-151-0/+2
* | erl_types: Remove out-commented codeBjörn Gustavsson2022-12-151-88/+0
* | erl_types: Remove unused functionsBjörn Gustavsson2022-12-151-226/+29
* | Merge branch 'maint' into masterHenrik Nord2022-12-142-2/+24
|\ \ | |/
View Lorry Controller Status