summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'john/dialyzer/unicode-issues/OTP-17643/GH-5210' into maintJohn Högberg2021-09-275-3/+19
|\
| * dialyzer: Don't crash when specs/types contain emojis or similarJohn Högberg2021-09-275-3/+19
* | Prepare releaseErlang/OTP2021-09-172-1/+35
|/
* Merge pull request #5022 from max-au/max-au/cleanup-deprecated-tIngela Andin2021-09-131-3/+3
|\
| * test suites: replace ?t: with test_server:Maxim Fedorov2021-09-081-3/+3
* | dialyzer: Fix opaque type handling for `underspecs`/`overspecs`John Högberg2021-09-086-60/+102
|/
* dialyzer: Revert fix of erl_types:t_inf()Hans Bolinder2021-08-251-4/+4
* dialyzer: Fix bug related to mapsHans Bolinder2021-08-182-16/+178
* dialyzer: Fix a bug in erl_types:t_inf/2Hans Bolinder2021-08-091-4/+4
* dialyzer: Fix bugs in erl_types regarding improper listsHans Bolinder2021-08-091-15/+6
* Merge pull request #5012 from bjorng/bjorn/compiler/fix-not-v2/OTP-17510/GH-5007Björn Gustavsson2021-07-012-3/+3
|\
| * Fix code generation in guard for not (X =:= true)Björn Gustavsson2021-07-012-3/+3
* | Merge branch 'hasse/dialyzer/missing_plt_file/OTP-17511/GH-4501' into maintHans Bolinder2021-07-013-10/+76
|\ \
| * | dialyzer: Handle files missing in PLT:s betterHans Bolinder2021-07-013-10/+76
| |/
* | Merge branch 'maint-24' into maintJakub Witczak2021-06-282-1/+24
|\ \ | |/ |/|
| * Prepare releaseErlang/OTP2021-06-242-1/+24
| * Merge branch 'hasse/dialyzer/generated_code_fix/OTP-17443/GH-4890' into maint-24Erlang/OTP2021-06-242-20/+20
| |\
| * \ Merge branch 'bjorn/dialyzer/fix-lc-crash/OTP-17482' into maint-24Erlang/OTP2021-06-242-2/+19
| |\ \
* | \ \ Merge branch 'maint-23' into maintJakub Witczak2021-06-171-1/+16
|\ \ \ \
| * | | | Prepare releaseErlang/OTP2021-06-162-1/+17
| | |/ / | |/| |
* | | | Merge branch 'hasse/dialyzer/generated_code_fix/OTP-17443/GH-4890' into maintHans Bolinder2021-06-112-20/+20
|\ \ \ \ | | |_|/ | |/| |
| * | | dialyzer: Do not expose line number 0 in message locationsHans Bolinder2021-06-012-20/+20
| | |/ | |/|
* | | Merge branch 'bjorn/dialyzer/fix-lc-crash/OTP-17482' into maintBjörn Gustavsson2021-06-112-2/+19
|\ \ \ | |/ / |/| / | |/
| * Eliminate crash in dialyzerBjörn Gustavsson2021-06-092-2/+19
* | Prepare releaseErlang/OTP2021-05-102-1/+61
* | Merge branch 'hasse/erts/binary_types/GH-4636/OTP-17301'Hans Bolinder2021-04-2910-12/+147
|\ \
| * | erts: Add types nonempty_{binary,bitstring}()Hans Bolinder2021-04-2710-12/+147
* | | dialyzer: Fix missing since attributeSverker Eriksson2021-04-271-1/+1
* | | Revert "Prepare release"Henrik Nord2021-04-212-61/+1
* | | Prepare releaseErlang/OTP2021-04-192-1/+61
|/ /
* | Adapt for EEP 56 changesjuhlig2021-04-141-1/+1
* | Revert "Prepare release"Henrik Nord2021-03-262-61/+1
* | Prepare releaseErlang/OTP2021-03-252-1/+61
* | Merge branch 'maint'Henrik Nord2021-03-242-1/+16
|\ \ | |/
| * Prepare releaseErlang/OTP2021-03-222-1/+16
* | dialyzer: Correct testcaseHans Bolinder2021-03-161-1/+1
* | Revert "Prepare release"Henrik Nord2021-02-242-61/+1
* | Prepare releaseErlang/OTP2021-02-232-1/+61
* | dialyzer: Add option to be used with attribute -dialyzerHans Bolinder2021-02-168-2/+122
* | dialyzer: Add option 'error_location'Hans Bolinder2021-02-0911-127/+299
* | dialyzer: Use types and specs for documentationHans Bolinder2021-02-0411-567/+148
* | dialyzer: Add file and location to messages about unknownsHans Bolinder2021-02-029-153/+194
* | dialyzer: Improve column numbers in warningsHans Bolinder2021-01-2668-304/+361
* | dialyzer: Substitute Anno for LineHans Bolinder2021-01-264-147/+147
* | dialyzer: Assign better start locations to messagesHans Bolinder2021-01-26106-471/+495
* | dialyzer: Use column numbers in messagesHans Bolinder2021-01-26293-2062/+2091
* | dialyzer: Make minimal adjustments for column numbersHans Bolinder2021-01-267-3/+17
* | Eliminate dialyzer crashing when analyzing try/catchBjörn Gustavsson2021-01-123-21/+75
* | Merge pull request #2812 from dgud/dgud/wx/new_genDan Gudmundsson2020-12-221-1/+1
|\ \
| * | EXTERNAL APPS COMPATDan Gudmundsson2020-12-211-1/+1
View Lorry Controller Status