Michael Nebel eefe457c4b Merge pull request #10238 from michaelnebel/csharp/theoremsforfree ...

C#: Theorems for Free - Model generation

2022-09-20 09:30:10 +02:00

..

experimental

Merge branch 'main' into Token_validation

2022-09-02 09:00:55 -07:00

library-tests

C#: Add WithElement summary for Reverse and update expected test output.

2022-09-02 15:17:24 +02:00

query-tests

Merge pull request #9816 from erik-krogh/msgConsis

2022-08-25 15:20:01 +02:00

resources

Merge pull request #9923 from michaelnebel/csharp/webgoat

2022-08-15 13:22:25 +02:00

shared

C#: Move NegativeSummary.qll to the internal folder.

2022-08-24 09:58:53 +02:00

TestUtilities

Use hasLocationInfo to match several Location fields at once

2022-08-19 19:03:17 +01:00

utils/model-generator

C#: Update test expected output.

2022-09-14 11:06:24 +02:00

.gitignore

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

.project

Normalize all text files to LF

2018-09-23 16:24:31 -07:00

.qlpath

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

format.json

Allow mixed whitespace in C#, C++, and Java test sources

2018-11-08 11:06:42 -08:00

qlpack.lock.yml

Packaging: Normalize all qlpack.yml files for all languages

2021-09-03 11:53:28 -07:00

qlpack.yml

Add groups property

2021-11-29 14:15:53 -05:00

queries.xml

C#: Add test for getLabel()

2019-03-04 13:21:10 +01:00