Paolo Tranquilli
55096a31f2
Rust: add Cargo.lock files to all tests with cargo check
2025-06-16 10:52:53 +02:00
Simon Friis Vindum
b0c40111e7
Rust: Tweaks to stringification
2025-04-03 12:45:08 +02:00
Simon Friis Vindum
518f164c61
Rust: Address PR comments
2025-02-28 10:49:27 +01:00
Simon Friis Vindum
476fef49da
Rust: Allow SSA and some data flow for mutable borrows
2025-02-26 16:00:52 +01:00
Simon Friis Vindum
51ae7c6b8c
Rust: Reorganize pointers tests and add additional tests
2025-02-26 13:51:55 +01:00
Simon Friis Vindum
7476aeaabf
Rust: Handle ref patterns in data flow
...
To do this we:
* Let SSA writes target the name inside identifier patterns instead of
the pattern itself
* Include relevant names in the data flow graph
* Add a store step from a identifier patterns with `ref` into the
contained name. So we have an edge `ref a` -> `a` that stores in the
reference content type.
2025-02-12 13:20:11 +01:00
Simon Friis Vindum
bf9563e78e
Rust: Add data flow tests using ref patterns
2025-02-12 09:37:35 +01:00
Simon Friis Vindum
11055760a4
Rust: Handle writes to references and add encoding of reference content
2025-02-07 13:53:17 +01:00
Simon Friis Vindum
11685a820f
Rust: Add flow tests involving references
2025-02-07 13:47:58 +01:00
Simon Friis Vindum
09fd27af80
Rust: Add read steps for tuple and reference patterns
2024-12-18 13:22:05 +01:00
Simon Friis Vindum
b5b8af3aa2
Rust: Add data flow tests for borrows
2024-12-18 13:00:38 +01:00
Simon Friis Vindum
c1e21974c6
Rust: Address review comments
2024-12-17 17:24:42 +01:00
Simon Friis Vindum
d8c301a96b
Merge branch 'main' into rust-data-flow-models
2024-12-17 16:09:59 +01:00
Simon Friis Vindum
aab3428bc7
Rust: Model address-of and dereference as stores and loads
2024-12-16 11:31:15 +01:00
Simon Friis Vindum
df0375103c
Rust: Add data flow tests
2024-12-16 11:09:22 +01:00
