13 Commits

Author	SHA1	Message	Date
Tom Hvitved	b0ee508f10	C#: Use shared SSA implementation for PreSsa	2021-02-23 14:06:27 +01:00
Tom Hvitved	2a8060102d	C#: Split up SSA implementation	2021-01-19 10:52:50 +01:00
Tom Hvitved	63f76b1b43	C#: Uniform treatment of all SSA definitions	2021-01-07 15:16:44 +01:00
Tom Hvitved	c571e42cd5	C#: Move internal CFG logic into separate file	2020-11-21 19:49:17 +01:00
Tom Hvitved	c5d9d74c0a	C#: Nested field flow	2019-08-23 09:25:05 +02:00
Tom Hvitved	3503e9b57e	C#: Move PreSsa module into own file	2019-02-05 14:27:09 +01:00
Tom Hvitved	390ebc96ae	C#: Autoformat QL files	2019-01-11 13:55:28 +01:00
Tom Hvitved	5879e58741	C#: Account for CFG splitting in AssignableDefinition::getAFirstRead() and AssignableRead::getANextRead()	2019-01-02 09:50:13 +01:00
Tom Hvitved	231465143d	C#: Autoformat QL tests	2018-12-20 10:19:59 +01:00
Tom Hvitved	3e78c2671f	C#: Generalize pre-SSA library to include local-scope-like fields/properties	2018-11-20 15:07:44 +01:00
Tom Hvitved	25150265dc	C#: Compute phi inputs in pre-SSA library ... Logic is copied directly from the ordinary SSA library.	2018-11-20 15:07:43 +01:00
Tom Hvitved	98db3f89c2	C#: Extend pre-SSA consistency tests	2018-10-11 13:59:06 +02:00
Tom Hvitved	a48d77f7b8	C#: Add internal PreSsa library	2018-09-28 14:59:38 +02:00