Tom Hvitved b6d93ae81d Merge remote-tracking branch 'upstream/rc/1.25' into merge-rc-1.25

2020-09-22 09:35:39 +02:00

..

Entities

Merge remote-tracking branch 'upstream/rc/1.25' into merge-rc-1.25

2020-09-22 09:35:39 +02:00

PDB

C#: Enable nullability checks on Semmle.Extraction.CIL

2020-08-20 16:46:42 +02:00

Properties

C#: Migrate extractor to this repository.

2018-10-10 14:40:52 +01:00

CachedFunction.cs

C#: Enable nullability checks on Semmle.Extraction.CIL

2020-08-20 16:46:42 +02:00

Context.cs

Merge remote-tracking branch 'upstream/rc/1.25' into merge-rc-1.25

2020-09-22 09:35:39 +02:00

ExtractionProduct.cs

C#: Code tidy. Rename variables, delete dead code, format whitespace, improve comments.

2019-08-30 10:11:01 +01:00

Factories.cs

Merge remote-tracking branch 'upstream/rc/1.25' into merge-rc-1.25

2020-09-22 09:35:39 +02:00

Id.cs

C#: Compare CIL entities directly by handle rather than by label.

2019-08-30 10:11:00 +01:00

Semmle.Extraction.CIL.csproj

C#: Enable nullability checks on Semmle.Extraction.CIL

2020-08-20 16:46:42 +02:00

Tuples.cs

C#: Extract metadata handle information.

2018-12-19 15:22:53 +00:00