11 Commits

Author	SHA1	Message	Date
Michael Nebel	9ea320c53c	Update all PrintAst.qlref to point to new location of PrintAst.ql	2021-11-11 15:19:15 +01:00
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tamas Vajk	c069c3384e	Fix tests	2021-04-08 12:07:36 +02:00
Tom Hvitved	6d6150d051	C#: Change some data-flow toString()s	2021-03-23 16:42:58 +01:00
Tamas Vajk	27048191c8	C#: Add dataflow test for tuple-positional pattern	2021-03-12 17:14:24 +01:00
Tamas Vajk	0defad77dd	C#: Add tuple data flow in patterns	2021-03-09 09:14:24 +01:00
Tom Hvitved	80a7b52f38	C#: Convert data-flow test queries to path-problems	2021-03-09 09:14:24 +01:00
Tom Hvitved	0698bdd907	C#: Restrict tuple read/store steps to tuple deconstructions/constructions	2021-03-09 09:14:24 +01:00
Tamas Vajk	d05a733109	Add more test cases	2021-03-09 09:14:23 +01:00
Tamas Vajk	0ca4bf4267	C#: WIP: Add tuple data flow	2021-03-09 09:14:23 +01:00