Michael Nebel 6840a6dafe C#: Re-factor NeutralCallable to include all neutrals and introduce NeutralSummaryCallable. Also include printing of the neutral kind in FlowSummaries testcase.

2023-08-21 09:59:00 +02:00

..

asp

delete old deprecations

2023-06-02 11:58:08 +02:00

cil

delete old deprecations

2023-06-02 11:58:08 +02:00

csharp

C#: Re-factor NeutralCallable to include all neutrals and introduce NeutralSummaryCallable. Also include printing of the neutral kind in FlowSummaries testcase.

2023-08-21 09:59:00 +02:00

dotnet

C#: Avoid combinatorial explosions in GVN construction for types

2023-06-27 10:08:53 +02:00