13 Commits

Author	SHA1	Message	Date
Michael Nebel	cac1e04de8	C#: Improve unification logic to handle ref structs.	2025-01-03 16:27:00 +01:00
Tom Hvitved	6ad8a4db1c	C#: Only use getTypeRef when there is not already a type available	2023-10-27 14:11:55 +02:00
Tom Hvitved	7611bfb149	C#: Apply closed-world assumption for type-parameter qualifiers in dynamic calls	2023-08-29 11:27:45 +02:00
Tom Hvitved	160771e673	C#: Avoid combinatorial explosions in GVN construction for types	2023-06-27 10:08:53 +02:00
Tony Torralba	2ca0df0369	C#: Remove omittable exists variables	2023-01-10 13:36:25 +01:00
Nick Rolfe	a50601c367	C#: fix typos in comments	2022-05-12 14:28:40 +01:00
Tom Hvitved	0c9ca4546c	C#: Avoid overlap for () and System.ValueTuple in unification library	2021-12-17 13:13:36 +01:00
Erik Krogh Kristensen	a358a192c4	add explicit this to all calls to class predicates	2021-10-14 10:11:55 +02:00
Tom Hvitved	764a987b09	C#: Speedup GVN string concats by pulling ranges into separate predicates	2021-10-07 13:51:05 +02:00
Tom Hvitved	b9c4abe7dc	C#: Fix qldoc typos	2021-09-20 10:42:01 +02:00
Tom Hvitved	c6c1ad1b90	C#: Update toString for nested types	2021-09-18 19:51:37 +02:00
Tom Hvitved	07fe29cc67	C#: Speedup type subsumption calculation	2021-09-18 19:51:37 +02:00
Andrew Eisenberg	c9f1c98390	Packaging: C# refactoring ... Split c# pack into `codeql/csharp-all` and `codeql/csharp-queries`.	2021-08-19 14:09:35 -07:00