Mathias Vorreiter Pedersen a4c0063ab1 Merge pull request #13679 from MathiasVP/speedup-big-step ...

DataFlow: Speed up the big step relation

2023-07-11 09:44:17 +01:00

..

.vscode

…

actions/create-extractor-pack

C#: Update project targets, workflows and other scripts to use .NET 7.

2023-01-31 13:20:59 +01:00

autobuilder

C#: Add new lines before call to action

2023-03-15 12:00:47 +00:00

config/suites/lgtm

C#: Remove legacy odasa support

2022-03-09 09:19:37 +01:00

documentation/library-coverage

Add changed framework coverage reports

2023-06-15 00:18:04 +00:00

downgrades

C#: Enable implicit this warnings for remaining packs

2023-06-27 11:27:16 +02:00

extractor

C#: Add missing parameter to interface

2023-07-07 16:10:41 +02:00

old-change-notes

spelling: implicitly

2022-10-19 03:49:16 -04:00

ql

Merge pull request #13679 from MathiasVP/speedup-big-step

2023-07-11 09:44:17 +01:00

scripts

Correctly select dotnet platform on arm-based macs

2023-02-16 11:07:37 +00:00

tools

C#: Address review comments.

2023-06-08 08:51:21 +02:00

.editorconfig

…

.gitignore

C#: Add workflow for running QL tests

2022-11-22 09:32:44 +01:00

codeql-extractor.yml

Specify language names in extractor packs

2022-12-23 13:15:04 +00:00

CSharp.sln

…

fix-whitespaces.sh

…