8 Commits

Author	SHA1	Message	Date
Tom Hvitved	027cb2d335	C#: Reenable consistency check	2023-05-15 09:36:37 +02:00
Michael Nebel	75ea449147	C#: Only include source code nodes in the identity local step consistency check.	2023-05-11 10:49:39 +02:00
Mathias Vorreiter Pedersen	177dd76da6	C#: Accept consistency changes.	2023-05-03 20:30:06 +01:00
Tom Hvitved	64f13fa08f	C#: Exclude call inside static field initializers from consistency check	2023-03-16 08:40:53 +01:00
Michael Nebel	a36bba94f1	C#: Base the getAPostUpdateNote predicate purely on cfg.	2022-09-28 14:35:49 +02:00
Michael Nebel	c07c10a808	C#: Address review comments.	2022-09-28 14:35:09 +02:00
Michael Nebel	2d0a377b7a	C#: Update dataflow consistency queries to cater for non unique post and pre unique update notes for conditional branches.	2022-09-28 14:35:09 +02:00
Tom Hvitved	40043f13c6	C#: Enable data-flow consistency queries	2021-12-17 13:13:36 +01:00