summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src/dialyzer_dataflow.erl
Commit message (Expand)AuthorAgeFilesLines
...
| * dialyzer: Compact 'file' annotations in Core codeHans Bolinder2017-01-111-6/+16
* | Correct copyright and license on dialyzer filesRichard Carlsson2016-11-231-7/+0
* | Merge branch 'maint'Hans Bolinder2016-11-231-16/+41
|\ \ | |/
| * dialyzer: Improve a warning messageHans Bolinder2016-11-221-9/+18
| * dialyzer: Correct a warnings messageHans Bolinder2016-11-221-7/+23
* | Use @ in variable names generated by core and kernelJosé Valim2016-09-261-0/+2
|/
* dialyzer: Suppress warns on generated case stmtsMagnus Lång2016-07-041-26/+36
* dialyzer: Minor adjustmentsHans Bolinder2016-06-091-2/+5
* dialyzer: Suppress unmatched_return for send/2Hans Bolinder2016-06-091-1/+5
* Fix a bug in Dialyzer related to call-site analysisStavros Aronis2016-06-081-8/+50
* dialyzer: Use maps instead of dictHans Bolinder2016-05-041-38/+37
* dialyzer_dataflow: Fix try in guardsMagnus Lång2016-04-281-2/+42
* dialyzer: Unfold cerl patterns containing mapsMagnus Lång2016-04-281-6/+18
* dialyzer_dataflow: Add map supportMagnus Lång2016-04-281-13/+117
* dialyzer_typesig: Add map supportMagnus Lång2016-04-281-1/+3
* Update DialyzerHans Bolinder2015-10-091-9/+19
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* Merge branch 'maint'Björn-Egil Dahlberg2015-03-181-0/+1
|\
| * dialyzer: Add missing clause for map in find_terminalsBjörn-Egil Dahlberg2015-03-171-0/+1
* | [dialyzer] Fix the conversion of forms to typesHans Bolinder2015-03-101-3/+5
* | dialyzer: Introduce module local suppression of warningsHans Bolinder2015-01-141-54/+95
* | Merge branch 'maint'Hans Bolinder2014-08-211-4/+14
|\ \ | |/
| * dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder2014-08-211-4/+14
* | Merge branch 'maint'Hans Bolinder2014-06-171-143/+107
|\ \ | |/
| * [dialyzer] Fix handling of literal recordsHans Bolinder2014-06-171-143/+107
* | Remove pre-defined types dict(), digraph(), &cHans Bolinder2014-05-051-2/+1
|/
* Dialyzer now plays nicely with funs that come as "external" argumentsStavros Aronis2014-03-281-22/+29
* Deprecate pre-defined built-in typesHans Bolinder2014-02-231-17/+32
* Merge branch 'bjorn/lc-warnings/OTP-11626'Björn Gustavsson2014-02-171-2/+12
|\
| * dialyzer: Silence useless warnings about list comprehensionsBjörn Gustavsson2014-02-051-2/+12
* | Add a spec for a function that does not returnKostis Sagonas2014-01-311-0/+3
|/
* dialyzer: Remove dead codeBjörn-Egil Dahlberg2014-01-291-22/+0
* dialyzer: Reflect map_pair core changes in dialyzerBjörn-Egil Dahlberg2014-01-291-12/+6
* dialyzer,hipe,stdlib: Add Maps understanding to DialyzerBjörn-Egil Dahlberg2014-01-281-2/+54
* [dialyzer] Re-work the handling of opaque typesHans Bolinder2014-01-211-513/+545
* Support non top level letrecs in dialyzerJosé Valim2013-12-121-6/+5
* Merge branch 'maint'Henrik Nord2012-10-031-45/+8
|\
| * Remove old untested experimental extensionStavros Aronis2012-09-261-45/+8
* | dialyzer: Do not output warnings for unused funsHans Bolinder2012-09-241-1/+1
|/
* Fix a bug in dialyzer_dataflowHans Bolinder2012-08-211-5/+9
* Fix types and specs in DialyzerStavros Aronis2012-05-211-158/+1
* Prepare for parallel dataflowStavros Aronis2012-05-211-3/+2
* Separate race related fields of callgraphStavros Aronis2012-05-211-0/+11
* Remove unused race detection related codeStavros Aronis2012-05-211-84/+58
* Simplification in dataflowStavros Aronis2012-05-211-21/+10
* Moving code between callgraph & dataflowStavros Aronis2012-05-211-15/+6
* Update copyright yearsBjörn-Egil Dahlberg2012-03-301-1/+1
* Fix bug related with infinitely looping functionsStavros Aronis2012-03-261-2/+12
* Cleanups in dialyzer_callgraph and dialyzer_dataflowStavros Aronis2012-02-221-3/+3
* Zero-arity unused functions Dialyzer patchStavros Aronis2012-02-221-30/+24
View Lorry Controller Status