1957 Commits

Author	SHA1	Message	Date
Tom Hvitved	a705b3afa5	C#: Generic control flow graph splitting ... Refactor existing logic for splitting control flow nodes belonging to a `finally` block. A `Split` defines (1) when to enter the split, (2) when to stay in the split, and (3) when to leave the split. With only these definitions, control flow splitting is achieved by tagging each control flow element with the set of splits that apply to it.	2018-08-20 13:04:29 +02:00
Tom Hvitved	1365761f72	C#: Change toString() for FinallySplitControlFlowNode	2018-08-20 09:41:54 +02:00
Tom Hvitved	0edd0057fc	C#: Do not use @kind graph in ql tests	2018-08-17 17:55:13 +02:00
Tom Hvitved	f7a515c8e9	C#: Prune CFG for obviously impossible nullness/matching edges	2018-08-06 13:45:23 -07:00
Tom Hvitved	9a1e148e85	C#: Various minor CFG bug fixes	2018-08-06 13:45:23 -07:00
Tom Hvitved	b161ff195b	C#: Additional CFG tests	2018-08-06 13:45:23 -07:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00