copilot-swe-agent[bot]
53ea488741
C++: Verify [\b] is backspace inside character classes
2026-07-23 10:25:48 +00:00
copilot-swe-agent[bot]
85d46d5bf8
C++: Add coverage for lazy quantifiers and \f/\v escapes
2026-07-23 10:25:11 +00:00
copilot-swe-agent[bot]
e631b08818
C++: Replace non-standard \u{...} test with \uhhhh
2026-07-23 10:24:37 +00:00
copilot-swe-agent[bot]
12dc4b250f
C++: Implement POSIX equivalence classes
2026-07-23 10:24:06 +00:00
copilot-swe-agent[bot]
545d87a178
C++: Add POSIX equivalence-class tests (pre-fix)
2026-07-23 10:22:51 +00:00
copilot-swe-agent[bot]
afde8d9fc5
C++: Implement POSIX collating symbols
2026-07-23 10:22:15 +00:00
copilot-swe-agent[bot]
ea561e2994
C++: Add POSIX collating-symbol tests (pre-fix)
2026-07-23 10:19:40 +00:00
copilot-swe-agent[bot]
53a5473101
C++: Implement \0 NUL escape
2026-07-23 10:19:10 +00:00
copilot-swe-agent[bot]
c49213f66c
C++: Add NUL-escape tests (pre-fix)
2026-07-23 10:18:01 +00:00
copilot-swe-agent[bot]
31ae5fe021
C++: Implement \cX control escapes
2026-07-23 10:17:31 +00:00
copilot-swe-agent[bot]
cc45b0794b
C++: Add control-escape tests (pre-fix)
2026-07-23 10:16:18 +00:00
copilot-swe-agent[bot]
0323da39c9
C++: Remove named backreferences
2026-07-23 10:13:23 +00:00
copilot-swe-agent[bot]
908764e603
C++: Remove named capture groups
2026-07-23 10:12:01 +00:00
copilot-swe-agent[bot]
dda4b00922
C++: Remove single-quote named capture groups
2026-07-23 10:10:15 +00:00
copilot-swe-agent[bot]
1a0b4cd646
C++: Remove Ruby-style \p and \P named character properties
2026-07-23 10:07:51 +00:00
copilot-swe-agent[bot]
72bc7170ff
C++: Remove Ruby-only \h and \H character class escapes
2026-07-23 10:06:02 +00:00
copilot-swe-agent[bot]
f75d66dc91
C++: Remove Ruby-only \A/\Z/\z/\G anchors from regex grammar
2026-07-23 10:04:43 +00:00
copilot-swe-agent[bot]
3444d2ef87
C++: Fix regex term location offsets for all string literal spellings
2026-07-23 10:02:55 +00:00
copilot-swe-agent[bot]
7b2ce2484f
C++: Add location tests for all literal prefixes (pre-fix)
2026-07-23 10:01:18 +00:00
Jeroen Ketema
b91b83381b
C++: Make regex test work
...
Note that we are currently still implementing what Ruby thinks a regex is.
This is not correct as C++ by default uses a variant of ECMAScript regexes.
We will address this in the follow-up commits.
2026-07-23 09:58:57 +00:00
Jeroen Ketema
e672fbb849
C++: Make regex library compile
2026-07-23 09:58:54 +00:00
copilot-swe-agent[bot]
07449054cc
C++: Copy Ruby regex library and tests verbatim
2026-07-23 09:58:50 +00:00
Owen Mansel-Chan
a2c5d4c818
C++: Convert qlref tests to inline expectations
2026-07-07 09:49:50 +01:00
Mathias Vorreiter Pedersen
4f4cdf434b
Merge pull request #22061 from MathiasVP/mad-write-through-model
...
Shared: Support flow summaries from `ReturnValue`s
2026-07-02 12:38:44 +01:00
Mathias Vorreiter Pedersen
dbbcc1741c
C++: Delete now-unsupported MaD rows.
2026-06-30 17:48:31 +01:00
Mathias Vorreiter Pedersen
f37b3e77ff
Merge branch 'main' into remove-mad-support-for-variables
2026-06-30 17:38:37 +01:00
Mathias Vorreiter Pedersen
b7b731bab7
Merge branch 'main' into mad-write-through-model
2026-06-30 15:12:02 +01:00
Mathias Vorreiter Pedersen
0e05ea5153
C++: Remove whitespace.
2026-06-30 12:41:29 +01:00
Mathias Vorreiter Pedersen
449a3ac870
C++: Delete tests which are no longer relevant.
2026-06-30 12:39:31 +01:00
Mathias Vorreiter Pedersen
fc954c3e1a
C++: Remove support for marking variables as sources and sinks in MaD.
2026-06-30 12:30:40 +01:00
Mathias Vorreiter Pedersen
caaed72288
C++: Hide summary nodes that should be hidden and accept test changes.
2026-06-29 18:30:03 +01:00
Mathias Vorreiter Pedersen
08c383df6a
C++: Accept test changes.
2026-06-29 18:20:10 +01:00
Mathias Vorreiter Pedersen
49bde567dd
C++: Add tests with qualified names in MaD.
2026-06-29 18:02:17 +01:00
Mathias Vorreiter Pedersen
933338f627
C++: Accept test changes.
2026-06-23 20:33:34 +01:00
Mathias Vorreiter Pedersen
03c3ef9528
C++: Add tests with missing reverse flow.
2026-06-23 19:48:21 +01:00
Jeroen Ketema
6d0968744b
C++: Fix NameQualifyingElement db inconsistency
2026-06-10 14:35:36 +02:00
Jeroen Ketema
98f147556a
C++: Add namequalifier test with inconsistency
...
While where the remove the file restriction in QL.
2026-06-10 14:27:56 +02:00
Mathias Vorreiter Pedersen
22b08f1ea4
C++: Add a test with a kind of "partial function template" instantiation.
2026-05-31 12:47:31 +02:00
Mathias Vorreiter Pedersen
e18448dd59
C++: Add more tests.
2026-05-29 18:22:13 +02:00
Mathias Vorreiter Pedersen
9f211cebd5
C++: Accept test changes.
2026-05-28 13:34:16 +02:00
Jeroen Ketema
35364a087a
C++: Update expected test results after extractor changes
2026-05-27 10:23:16 +02:00
Mathias Vorreiter Pedersen
a7405bddaa
Merge pull request #21856 from MathiasVP/scanf-safe-functions
...
C++: Model secure versions of `scanf` as flow sources
2026-05-22 12:34:54 +01:00
Mathias Vorreiter Pedersen
a33af09244
C++: Add models for _fscanf_s_l, fwscanf_s and _fwscanf_s_l.
2026-05-20 18:59:04 +01:00
Mathias Vorreiter Pedersen
25d20399f3
C++: Add models for _scanf_s_l, wscanf_s and _wscanf_s_l.
2026-05-20 18:43:07 +01:00
Mathias Vorreiter Pedersen
e6c5f944ba
C++: Add missing format string part in test.
2026-05-20 18:13:35 +01:00
Mathias Vorreiter Pedersen
157424cca3
Merge pull request #21836 from MathiasVP/uncertain-def-more-complete
...
C++: Support reasoning about whether a phi node overwrites the entire buffer
2026-05-20 13:04:37 +01:00
Mathias Vorreiter Pedersen
f5113b1932
C++: Fix internal SCC edges and accept test changes.
2026-05-19 15:39:32 +01:00
Mathias Vorreiter Pedersen
f77d426706
C++: Add test demonstrating broken phi cycle certain'ness.
2026-05-19 15:35:20 +01:00
Mathias Vorreiter Pedersen
5f10a88208
C++: Handle size arguments in 'getOutputArgument'.
2026-05-18 14:06:18 +01:00
Mathias Vorreiter Pedersen
5add24be59
C++: Add scanf_s models.
2026-05-18 14:06:16 +01:00
