11 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	2bf5a70884	Rust: update model generator tests	2025-06-19 17:08:33 +02:00
Paolo Tranquilli	bea5381420	Rust: replace last hand-written instances of Field[crate::	2025-06-11 16:48:39 +02:00
Tom Hvitved	e9c25037d4	Rust: Use Field MaD token instead of Variant, Struct, Tuple	2025-02-13 13:32:08 +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
Tom Hvitved	e4d9e29368	Rust: Implement data flow through tuple structs	2025-02-05 13:27:07 +01:00
Simon Friis Vindum	670ecb3298	Merge pull request #18673 from paldepind/rust-higher-order-function-model-generation ... Rust: Higher order function model generation	2025-02-05 09:15:46 +01:00
Simon Friis Vindum	d198a4a3cd	Rust: Accept test changes	2025-02-04 18:26:05 +01:00
Simon Friis Vindum	b0a3cdc68c	Rust: Generate flow summaries for higher-order functions	2025-02-04 14:03:19 +01:00
Simon Friis Vindum	c9e702d107	Rest: Add tests for higher-order functions	2025-02-04 13:44:29 +01:00
Simon Friis Vindum	0a9b864738	Rust: Fix model generation test	2025-02-03 09:06:07 +01:00