10 Commits

Author	SHA1	Message	Date
Tamas Vajk	bd2b3e72f8	C#: Use covariant return for context overrides	2021-03-03 14:35:07 +01:00
Tamas Vajk	61e952766c	Convert CIL.GenericContext to interface	2021-02-16 09:10:24 +01:00
Tamas Vajk	9ab930f812	C#: Remove marker interfaces from CIL extraction	2020-12-01 16:06:13 +01:00
Tamas Vajk	df28544020	C#: Separate all classes to dedicated files in CIL extractor	2020-12-01 15:20:02 +01:00
Tamas Vajk	7075c6f8ca	C#: Fix public property naming	2020-10-13 14:45:38 +02:00
Tamas Vajk	aec4481cfb	C#: Use var everywhere	2020-10-13 14:45:37 +02:00
Tamas Vajk	7d544e34af	C#: Add declaration visibility modifiers	2020-10-13 14:45:37 +02:00
Tamas Vajk	ec63acfb0c	C#: Inline out variable declarations	2020-10-13 13:27:45 +02:00
Tamas Vajk	9cdee63ed7	C#: Enable nullability checks on Semmle.Extraction.CIL	2020-08-20 16:46:42 +02:00
calum	103d140e71	C#: Migrate extractor to this repository.	2018-10-10 14:40:52 +01:00