summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Update copyright-yearErlang/OTP2016-12-074-4/+4
* dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder2016-11-2229-100/+100
* dialyzer: Improve a warning messageHans Bolinder2016-11-223-12/+21
* dialyzer: Improve a warning messageHans Bolinder2016-11-224-9/+36
* dialyzer: Correct a warnings messageHans Bolinder2016-11-222-8/+24
* erts: Correct type declaration of match specification headHans Bolinder2016-11-011-0/+8
* dialyzer: Fix error handling of bad -dialyzer() attributesHans Bolinder2016-10-213-28/+63
* Merge branch 'hasse/dialyzer/fix_opaque_bugs/OTP-13693' into maintHans Bolinder2016-10-1310-4/+17164
|\
| * dialyzer: Fix opaque bugHans Bolinder2016-10-063-3/+222
| * dialyzer: Fix opaque bugsHans Bolinder2016-10-067-1/+16942
* | Update Dialyzer documentationxsipewe2016-10-115-496/+643
|/
* Prepare releaseErlang/OTP2016-09-202-1/+24
* Merge branch 'margnus1/dialyzer/fix_maps_opaque/ERL-249/PR-1161/OTP-13878' in...Hans Bolinder2016-09-121-0/+13
|\
| * erl_bif_types: Properly unopaque maps:merge/2 argsMagnus Lång2016-09-071-0/+13
* | dialyzer: Increase time limit of suitesHans Bolinder2016-08-312-0/+2
* | dialyzer: Remove a check that always failsHans Bolinder2016-08-311-11/+1
* | Improve format_warning/1 specBrujo Benavides2016-07-261-1/+1
* | dialyzer: Suppress warns on generated case stmtsMagnus Lång2016-07-044-29/+147
|/
* Update release notesErlang/OTP2016-06-291-0/+14
* Update version numbersErlang/OTP2016-06-291-1/+1
* erl_types: Normalise X:=none() pairs in t_map/3Magnus Lång2016-06-282-0/+12
* Prepare releaseErlang/OTP2016-06-211-0/+82
* Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547'Hans Bolinder2016-06-104-114/+193
|\
| * dialyzer: Minor adjustmentsHans Bolinder2016-06-091-2/+5
| * dialyzer: Suppress unmatched_return for send/2Hans Bolinder2016-06-092-1/+16
| * dialyzer: Use a cache when translating forms to typesHans Bolinder2016-06-092-106/+165
| * dialyzer: Correct typesHans Bolinder2016-06-091-6/+8
* | Remove support for '...' in Maps typesHans Bolinder2016-06-096-7/+7
|/
* Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092'Hans Bolinder2016-06-095-11/+82
|\
| * Fix a bug in Dialyzer related to call-site analysisStavros Aronis2016-06-085-11/+82
* | Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop.Hans Bolinder2016-06-082-4/+24
|/
* Revert "Prepare release"Erlang/OTP2016-06-021-66/+0
* Prepare releaseErlang/OTP2016-06-021-0/+66
* Merge branch 'kostis/dialyzer/opaque_type/OTP-13586/PR-1047'Hans Bolinder2016-05-161-7/+9
|\
| * Declare the erl_types:var_table() type as opaqueKostis Sagonas2016-05-041-7/+9
* | Update application versionsHans Bolinder2016-05-131-1/+1
* | Use the newly defined types in a record declarationKostis Sagonas2016-05-131-9/+9
* | Strengthen the spec of analyze/1Kostis Sagonas2016-05-131-2/+8
* | Fix dependency calculation when encountering an erroneous 'apply'Kostis Sagonas2016-05-131-15/+19
* | Revert "Prepare release"Erlang/OTP2016-05-122-58/+1
* | Prepare releaseErlang/OTP2016-05-112-1/+58
* | dialyzer: Update runtime dependenciesHans Bolinder2016-05-041-4/+4
|/
* dialyzer: Use maps instead of dictHans Bolinder2016-05-043-145/+135
* dialyzer: Optimize the evaluation of SCC:s in module typesigHans Bolinder2016-05-041-185/+66
* Merge branch 'experimental/correct_dialyzer_spelling/PR-1007/OTP-13544'Hans Bolinder2016-05-045-5/+5
|\
| * Correct mispelling in Dialyzer's acronym definitioneksperimental2016-04-075-5/+5
* | dialyzer: Fix a bug in the translation of forms to typesHans Bolinder2016-04-296-0/+4530
* | erl_types: Don't consider opaque keys singletonMagnus Lång2016-04-281-4/+0
* | erl_types: Fix t_subtract/2 correctness bugMagnus Lång2016-04-282-8/+6
* | erl_types: Fix crash merging maps with opaque keysMagnus Lång2016-04-283-0/+187
View Lorry Controller Status