15 Commits

Author	SHA1	Message	Date
Tom Hvitved	ab85b2c2d2	C#: Add is not null guards test	2021-01-25 13:52:17 +01:00
Tom Hvitved	1a93090778	C#: Improve guards SSA logic in the context of control-flow splitting	2020-10-02 18:00:34 +02:00
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Calum Grant	359dea2c2b	C#: Fixed test output.	2020-01-07 18:39:52 +00:00
Calum Grant	a1bedf2e06	C#: Use expression flow state to determine non-null guards	2020-01-07 18:39:51 +00:00
Calum Grant	2eb29224e8	C#: Update guards tests.	2020-01-07 18:39:51 +00:00
Tom Hvitved	c68dfb9d68	C#: Switch expression guards	2019-05-29 13:50:42 +02:00
Tom Hvitved	16d3399039	C#: Teach guards library about object.GetType()	2019-01-29 16:40:36 +01:00
Tom Hvitved	a12a72e90f	C#: Fix bug in guards library when the guarded expression is in a loop ... Follow-up on 03e69e9945.	2018-11-29 15:53:03 +01:00
Tom Hvitved	03e69e9945	C#: Make guards library work with CFG splitting	2018-11-23 15:20:33 +01:00
Tom Hvitved	228189db5a	C#: Add tests for guards inside split CFG blocks	2018-11-23 15:20:27 +01:00
Tom Hvitved	e4aa196c37	C#: Teach guards library about custom null guards	2018-11-08 20:21:34 +01:00
Tom Hvitved	5921a9ea51	C#: Teach guards library about assertions	2018-11-08 20:21:34 +01:00
Tom Hvitved	603c3d6a43	C#: Teach null-guards library about pattern matching	2018-10-15 10:55:16 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00