summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src/dialyzer_utils.erl
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Use map comprehensionsBjörn Gustavsson2023-03-011-1/+1
* dialyzer: Print map entries in deterministic (sorted) orderBjörn Gustavsson2023-01-301-1/+7
* Allow local redefinition of built-in typesBjörn Gustavsson2022-10-121-2/+41
* dialyzer: Parallelise hashing of source filesTom Davies2022-08-091-1/+35
* dialyzer: Add incremental analysis modeTom Davies2022-07-271-1/+45
* dialyzer_typesig: Test for foldable terms in a cheaper wayBjörn Gustavsson2021-09-201-0/+27
* dialyzer: Parallelize remote types processing in recordsHans Bolinder2021-08-121-50/+106
* dialyzer: Parallelize remote types processing in contractsHans Bolinder2021-08-121-1/+1
* dialyzer: Do not expose line number 0 in message locationsHans Bolinder2021-05-261-14/+19
* dialyzer: Add file and location to messages about unknownsHans Bolinder2021-02-021-17/+23
* dialyzer: Assign better start locations to messagesHans Bolinder2021-01-261-0/+41
* dialyzer: Use column numbers in messagesHans Bolinder2021-01-261-49/+49
* dialyzer: Make minimal adjustments for column numbersHans Bolinder2021-01-261-1/+7
* Teach Dialyzer to handle the refactored Core Erlang representationBjörn Gustavsson2020-02-061-2/+2
* dialyzer: Fix pretty printing of binariesHans Bolinder2019-04-081-8/+57
* Merge branch 'maint'Hans Bolinder2019-02-191-14/+23
|\
| * dialyzer: Fix a bug regarding contractsHans Bolinder2019-02-061-14/+23
* | Introduce the no_spawn_compiler_process optionJosé Valim2018-10-011-1/+1
|/
* Merge branch 'maint'Hans Bolinder2017-09-151-11/+11
|\
| * dialyzer: Improve check of unknown typesHans Bolinder2017-09-151-11/+11
* | No longer support OTP 19 beam files in DialyzerJosé Valim2017-07-041-84/+2
|/
* dialyzer: Do not use two records for PLTsHans Bolinder2017-06-131-6/+15
* dialyzer: Improve compression of an ETS tableHans Bolinder2017-06-131-0/+22
* dialyzer: Warn about unused unknown typesHans Bolinder2017-06-131-2/+17
* dialyzer: Improve handling of UnicodeHans Bolinder2017-06-091-13/+13
* dialyzer: Fix unknown typeHans Bolinder2017-04-271-7/+7
* Store abstract code in the Dbgi chunkJosé Valim2017-04-251-151/+147
* dialyzer: Do not keep the code server's type info on the heapHans Bolinder2017-02-031-45/+70
* Merge branch 'maint'Hans Bolinder2017-01-121-58/+60
|\
| * dialyzer: Try to reduce memory usageHans Bolinder2017-01-111-2/+3
| * dialyzer: Use maps instaed of dictHans Bolinder2017-01-111-12/+12
| * dialyzer: Use maps instead of dict for module contracts mapHans Bolinder2017-01-111-28/+28
| * dialyzer: Reduce memory consumption during 'remote' phaseHans Bolinder2017-01-111-15/+18
| * dialyzer: Update code for finding parallelismHans Bolinder2017-01-111-3/+1
* | Correct copyright and license on dialyzer filesRichard Carlsson2016-11-231-7/+0
|/
* dialyzer: Fix error handling of bad -dialyzer() attributesHans Bolinder2016-10-211-8/+13
* dialyzer: Use a cache when translating forms to typesHans Bolinder2016-06-091-42/+68
* dialyzer: Correct typesHans Bolinder2016-06-091-6/+8
* dialyzer: Fix another pattern literal bugMagnus Lång2016-04-281-2/+9
* dialyzer: Improve map pattern typesettingMagnus Lång2016-04-281-0/+31
* dialyzer: Unfold cerl patterns containing mapsMagnus Lång2016-04-281-0/+51
* Clarify computation of exported types in DialyzerLuca Favatella2016-01-261-7/+6
* dialyzer: Improve a typeHans Bolinder2016-01-201-1/+1
* dialyzer: Generalize an argument of erl_types:t_from_form()Hans Bolinder2015-08-251-15/+20
* Merge branch 'bruce/change-license'Bruce Yinhe2015-06-221-9/+10
|\
| * Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* | dialyzer: Correction of last commitHans Bolinder2015-06-221-9/+6
|/
* dialyzer: Expand opaque types before other typesHans Bolinder2015-06-181-11/+31
* dialyzer: Simplify some codeHans Bolinder2015-06-151-41/+15
* dialyzer: Fix a bug in the expansion of formsHans Bolinder2015-06-151-35/+87
View Lorry Controller Status