6 Commits

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