Mathias Vorreiter Pedersen 80630972b1 Merge branch 'main' into public-iterated-dominance-frontier

2022-03-24 12:50:29 +00:00

..

.vscode

C#: Remove unneeded vscode settings from settings.json

2020-10-13 14:50:46 +02:00

autobuilder

Address review comment

2022-03-09 09:19:37 +01: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

2022-01-07 00:10:30 +00:00

downgrades

C#: delete externalData.rel in downgrade script

2022-02-14 12:25:32 +00:00

extractor

C#: Remove legacy odasa support

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

old-change-notes

Move older change notes to old-change-notes

2021-12-14 12:35:04 -05:00

ql

Merge branch 'main' into public-iterated-dominance-frontier

2022-03-24 12:50:29 +00:00

tools

Remove macos compatibility stanzas from tracing config.

2021-11-08 11:30:31 +01:00

.editorconfig

C#: Add editor config naming rules

2020-10-13 14:45:37 +02:00

.gitignore

Add launch.json to gitignore

2020-08-18 09:23:38 +02:00

codeql-extractor.yml

C#: Add pattern that only accepts 'true' and 'false' as the buildless option.

2022-03-02 14:28:21 +01:00

CSharp.sln

C#: Factor C++ parts out of autobuilder

2020-07-01 20:06:46 +02:00

fix-whitespaces.sh

C#: Fix whitespaces

2018-11-07 08:52:38 +01:00