6 commits

Author	SHA1	Message	Date
maximebuyse	506ff9cf94	Hax update and proof improvements.	2025-10-02 09:29:32 -07:00
Rolfe Schmidt	7939191aa0	comment out compromises for faster execution.	2025-05-30 16:22:10 -07:00
Rolfe Schmidt	f941e02eaf	fix time query	2025-05-30 16:32:56 -06:00
maximebuyse	0623ccc229	Switch to hax 0.3.1.	2025-05-30 15:30:55 -07:00
maximebuyse	246944b3e7	Fix hax proofs.	2025-05-22 10:18:25 -07:00
Graeme Connell	02c99a6b24	Squashed history.	2025-05-01 10:28:23 -07:00