8 Commits

Author	SHA1	Message	Date
Tom Hvitved	4f4d9d35be	C#: Add more nullness tests	2020-07-30 12:15:49 +02:00
Tom Hvitved	51d093add0	C#: Address review comments	2019-06-25 17:01:48 +02:00
Tom Hvitved	fce805834e	C#: Address review comments	2018-12-07 09:40:49 +01:00
Tom Hvitved	80144a00c8	C#: Update nullness analyses ... Port the SSA-based logic from the Java nullness analyses.	2018-11-30 17:41:31 +01:00
Tom Hvitved	d2a431e6f3	C#: Add more nullness tests ... Port many of the nullness test from Java, as well as add new tests.	2018-11-30 17:02:05 +01:00
Tom Hvitved	5921a9ea51	C#: Teach guards library about assertions	2018-11-08 20:21:34 +01:00
Tom Hvitved	b233961a9a	C#: Add assertion tests	2018-10-19 14:05:30 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00