8 Commits

Author	SHA1	Message	Date
Geoffrey White	44b26e5ae6	Rust: Change the test copy of the example as well.	2025-04-04 09:54:41 +01:00
Geoffrey White	6a5a1001bb	Rust: Refine the barrier guard.	2025-03-31 18:26:21 +01:00
Geoffrey White	f7d3a51f27	Rust: Implement barrier guard.	2025-03-31 17:53:17 +01:00
Geoffrey White	cdd5cb0523	Rust: More test cases for bounds / guards.	2025-03-31 17:53:14 +01:00
Geoffrey White	addc1d34d8	Rust: Add qhelp, examples, and tests of examples.	2025-03-31 17:53:10 +01:00
Geoffrey White	e49c1afe72	Rust: Add a few missing models.	2025-03-31 17:39:19 +01:00
Geoffrey White	03f94de3cb	Rust: Add models.	2025-03-31 17:39:15 +01:00
Geoffrey White	ae555f2f2e	Rust: Add a test for uncontrolled allocation size.	2025-03-31 17:37:21 +01:00