15 Commits

Author	SHA1	Message	Date
Tamas Vajk	ffc2a64750	C#: do not discard duplicate trapfiles for compilation parameter extraction	2020-10-16 09:52:21 +02:00
Tamas Vajk	2e350caf9f	C#: Fix private field and local variable naming	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	e73ced2275	C#: Add sealed modifier to classes to fix dispose-pattern, remove explicit IDisposable implementations	2020-10-13 13:27:46 +02:00
Tamas Vajk	0c9aaa3dce	C#: Remove unused parameters	2020-10-13 13:27:45 +02:00
Tamas Vajk	36ddbcdd71	C#: Reenable disabled test on OSX	2020-10-06 11:41:48 +02:00
Tom Hvitved	b6d93ae81d	Merge remote-tracking branch 'upstream/rc/1.25' into merge-rc-1.25	2020-09-22 09:35:39 +02:00
Tom Hvitved	37f1ce3122	C#: Implement support for path transformers	2020-09-07 15:02:50 +02:00
Tamás Vajk	dc62cd166c	C#: Enable nullability checks in Semmle.Extraction.Tests (#4112)	2020-08-25 08:40:30 +02:00
Tom Hvitved	e08e7cdf34	C#: Fix a few alerts	2020-07-30 16:03:36 +02:00
Calum Grant	7df90f13ed	C#: Address review comments. Tidy up tuple generation, consolidating code and use run-time type information instead of FirstParam/NextParam.	2019-08-30 10:11:01 +01:00
Calum Grant	40f56ff4b3	C#: Code tidy. Rename variables, delete dead code, format whitespace, improve comments.	2019-08-30 10:11:01 +01:00
Calum Grant	685c494bcb	C#: Make the trap compression algorithm configurable.	2019-08-30 10:11:00 +01:00
Calum Grant	e41e8d6547	C#: Remove ITrapBuilder in favour of TextWriter.	2019-08-30 10:00:06 +01:00
calum	103d140e71	C#: Migrate extractor to this repository.	2018-10-10 14:40:52 +01:00