7 Commits

Author	SHA1	Message	Date
Geoffrey White	91d273ad76	Rust: I think these generated models are correct. Accept them.	2025-03-20 15:52:08 +00:00
Simon Friis Vindum	c4773c42c4	Rust: Model pointer read and write functions	2025-02-28 11:44:11 +01:00
Simon Friis Vindum	8b3c1ab698	Merge branch 'main' into rust-ref-pattern	2025-02-17 10:36:39 +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	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	11055760a4	Rust: Handle writes to references and add encoding of reference content	2025-02-07 13:53:17 +01:00
Simon Friis Vindum	c9b5dab097	Rust: Add additional tests for model generation	2025-02-07 09:05:27 +01:00