15 Commits

Author	SHA1	Message	Date
Nick Rolfe	060060bc0b	Merge remote-tracking branch 'origin/main' into getPrimaryQlClasses	2021-09-06 19:34:34 +01:00
Tom Hvitved	4677a0832f	Adopt shared CFG library	2021-08-31 13:42:41 +02:00
Arthur Baars	ac2c315839	Fix merge conflicts during rebase	2021-08-26 18:48:53 -04:00
Arthur Baars	17fc6ab72c	Refactor into separate library and query packs	2021-08-26 18:40:06 -04:00
Nick Rolfe	5e783e4798	Implement getPrimaryQlClasses	2021-08-24 14:49:56 +01:00
Tom Hvitved	00e544189e	Data flow: Add consistency queries	2021-06-17 10:26:56 +02:00
Tom Hvitved	908e9ff3b5	Include desugared node in AstDesugar.ql	2021-06-03 14:46:32 +02:00
Tom Hvitved	ff06e724b1	AST synthesis framework	2021-05-12 19:58:52 +02:00
Arthur Baars	190978cc56	AST: add consistency query	2021-02-24 19:07:16 +01:00
Tom Hvitved	b9b4325b84	Add initial mapping of CFG nodes to AST nodes	2021-01-27 15:38:49 +01:00
Tom Hvitved	2077ba4a1f	Add SSA library	2021-01-27 10:39:19 +01:00
Tom Hvitved	59d45de118	Move AST files into ast folder	2020-11-27 14:45:15 +01:00
Tom Hvitved	00f3daabfe	Rename Variables.qll to Variable.qll	2020-11-27 14:39:20 +01:00
Arthur Baars	290d3decc8	Add consistency query for Variables ... Test that VariableAccess.getVariable returns a unique Variable	2020-11-24 19:19:15 +01:00
Tom Hvitved	4dd4373b53	Initial CFG skeleton code	2020-11-18 20:12:42 +01:00