Jeroen Ketema
|
bb33ea383c
|
C++: Add change note for new builtins
|
2026-01-14 13:35:49 +01:00 |
|
Jeroen Ketema
|
93535d1c86
|
C++: Add tests for new builtin operations
|
2026-01-14 13:35:47 +01:00 |
|
Jeroen Ketema
|
3d959abdeb
|
C++: Support new builtin operations
|
2026-01-14 13:35:46 +01:00 |
|
Jeroen Ketema
|
54f75653ba
|
C++: Update test expectations after extractor changes
|
2026-01-14 12:01:51 +01:00 |
|
Jeroen Ketema
|
f4980bede3
|
Update cpp/ql/lib/change-notes/2026-01-02-decimal-removal.md
|
2026-01-13 16:11:11 +01:00 |
|
Jeroen Ketema
|
9ba73ba4f0
|
C++: Update stats file
|
2026-01-13 16:11:10 +01:00 |
|
Jeroen Ketema
|
ffdd6f7d91
|
C++: Add change note
|
2026-01-13 16:11:09 +01:00 |
|
Jeroen Ketema
|
273f517a37
|
C++: Remove decimal types from the dbscheme
|
2026-01-13 16:11:08 +01:00 |
|
Jeroen Ketema
|
a20f0a11e8
|
C++: No longer expose _Decimal{32,64,128}
|
2026-01-13 16:11:06 +01:00 |
|
Jeroen Ketema
|
d20cd68a05
|
C++: Update expected test results after extractor changes
|
2026-01-13 16:11:05 +01:00 |
|
Ian Lynagh
|
dcd0a69759
|
Merge remote-tracking branch 'upstream/main' into igfoo/mb
|
2026-01-13 01:01:35 +00:00 |
|
Simon Friis Vindum
|
3a135888c7
|
C++: Improve bounds from inequalities on integers
|
2026-01-09 10:26:36 +01:00 |
|
Simon Friis Vindum
|
9af432d2f9
|
C++: Add simple range analysis tests for inequalities
|
2026-01-09 10:12:36 +01:00 |
|
Simon Friis Vindum
|
26bd332617
|
Merge pull request #21113 from paldepind/cpp/range-analysis-float-ceil
C++: Remove `safeFloor` in simple range analysis
|
2026-01-08 13:07:30 +01:00 |
|
Jeroen Ketema
|
217c5cb78b
|
C++: Update tests after adding extractor support for logical vector operations
|
2026-01-08 11:55:47 +01:00 |
|
Jeroen Ketema
|
89c11b8daf
|
C++: Add tests for logical vector operations
|
2026-01-08 11:54:49 +01:00 |
|
Jeroen Ketema
|
1ebf623541
|
C++: Add space in tests for adding new tests in a logical place
|
2026-01-08 11:54:42 +01:00 |
|
Simon Friis Vindum
|
7c0054bf25
|
C++: Tweak a comment in simple range analysis
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2026-01-08 08:51:04 +01:00 |
|
Simon Friis Vindum
|
f5ddb1d51d
|
C++: Remove safeFloor in simple range analysis
|
2026-01-07 12:49:09 +01:00 |
|
Simon Friis Vindum
|
bd24fb0baa
|
C++: Add simple range analysis test for bitshift
|
2026-01-07 10:56:50 +01:00 |
|
Jeroen Ketema
|
c567197f29
|
C++: Simplify expression
|
2026-01-06 21:58:43 +01:00 |
|
Jeroen Ketema
|
063e5d300e
|
C++: Remove redundant SSA branch after IR fix
|
2026-01-06 17:40:52 +01:00 |
|
Jeroen Ketema
|
3cd9938ebe
|
C++: Update expected test results after IR changes
|
2026-01-06 17:37:22 +01:00 |
|
Jeroen Ketema
|
740518d23f
|
C++: Use the loaded this instead of the this initialization
|
2026-01-06 17:11:22 +01:00 |
|
github-actions[bot]
|
2cb932cf5d
|
Post-release preparation for codeql-cli-2.23.9
|
2026-01-06 15:42:16 +00:00 |
|
Jeroen Ketema
|
d02ef7c6b1
|
C++: Add change notes
|
2026-01-06 13:53:47 +01:00 |
|
Jeroen Ketema
|
17b22bc088
|
C++: Update expected test results after frontend _Generic fix
|
2026-01-06 13:53:45 +01:00 |
|
Jeroen Ketema
|
5117b5906b
|
C++: Exclude comparisons from enum constants in `cpp/constant-comparison
|
2026-01-06 13:53:44 +01:00 |
|
Jeroen Ketema
|
112eaadfae
|
C++: Add another cpp/constant-comparison FP test case
|
2026-01-06 13:53:43 +01:00 |
|
Jeroen Ketema
|
1f10cddef5
|
C++: Accept test changes after frontend update and uncomment test case
The new frontend version does less constant folding.
|
2026-01-06 13:53:41 +01:00 |
|
Jeroen Ketema
|
90d6c9fc56
|
C++: Exclude more comparisons from cpp/constant-comparison
|
2026-01-06 13:53:40 +01:00 |
|
Jeroen Ketema
|
509cbf7049
|
C++: Add cpp/constant-comparison FP test cases after frontend update
|
2026-01-06 13:53:38 +01:00 |
|
Jeroen Ketema
|
87a9065d61
|
C++: Update expected test results after frontend update
|
2026-01-06 13:53:34 +01:00 |
|
github-actions[bot]
|
c00663766e
|
Release preparation for version 2.23.9
|
2026-01-05 11:57:06 +00:00 |
|
Tom Hvitved
|
d709343d38
|
Merge pull request #21011 from aschackmull/mad/shared-externalflow
Java/C++/Go/C#: Share parts of ExternalFlow.qll
|
2025-12-15 20:27:04 +01:00 |
|
Anders Schack-Mulligen
|
64a48e4e7b
|
MaD: Use "namespace" instead "package" in shared code.
|
2025-12-12 13:57:02 +01:00 |
|
Anders Schack-Mulligen
|
7f8d0771df
|
MaD: Rename file.
|
2025-12-12 13:50:58 +01:00 |
|
Óscar San José
|
d972af9ef8
|
Merge branch 'main' of https://github.com/github/codeql into oscarsj/mergeback-rc-3-20-into-main
|
2025-12-12 13:22:08 +01:00 |
|
Anders Schack-Mulligen
|
4b2e8c0b57
|
C++/C#/Go: Add empty extensible data.
|
2025-12-12 09:17:51 +01:00 |
|
Anders Schack-Mulligen
|
5bddc8d289
|
Go: Move Go package-grouping support into shared lib.
|
2025-12-12 09:17:51 +01:00 |
|
Anders Schack-Mulligen
|
e262438557
|
C++: Use shared model coverage code.
|
2025-12-12 08:20:20 +01:00 |
|
Anders Schack-Mulligen
|
07252519c8
|
Java/C++: Thread additional models through the shared lib.
|
2025-12-12 08:20:20 +01:00 |
|
Anders Schack-Mulligen
|
47dcf05a32
|
C++/Go/Java: Don't import top-level extensible predicates.
|
2025-12-12 08:20:19 +01:00 |
|
Anders Schack-Mulligen
|
0915db4f6b
|
C++/C#/Go: Use shared interpretModelForTest.
|
2025-12-12 08:20:18 +01:00 |
|
Anders Schack-Mulligen
|
f0e7f1af2c
|
C++/C#/Go: Align ExternalFlowExtensions with Java.
|
2025-12-12 08:20:18 +01:00 |
|
Anders Schack-Mulligen
|
7285a8e1c5
|
Merge pull request #20986 from aschackmull/java/mad-barriers
Java: Support for MaD barriers and barrier guards.
|
2025-12-12 07:53:53 +01:00 |
|
Anders Schack-Mulligen
|
5ab26e481b
|
Add dummy instantiations for other languages.
|
2025-12-11 16:24:27 +01:00 |
|
idrissrio
|
84bbe71522
|
C/C++ overlay: Discard xml entities
|
2025-12-11 15:41:35 +01:00 |
|
idrissrio
|
3f372d2658
|
C/C++ overlay: Add overlay support for discarding macro invocations
|
2025-12-11 12:09:04 +01:00 |
|
idrissrio
|
1286ca6683
|
C/C++ overlay: Add overlay support for discarding namespaces
|
2025-12-11 12:09:02 +01:00 |
|