28 Commits

Author	SHA1	Message	Date
Geoffrey White	118ac07b71	Rust: Convert 'from' models into one generic one.	2025-09-12 18:05:30 +01:00
Geoffrey White	9f83b67a7c	Rust: Model vec::from_elem.	2025-09-12 17:30:44 +01:00
Geoffrey White	e2d94127d6	Rust: Model vec::from.	2025-09-12 16:44:47 +01:00
Geoffrey White	5d3ea2f4d3	Rust: Add models for the cookie and biscotti crates.	2025-09-12 16:13:14 +01:00
Geoffrey White	2bb9e2f7be	Rust: Add test cases for hardcoded cryptographic constants in cookies.	2025-09-12 15:42:56 +01:00
Geoffrey White	f7d822b19c	Rust: Remove empty file.	2025-07-22 12:43:22 +01:00
Geoffrey White	43ac82f6a3	Rust: Update consistency check .expected files.	2025-07-21 21:01:01 +01:00
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	fc8a662f0d	Rust: Update the models.	2025-07-21 17:24:07 +01:00
Geoffrey White	0ec10e5c30	Rust: Corrections after the merge.	2025-07-21 12:12:23 +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	e3beacbda2	Rust: Print models (temporary, to see how this differs on CI).	2025-03-10 19:38:36 +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	b4e710f459	Rust: Add missing models (for some platforms???).	2025-03-07 22:28:38 +00:00
Geoffrey White	19416a9ee3	Rust: Correct test results.	2025-03-07 15:43:34 +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	055baf2769	Rust: Improve results on arrays (less duplication).	2025-03-06 17:48:43 +00:00
Geoffrey White	aacbfc0fd8	Rust: Improve alert messages.	2025-03-06 17:48:41 +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