summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src/dialyzer_succ_typings.erl
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Add incremental analysis modeTom Davies2022-07-271-9/+8
* dialyzer_succ_typings: Refactor API and code organizationBjörn Gustavsson2021-09-201-253/+238
* dialyzer_succ_typings: Simplify argument for collect_fun_info/1Björn Gustavsson2021-09-201-15/+9
* dialyzer_succ_typings: Slightly optimize decorate_succ_typings/2Björn Gustavsson2021-09-201-10/+14
* dialyzer_succ_typings: Break apart a function into two for clarityBjörn Gustavsson2021-09-201-10/+11
* dialyzer_succ_typings: Eliminate use of the sets moduleBjörn Gustavsson2021-09-201-7/+12
* dialyzer: Use column numbers in messagesHans Bolinder2021-01-261-1/+1
* dialyzer: Do not use two records for PLTsHans Bolinder2017-06-131-9/+6
* dialyzer: Minor optimizationsHans Bolinder2017-06-131-67/+63
* dialyzer: Rearrange some code to save memoryHans Bolinder2017-06-131-2/+2
* dialyzer: Improve handling of UnicodeHans Bolinder2017-06-091-10/+10
* dialyzer: Do not spawn all workers at onceHans Bolinder2017-02-031-4/+4
* Merge branch 'maint'Hans Bolinder2017-01-121-14/+19
|\
| * dialyzer: Use maps instead of dict for module contracts mapHans Bolinder2017-01-111-1/+1
| * dialyzer: Optimize memory consumptionHans Bolinder2017-01-111-9/+13
| * dialyzer: Do not send full PLTs as messagesHans Bolinder2017-01-111-4/+5
* | Correct copyright and license on dialyzer filesRichard Carlsson2016-11-231-7/+0
|/
* Update DialyzerHans Bolinder2015-10-091-2/+1
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* dialyzer: Introduce module local suppression of warningsHans Bolinder2015-01-141-24/+22
* Remove pre-defined types dict(), digraph(), &cHans Bolinder2014-05-051-4/+1
* Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder2014-04-281-2/+2
* Deprecate pre-defined built-in typesHans Bolinder2014-02-231-2/+2
* [dialyzer] Re-work the handling of opaque typesHans Bolinder2014-01-211-6/+76
* Add an undocumented option [--solver [v1 | v2]]Hans Bolinder2012-08-211-22/+26
* Anonymous time serverStavros Aronis2012-05-211-31/+40
* Remove needless conversionStavros Aronis2012-05-211-1/+1
* Coordinator is no longer a separate processStavros Aronis2012-05-211-52/+24
* Plain concatenation for typesig not-fixpoint listStavros Aronis2012-05-211-4/+3
* Coordinator translates functions requiring further analysisStavros Aronis2012-05-211-10/+12
* Remove data prefetchingStavros Aronis2012-05-211-34/+18
* Fix specsStavros Aronis2012-05-211-2/+2
* Simplify behaviour checking codeStavros Aronis2012-05-211-1/+2
* Add better timing labelsStavros Aronis2012-05-211-12/+20
* Parallel warning generationStavros Aronis2012-05-211-18/+27
* Add --time option to DialyzerStavros Aronis2012-05-211-3/+4
* Keep mini plt for warnings passStavros Aronis2012-05-211-18/+23
* Fix types and specs in DialyzerStavros Aronis2012-05-211-134/+14
* Parallel dataflowStavros Aronis2012-05-211-14/+21
* Generalize coordinator and workerStavros Aronis2012-05-211-4/+4
* Prepare for parallel dataflowStavros Aronis2012-05-211-25/+30
* Remove unused race detection related codeStavros Aronis2012-05-211-24/+16
* Refactorings in succ_typingsStavros Aronis2012-05-211-4/+4
* Parallel typesig analysisStavros Aronis2012-05-211-51/+76
* Success typing analysis uses ETS tables for necessary plt infoStavros Aronis2012-05-211-2/+2
* Flatten order of dataflow analysesStavros Aronis2012-05-211-27/+4
* Update copyright yearsBjörn-Egil Dahlberg2012-03-301-1/+1
* Further simplificationsStavros Aronis2012-02-221-13/+14
* Simplify dialyzer_succ_typings codeStavros Aronis2012-02-221-8/+5
* Behaviour callback discrepancy detection for DialyzerStavros Aronis2011-11-181-15/+9
View Lorry Controller Status