Tom Hvitved 9438885776 Merge pull request #216 from github/hvitved/synthesis-location ...

AST synthesis: Move location information into a separate predicate

2021-06-23 16:50:17 +02:00

..

ast

AST synthesis: Move location information into a separate predicate

2021-06-23 08:46:07 +02:00

controlflow/graph

AST synthesis: Move location information into a separate predicate

2021-06-23 08:46:07 +02:00

dataflow

Data flow: Call-sensitive resolution of lambda/block calls

2021-06-04 12:58:38 +02:00

frameworks

model some ActionController user input sources (params)

2021-06-23 14:11:38 +01:00

modules

Dataflow for implicit self argument of methods

2021-05-20 14:27:13 +02:00

variables

Disambiguate toStrings for nested synthetic local variables

2021-06-04 19:20:11 +02:00