Anders Schack-Mulligen
|
88fe0f089e
|
C#: Fix expected output.
|
2023-06-12 13:17:55 +02:00 |
|
Anders Schack-Mulligen
|
f8ff575ff0
|
C#: Fix bugs in misc models.
|
2023-06-12 11:37:57 +02:00 |
|
Jami Cogswell
|
9abe3e3da4
|
Shared: use a module as input to 'KindValidation'
|
2023-06-09 14:35:37 -04:00 |
|
Anders Schack-Mulligen
|
2ecce575a9
|
C#: Fix types of summary parameter nodes.
|
2023-06-09 15:39:28 +02:00 |
|
Anders Schack-Mulligen
|
98f51d7f29
|
Dataflow: Sync.
|
2023-06-09 15:39:28 +02:00 |
|
Anders Schack-Mulligen
|
6020e4d0e3
|
C#/Go/Python/Ruby/Swift: Fix some more references.
|
2023-06-09 15:30:38 +02:00 |
|
Anders Schack-Mulligen
|
5e6031724a
|
C#: Adjust to FlowSummaryImpl changes.
|
2023-06-09 15:27:17 +02:00 |
|
Anders Schack-Mulligen
|
2cc5bde925
|
Dataflow: Sync.
|
2023-06-09 15:27:17 +02:00 |
|
Michael Nebel
|
5510d050c1
|
C#: Synthetic names only needs to rely on the output stack.
|
2023-06-09 11:40:04 +02:00 |
|
Michael Nebel
|
7620c051d3
|
C#: Remove the savechanges origin name from the synthetic name (this is not needed).
|
2023-06-09 09:15:45 +02:00 |
|
Anders Schack-Mulligen
|
68f1e40370
|
Java/C#: Add change notes.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
d230509905
|
Dataflow: Address review comments.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
4399138c82
|
Dataflow: Fix QL4QL alert.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
53f2b8aab0
|
Dataflow: Sync.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
21dea62e99
|
C#: Fix qltests.
|
2023-06-09 08:37:35 +02:00 |
|
Anders Schack-Mulligen
|
96c1b5b0a9
|
C#: Enable type strengthening.
|
2023-06-09 08:37:35 +02:00 |
|
Anders Schack-Mulligen
|
e8cea79f1d
|
Dataflow: Sync.
|
2023-06-09 08:37:35 +02:00 |
|
Jami Cogswell
|
da58b2afc8
|
Shared: move shared file to 'shared' folder and add parameterized module for 'getInvalidModelKind'
|
2023-06-08 20:05:27 -04:00 |
|
github-actions[bot]
|
e4be303a23
|
Release preparation for version 2.13.4
|
2023-06-08 19:57:37 +00:00 |
|
Michael Nebel
|
2a1c0e8ba6
|
C#: Re-factor.
|
2023-06-08 19:02:07 +02:00 |
|
Michael B. Gale
|
a961fffda8
|
Pass architecture to dotnet test
|
2023-06-08 16:51:57 +01:00 |
|
Tom Hvitved
|
a896be7eb8
|
Merge pull request #13387 from michaelnebel/csharp/dotnettest
C#: Dotnet test tracer improvements.
|
2023-06-08 14:05:29 +02:00 |
|
Mathew Payne
|
8052b35e62
|
Merge branch 'main' into csharp-ext
|
2023-06-08 10:58:02 +01:00 |
|
Mathew Payne
|
c493e276ec
|
Update MaD sink kinds from main
|
2023-06-08 10:57:12 +01:00 |
|
Michael Nebel
|
2fece9d721
|
C#: Add MSTEST test project and check that the call to vstest doesn't get the UseSharedCompilation=false flag forwarded.
|
2023-06-08 10:01:00 +02:00 |
|
Erik Krogh Kristensen
|
6ba7f9a238
|
Merge pull request #13352 from erik-krogh/once-again-deps-not-py-cpp
delete old deprecations
|
2023-06-07 13:00:57 +02:00 |
|
Michael Nebel
|
d4d571e435
|
C#: Better change note.
Co-authored-by: Michael B. Gale <mbg@github.com>
|
2023-06-07 12:44:36 +02:00 |
|
Michael Nebel
|
3eb3178ba5
|
C#: Add change note.
|
2023-06-07 12:43:31 +02:00 |
|
Michael Nebel
|
5c9b0b9b76
|
C#: Address review comments.
|
2023-06-07 12:43:31 +02:00 |
|
Michael Nebel
|
0f010afce1
|
C#: Add dotnet test that targets dll.
|
2023-06-06 16:53:26 +02:00 |
|
Jami Cogswell
|
5a23421d9a
|
Shared: minor updates to comments
|
2023-06-05 13:46:56 -04:00 |
|
Jami Cogswell
|
7a4b74dd6a
|
C#: fix typo with outdated sink msg location
|
2023-06-05 13:21:39 -04:00 |
|
Jami Cogswell
|
6c46cd9c21
|
Java/C#/Go/Swift: move 'SharedModelValidation.qll' to internal folder
|
2023-06-05 13:11:08 -04:00 |
|
Jami Cogswell
|
9d5972acc2
|
Shared: update qldocs
|
2023-06-05 12:18:34 -04:00 |
|
Jami Cogswell
|
3f1dc8e5c7
|
Shared: add outdated Swift sink kinds
|
2023-06-05 12:18:34 -04:00 |
|
Jami Cogswell
|
62ac0dc471
|
Shared: add outdated sink kind msg to 'getInvalidModelKind' for all languages
|
2023-06-05 12:18:33 -04:00 |
|
Jami Cogswell
|
76f5dca861
|
Shared: move 'OutdatedSinkKind' to shared file and add outdated JS and C# sink kinds
|
2023-06-05 12:18:33 -04:00 |
|
Jami Cogswell
|
7b629f5d63
|
Shared: include 'qltest%' and 'test-%'
|
2023-06-05 12:18:33 -04:00 |
|
Jami Cogswell
|
615f2a573b
|
Java/C#/Go/Swift: remove commented-out code
|
2023-06-05 12:18:33 -04:00 |
|
Jami Cogswell
|
7317c29eea
|
Shared: update kind information
|
2023-06-05 12:18:33 -04:00 |
|
Jami Cogswell
|
79f61cc645
|
Java/C#/Go/Swift: use 'SharedModelValidation' file
|
2023-06-05 12:18:33 -04:00 |
|
Jami Cogswell
|
ddb5d92ef8
|
Shared: add source, summary, and neutral shared valid kinds
|
2023-06-05 12:18:33 -04:00 |
|
Jami Cogswell
|
869f820fcf
|
Shared: add 'SharedModelValidation' file as experiment
|
2023-06-05 12:18:33 -04:00 |
|
Nick Rolfe
|
dadb5b34e6
|
C#: avoid call to Location::toString() in cs/expose-implementation
|
2023-06-05 10:19:27 +01:00 |
|
Nick Rolfe
|
79b3a8c955
|
C#: avoid call to Location::toString()
|
2023-06-02 19:39:24 +01:00 |
|
Jeroen Ketema
|
5f64354a70
|
Merge pull request #13353 from jketema/expecation
Fix typo in spelling of expectation
|
2023-06-02 12:29:49 +02:00 |
|
erik-krogh
|
ac9ede4ec0
|
add change-notes
|
2023-06-02 11:58:11 +02:00 |
|
erik-krogh
|
3dfe2b30b1
|
C#: delete override where the parent predicate no longer existed
|
2023-06-02 11:58:08 +02:00 |
|
erik-krogh
|
44b6366586
|
delete old deprecations
|
2023-06-02 11:58:08 +02:00 |
|
Michael Nebel
|
3a3f9a2655
|
Merge pull request #13298 from michaelnebel/csharp/paramdefaultimplicitconversion
C#: Extract default parameter values.
|
2023-06-02 10:52:24 +02:00 |
|