Tom Hvitved fdd787b89c Merge pull request #7658 from hvitved/csharp/dataflow/no-negative-positions ...

C#: Get rid of negative parameter/argument data-flow positions

2022-01-25 09:01:44 +01:00

..

async

C#: Adjust qltest expected output.

2022-01-18 10:36:52 +01:00

call-sensitivity

C#: Adjust qltest expected output.

2022-01-18 10:36:52 +01:00

callablereturnsarg

C#: Change generic method names to include <> and type args/params

2021-09-06 11:48:22 +02:00

collections

C#: Adjust qltest expected output.

2022-01-18 10:36:52 +01:00

defuse

C#: Split up SSA implementation

2021-01-19 10:52:50 +01:00

delegates

C#: Rework flow summary implementation

2021-03-24 11:27:01 +01:00

external-models

C#: Replace Argument[-1] with Argument[Qualifier] in all flow summaries

2022-01-19 18:54:24 +01:00

fields

C#: Add flow test case for with expressions on anonymous types.

2022-01-20 13:14:06 +01:00

flowsources

Add adjusted expected files

2021-07-01 16:09:11 +02:00

functionpointers

Data flow: Move C# lambda flow logic into shared library

2021-03-16 13:49:32 +01:00

global

C#: Adjust qltest expected output.

2022-01-18 10:36:52 +01:00

library

C#: Replace Argument[-1] with Argument[Qualifier] in all flow summaries

2022-01-19 18:54:24 +01:00

local

C#: Update expected test output

2021-11-17 10:49:49 +01:00

modulusanalysis

Add adjusted expected files

2021-07-01 16:09:11 +02:00

signanalysis

C#: Change generic method names to include <> and type args/params

2021-09-06 11:48:22 +02:00

ssa

C#: Promote existing ad-hoc consistency checks to consistency queries

2021-12-22 13:05:58 +01:00

ssa-large

C#: Autoformat.

2020-01-29 13:15:00 +01:00

tuples

C#: Deprecate Record and introduce RecordClass instead. Also make flow summary support for record struct constructors.

2022-01-17 16:16:18 +01:00

types

C#: Adjust qltest expected output.

2022-01-18 10:36:52 +01:00