Tom Hvitved be329c8ab4 Rust: Replace recursion through forall with ranked recursion

2026-04-10 13:18:57 +02:00

..

Cargo.lock

Rust: add Cargo.lock files to all tests with cargo check

2025-06-16 10:52:53 +02:00

DataFlowStep.expected

Rust: Replace recursion through forall with ranked recursion

2026-04-10 13:18:57 +02:00

DataFlowStep.ql

Rust: Remove external locations in tests using post-processing

2025-06-04 13:07:43 +02:00

DataFlowStep.qlref

Rust: Remove external locations in tests using post-processing

2025-06-04 13:07:43 +02:00

inline-flow.expected

Rust: Adapt to changes in FlowSummaryImpl

2026-01-26 12:40:10 +01:00

inline-flow.ql

Rust: Use TaintFlow instead of ValueFlow in tests

2025-12-01 11:33:57 +01:00

main.rs

Rust: Remove restriction that blanket(-like) impls must have a constraint

2026-01-19 11:21:58 +01:00

options.yml

Rust: Add tests for chained let expressions

2025-08-14 10:36:41 +02:00