5 Commits

Author	SHA1	Message	Date
Hassan Abedi	b2cfe4763e	Make property tests deterministic with explicit seeds	2026-03-09 17:49:30 +01:00
Hassan Abedi	a8ac280b02	Add a few property-based tests	2026-03-09 17:42:33 +01:00
Hassan Abedi	a80e760b71	Clean up the project	2026-03-09 11:22:38 +01:00
Hassan Abedi	1355e40b50	Make an early working version	2026-03-09 11:12:18 +01:00
Hassan Abedi	0cf900fdad	The base commit	2026-03-09 10:42:31 +01:00