12 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Simon Friis Vindum	1225c5c828	Rust: Accept changes	2025-03-03 09:44:24 +01:00
Simon Friis Vindum	d8d882958d	Merge branch 'main' into rust-ref-mut	2025-03-03 09:19:08 +01:00
Simon Friis Vindum	c4773c42c4	Rust: Model pointer read and write functions	2025-02-28 11:44:11 +01:00
Simon Friis Vindum	5b657035d2	Rust: Add test for models of pointer read and write	2025-02-28 11:19:41 +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	0c3e8a0f5b	Rust: Adapt tests and existing models to account for generated models	2025-02-17 11:08:42 +01: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	655449be81	Rust: Add auto generated flow summaries for Option	2025-02-12 08:38:47 +01:00
Simon Friis Vindum	5bef9c98ff	Rust: Accept changes	2025-02-07 10:20:15 +01:00
Simon Friis Vindum	86d7feabc6	Rust: Add value flow model for clone methods	2025-02-05 09:18:58 +01:00
Simon Friis Vindum	04d3f989ec	Rust: Add tests for flow through clone	2025-02-04 17:09:26 +01:00