Paolo Tranquilli
|
7fb0e212b2
|
Make default refs valid on PR checks
Set default versions for ripunzip and openssl in the workflow.
|
2025-11-10 10:09:16 +01:00 |
|
Paolo Tranquilli
|
2ff4af9ede
|
Update default versions in build-ripunzip.yml
|
2025-11-10 09:56:52 +01:00 |
|
Paolo Tranquilli
|
cd3b29f249
|
Update OS versions in ripunzip workflow
|
2025-11-10 09:54:10 +01:00 |
|
Paolo Tranquilli
|
63a2088ae0
|
Add pull_request trigger for ripunzip workflow
|
2025-11-10 09:53:19 +01:00 |
|
Paolo Tranquilli
|
fe690c90d5
|
Fix typo in workflow name
|
2025-11-10 09:52:14 +01:00 |
|
Paolo Tranquilli
|
da966fc799
|
CI: remove deprecated macos-13 image
|
2025-11-10 09:50:43 +01:00 |
|
Tom Hvitved
|
74dd515c67
|
Merge pull request #20790 from hvitved/codegen/raw-child
Codegen: Add `Raw::getImmediateChild` and `Synth::getSynthParent`
|
2025-11-10 09:14:16 +01:00 |
|
Tom Hvitved
|
a8a799c919
|
Swift: Run codegen
|
2025-11-09 20:41:26 +01:00 |
|
Tom Hvitved
|
0bf458a56f
|
Rust: Run codegen
|
2025-11-09 20:40:13 +01:00 |
|
Tom Hvitved
|
d77b35c5d2
|
Codegen: Add Raw::getImmediateChild and Synth::getSynthParent
|
2025-11-09 20:39:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
dfdc2a6a15
|
C++: Delete an incorrect comment.
|
2025-11-08 16:45:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
3d6b3a31ac
|
C++: Also join on the 'namespace'.
|
2025-11-08 16:45:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
bfe2b7dc44
|
C++: Use the new predicate to remove a cartesian-like join.
|
2025-11-08 16:43:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
a922d5099f
|
C++: Factor out some conjuncts from 'interpretElement0' and into a new predicate.
|
2025-11-08 16:42:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
74b774eec5
|
Merge pull request #20769 from MathiasVP/add-more-flow-models
C++: Add a few more models
|
2025-11-08 16:39:29 +00:00 |
|
Michael B. Gale
|
dbadb6f738
|
Merge pull request #20781 from github/post-release-prep/codeql-cli-2.23.4
Post-release preparation for codeql-cli-2.23.4
|
2025-11-07 19:07:21 +00:00 |
|
github-actions[bot]
|
10ae374a82
|
Post-release preparation for codeql-cli-2.23.4
|
2025-11-07 18:18:09 +00:00 |
|
Michael B. Gale
|
714296bcc0
|
Merge pull request #20778 from github/release-prep/2.23.4
Release preparation for version 2.23.4
|
2025-11-07 17:52:45 +00:00 |
|
Michael B. Gale
|
0cbc9358de
|
Revert C++ range analysis change note
|
2025-11-07 17:39:40 +00:00 |
|
Michael B. Gale
|
262bfe0351
|
C#: Minor changelog improvements
|
2025-11-07 17:39:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
6a2debba96
|
C++: Fix bad magic.
|
2025-11-07 17:38:18 +00:00 |
|
github-actions[bot]
|
6342da9503
|
Release preparation for version 2.23.4
|
2025-11-07 17:37:29 +00:00 |
|
Michael B. Gale
|
eb32c32d4c
|
Merge pull request #20777 from github/revert-20745-release-prep/2.23.4
Revert "Release preparation for version 2.23.4"
|
2025-11-07 17:35:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
56b9566299
|
C++: Fix mistakes in models of internal strcat and strcpy functions.
|
2025-11-07 17:29:48 +00:00 |
|
Michael B. Gale
|
9d2206be33
|
Merge pull request #20775 from github/esteffin/revert-20645-cpp-range-analysis-measure
Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-m…
|
2025-11-07 17:29:15 +00:00 |
|
Michael B. Gale
|
6ce8f07290
|
Revert "Release preparation for version 2.23.4"
|
2025-11-07 17:28:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
f163d015d5
|
C++: Clean up comments.
|
2025-11-07 17:27:25 +00:00 |
|
Enrico Steffinlongo
|
e7c029ae7d
|
Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
This reverts commit a0a6f288b5, reversing
changes made to 32f21d6d49.
|
2025-11-07 16:49:47 +00:00 |
|
Rasmus Wriedt Larsen
|
3c20b950a0
|
Merge pull request #20747 from felickz/patch-4
Add 'code-quality-extended' to query packs list
|
2025-11-07 14:25:54 +01:00 |
|
Idriss Riouak
|
7c2b1a291d
|
Merge pull request #20760 from github/idrissrio/codeowners-lang-coverage
CODEOWNERS: Add code-scanning-language-coverage team to all extractors
|
2025-11-07 08:44:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
f0da0d98a2
|
C++: Add a few more models I noticed while here.
|
2025-11-06 17:00:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b6a75f4ad
|
C++: Accept test changes.
|
2025-11-06 16:57:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
1d5d272822
|
C++: Add a few more models.
|
2025-11-06 16:55:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
0607100310
|
C++: Add tests with missing flow.
|
2025-11-06 16:54:54 +00:00 |
|
Tom Hvitved
|
000f33fcbf
|
Merge pull request #20765 from hvitved/rust/variable-if-let-guard
Rust: Handle variables introduced in if-let guards
|
2025-11-06 13:49:38 +01:00 |
|
Idriss Riouak
|
0d76d582b5
|
CODEOWNERS: Add Go-related folders for extractor and autobuilder
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2025-11-06 11:12:53 +01:00 |
|
Geoffrey White
|
b4b444de48
|
Merge pull request #20746 from geoffw0/mv3
Rust: Clean up some models
|
2025-11-06 10:07:43 +00:00 |
|
Geoffrey White
|
680870dbf3
|
Rust: Fix after merge.
|
2025-11-06 09:39:51 +00:00 |
|
Tom Hvitved
|
f8cde74eac
|
Merge pull request #20736 from github/copilot/add-constaccess-class
Rust: Add ConstAccess class with getConst() predicate
|
2025-11-06 10:25:06 +01:00 |
|
Geoffrey White
|
1ce787a185
|
Merge branch 'main' into mv3
|
2025-11-06 09:23:01 +00:00 |
|
Tom Hvitved
|
c80301d58a
|
Rust: Handle variables introduced in if-let guards
|
2025-11-05 19:46:54 +01:00 |
|
Geoffrey White
|
1e7acc5e1a
|
Merge branch 'main' into copilot/add-secure-cookie-test-cases
|
2025-11-05 17:53:02 +00:00 |
|
Jeroen Ketema
|
5eac0f7953
|
Merge pull request #20759 from jketema/swift-6.2.1
Swift: Update to Swift 6.2.1
|
2025-11-05 16:56:35 +01:00 |
|
Geoffrey White
|
62e77687ca
|
Rust: Move async_std::io models.
|
2025-11-05 15:09:39 +00:00 |
|
Jeroen Ketema
|
a79c383fd5
|
Swift: update load.bzl
|
2025-11-05 15:46:42 +01:00 |
|
Jeroen Ketema
|
6476f60cd4
|
Swift: Add change note
|
2025-11-05 15:44:20 +01:00 |
|
Jeroen Ketema
|
a19f49b2ac
|
Swift: Update resources
|
2025-11-05 15:41:00 +01:00 |
|
Tom Hvitved
|
db7b187961
|
Rust: Add more variables tests
|
2025-11-05 15:32:24 +01:00 |
|
Geoffrey White
|
e78018769b
|
Rust: Add the model file (missed on previous commits).
|
2025-11-05 12:50:26 +00:00 |
|
Geoffrey White
|
6e35cb9748
|
Rust: Change note.
|
2025-11-05 11:36:04 +00:00 |
|