7 Commits

Author	SHA1	Message	Date
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