Tom Hvitved
dc0c7d7ec2
Fix commment typos
2026-06-02 14:41:27 +02:00
Tom Hvitved
1fd31d0ddd
Rust: Data flow for consts and statics
2026-06-02 09:55:51 +02:00
Tom Hvitved
c4e3720d8a
Rust: Run codegen
2026-06-02 09:02:57 +02:00
Tom Hvitved
0547e9c98d
Rust: Path resolution for static items
2026-06-02 09:02:56 +02:00
Tom Hvitved
9618e9b35c
Merge pull request #21873 from hvitved/local-name-resolution
...
Shared: Local name resolution library
2026-06-01 20:51:07 +02:00
Tom Hvitved
d2f474d998
Address review comments
2026-06-01 08:30:01 +02:00
Tom Hvitved
caae5a8bf1
Apply suggestions from code review
...
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com >
2026-05-29 14:24:45 +02:00
github-actions[bot]
cfb18c2477
Post-release preparation for codeql-cli-2.25.6
2026-05-29 12:04:35 +00:00
github-actions[bot]
8b6f969cdb
Release preparation for version 2.25.6
2026-05-29 11:27:54 +00:00
Henry Mercer
9bc0c1b1ab
Revert "Release preparation for version 2.25.6"
2026-05-29 12:13:50 +01:00
Tom Hvitved
aeb82858d7
Rust: Run codegen
2026-05-28 10:50:13 +02:00
Tom Hvitved
c08cf81665
Rust: Adopt shared local name resolution library
2026-05-28 10:50:10 +02:00
Tom Hvitved
e06158629e
Rust: More local variable tests
2026-05-28 10:50:05 +02:00
github-actions[bot]
44a914e40f
Release preparation for version 2.25.6
2026-05-25 10:23:26 +00:00
Óscar San José
996e79131e
Merge branch 'main' into post-release-prep/codeql-cli-2.25.5
2026-05-22 16:32:30 +02:00
Tom Hvitved
c70007607a
Merge pull request #21850 from hvitved/type-inference-unify-base-type
...
Type inference: Unify `getABaseTypeMention` and `conditionSatisfiesConstraint`
2026-05-22 13:44:18 +02:00
github-actions[bot]
9f64000962
Post-release preparation for codeql-cli-2.25.5
2026-05-18 15:20:31 +00:00
github-actions[bot]
e38616a2ef
Release preparation for version 2.25.5
2026-05-18 12:05:32 +00:00
Geoffrey White
a4b2c0f6fd
Update change notes (Copilot's suggestions).
2026-05-15 09:24:29 +01:00
Geoffrey White
59dbd68a5e
Add change notes.
2026-05-14 14:46:05 +01:00
Tom Hvitved
3f7b50ebba
Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint
2026-05-13 16:24:36 +02:00
Geoffrey White
af0124f0f1
Merge branch 'main' into extsensitive
2026-05-11 09:47:29 +01:00
Paolo Tranquilli
f9e42ac443
Merge pull request #21794 from github/post-release-prep/codeql-cli-2.25.4
...
Post-release preparation for codeql-cli-2.25.4
2026-05-07 14:43:24 +02:00
Geoffrey White
f2f4f4cce3
Shared: Add 'security_code' sensitive data heuristic.
2026-05-06 14:48:55 +01:00
Geoffrey White
5ed78d1a4a
Shared: Fix and simplify the exclusion for 'encrypted' values.
2026-05-06 14:43:52 +01:00
Geoffrey White
6e2fb6f0ff
Shared: Fix for 'coauthor'.
2026-05-06 14:34:18 +01:00
Geoffrey White
213ab902cd
Shared: Fix for 'api_tok'.
2026-05-06 14:34:15 +01:00
Geoffrey White
b60ce3cf04
Shared: Fix for 'profile'.
2026-05-06 14:33:25 +01:00
Geoffrey White
cb84e633fa
Shared: Fix for 'wildcard'.
2026-05-06 14:32:24 +01:00
Geoffrey White
07d4df18b9
Shared: Add 'card.?no' sensitive data heuristic.
2026-05-06 14:32:21 +01:00
Geoffrey White
d95001f406
Rust: Additional test cases for sensitive data heuristics.
2026-05-06 14:31:47 +01:00
Tom Hvitved
00fb11b028
Merge pull request #21778 from hvitved/rust/type-inference-verbose-type-path-expectations
...
Rust: Use verbose type paths in inline expectation comments
2026-05-05 20:23:25 +02:00
github-actions[bot]
7610277199
Post-release preparation for codeql-cli-2.25.4
2026-05-05 10:10:06 +00:00
github-actions[bot]
88e1d86c27
Release preparation for version 2.25.4
2026-05-05 09:34:30 +00:00
Tom Hvitved
4c1461ad5b
Merge pull request #21786 from hvitved/inline-test-ignore-tags
...
Inline test expectations: Rename `tagIsOptional` to `tagIsIgnored`
2026-05-05 09:01:58 +02:00
Tom Hvitved
80ccdcc696
Inline test expectations: Rename tagIsOptional to tagIsIgnored
2026-05-04 11:21:33 +02:00
Tom Hvitved
a291548fd8
Update rust/ql/test/library-tests/type-inference/main.rs
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2026-04-30 14:31:24 +02:00
Tom Hvitved
e1cd708c75
Rust: Use verbose type paths in inline expectation comments
2026-04-30 13:54:09 +02:00
Jack Nørskov Jørgensen
073529a951
Move generated MaDs for Rust into modelgenerator/
2026-04-24 13:24:31 +02:00
Tom Hvitved
e60275c4de
Rust: Refine implSiblings
...
Consider two implementations of the same trait to be siblings when the
type being implemented by one is an instantiation of the type being
implemented by the other.
2026-04-22 13:32:56 +02:00
Owen Mansel-Chan
6efb21314a
Merge pull request #21523 from owen-mc/docs/mad/barriers
...
Document models-as-data barriers and barrier guards and add change notes
2026-04-21 13:49:19 +01:00
github-actions[bot]
a0bab539bb
Post-release preparation for codeql-cli-2.25.3
2026-04-20 12:40:34 +00:00
github-actions[bot]
c861d99802
Release preparation for version 2.25.3
2026-04-20 09:27:23 +00:00
Tom Hvitved
ee34e3353d
Merge pull request #21698 from hvitved/rust/type-inference-index-expr
...
Rust: Replace special handling of index expressions in type inference
2026-04-16 09:03:06 +02:00
Tom Hvitved
069431941e
Merge pull request #21596 from hvitved/rust/data-flow-closure-type
...
Rust: Track closure types in data flow
2026-04-15 10:32:05 +02:00
Tom Hvitved
609621f638
Merge pull request #21679 from hvitved/rust/type-inference-forall-checks
...
Rust: Replace recursion through `forall` with ranked recursion
2026-04-15 09:43:37 +02:00
Owen Mansel-Chan
c86ba38a4e
Add change notes
2026-04-14 15:27:31 +01:00
Tom Hvitved
467933bbb1
Rust: Also add specialized IndexMut implementations
2026-04-14 15:45:14 +02:00
Henry Mercer
43c9b95e6f
Merge branch 'main' into post-release-prep/codeql-cli-2.25.2
2026-04-14 13:56:52 +01:00
Tom Hvitved
b749ad645a
Merge pull request #21706 from hvitved/rust/type-inference-perf-fixes
...
Rust: Improve performance of two type inference predicates
2026-04-14 13:06:26 +02:00
