12 Commits

Author	SHA1	Message	Date
Geoffrey White	10ad5780b5	Rust: Try a different toolchain version to fix the test in CI?	2025-04-08 10:21:40 +01:00
Geoffrey White	a5883b1627	Rust: Accept test changes (due to added models?).	2025-04-04 21:45:37 +01:00
Geoffrey White	44b26e5ae6	Rust: Change the test copy of the example as well.	2025-04-04 09:54:41 +01:00
Geoffrey White	fb22d55878	Rust: Remove duplicate models.	2025-03-31 18:26:26 +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	9409cd6ed7	Rust: Prototype query.	2025-03-31 17:39:11 +01:00
Geoffrey White	ae555f2f2e	Rust: Add a test for uncontrolled allocation size.	2025-03-31 17:37:21 +01:00