8 Commits

Author	SHA1	Message	Date
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