14 Commits

Author	SHA1	Message	Date
Geoffrey White	d53dada67f	Rust: Update barrier logic to use getCanonicalPath.	2025-07-21 20:56:48 +01:00
Geoffrey White	ec3ad85504	Rust: Add another test case for barriers (that still functions).	2025-07-21 20:53:37 +01:00
Geoffrey White	796cb193fc	Rust: Accept test regressions with new format MaD.	2025-07-21 17:24:19 +01:00
Geoffrey White	704b3850f4	Rust: Fix a mistake in the test.	2025-03-17 11:24:58 +00:00
Geoffrey White	a0f4fa28b2	Rust: hardcoded -> hard-coded.	2025-03-11 09:40:47 +00:00
Geoffrey White	9e54d53537	Rust: Add barrier.	2025-03-10 11:41:48 +00:00
Geoffrey White	a34f9bef2b	Rust: Add a test case for getrandom.	2025-03-10 11:33:29 +00:00
Geoffrey White	42e7d1e983	Rust: Fix typo.	2025-03-06 19:09:01 +00:00
Geoffrey White	b4a6063e20	Rust: Add std::mem::zeroed as a source.	2025-03-06 17:48:45 +00:00
Geoffrey White	ac94ac6584	Rust: Model even more sinks + flows.	2025-03-06 17:48:44 +00:00
Geoffrey White	a6e106e025	Rust: Model more sinks + flows.	2025-03-06 17:48:40 +00:00
Geoffrey White	9fb00daeec	Rust: Implement the query (with one source, one sink model).	2025-03-06 17:48:39 +00:00
Geoffrey White	bd75f0187b	Rust: More test cases.	2025-03-06 17:48:37 +00:00
Geoffrey White	9a35febe80	Rust: Query framework and basic tests.	2025-03-06 13:24:05 +00:00