12 Commits

Author	SHA1	Message	Date
Tom Hvitved	8f1b2b3bb5	C#: Fix broken FlowSummariesFiltered test	2021-12-15 18:32:25 +01:00
Tom Hvitved	a9c438924e	C#: Introduce class Overridable ... The class `Overridable` generalizes the existing class `Virtualizable` by also including accessors. This allows for quite a bit of code to be simplified.	2021-12-14 10:52:13 +01:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Tom Hvitved	eca11f1b40	C#: Adjust getQualifiedName for type parameters	2021-06-17 14:47:19 +02:00
Tom Hvitved	0af44a7f94	C#: Changes to Type::{getQualifier,hasQualifiedName}	2021-06-16 19:36:05 +02:00
Tom Hvitved	0466e36985	C#: Teach Implements.qll about nested types	2020-05-06 09:25:40 +02:00
Tom Hvitved	f9ece0aefb	C#: Add implements test for nested types	2020-05-06 09:25:40 +02:00
Calum Grant	fe83bac0fb	C#: Fix up test output ... C#: Fix a qltest whereby a tuple type having multiple underlying types was causing an issue with the IR sanity checks. C#: Revert more changes. C#: Fix tests and remove dead code.	2019-11-12 13:40:58 +00:00
Tom Hvitved	231465143d	C#: Autoformat QL tests	2018-12-20 10:19:59 +01:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00