11 Commits

Author	SHA1	Message	Date
Tom Hvitved	d405284d36	C#: Make CFG library shared	2021-08-25 11:35:11 +02:00
Tom Hvitved	182b2d0457	C#: Improve CFG for constructors when there are multiple implementations	2021-05-03 10:46:36 +02:00
Tom Hvitved	c3890a9435	C#: Adjust CFG for instance constructors	2021-04-29 14:05:42 +02:00
Tom Hvitved	94deed39a2	C#: Represent all expressions in post-order in the CFG	2020-11-12 20:04:48 +01:00
Tom Hvitved	6723e5b31c	C#: Restrict post-dominance to normal execution	2020-10-30 09:14:12 +01:00
Tom Hvitved	51f71d4e1d	C#: Fix CFG for assertions with multiple assertion arguments	2020-10-29 15:44:13 +01:00
Tom Hvitved	5cd707f17e	C#: Add CFG test for assertion with multiple assertion arguments	2020-10-29 15:44:13 +01:00
Tom Hvitved	c7f776984f	C#: Add CFG tests for callables with multiple implementations	2020-09-02 10:52:05 +02:00
Tom Hvitved	090205d9e9	C#: Add CFG test for conditional call to method with out parameter	2020-07-02 13:09:40 +02:00
Calum Grant	fdc8abce4d	C#: Fix CFG by removing unnecessary edge.	2019-09-20 14:22:31 +01:00
Tom Hvitved	16f40fd45a	C#: Consolidate CFG tests	2019-08-23 15:25:01 +02:00