7 commits

Author	SHA1	Message	Date
Alex Bakon	ff78d035d9	Bump libcrux deps to the latest version	2025-10-02 10:13:34 -07:00
maximebuyse	506ff9cf94	Hax update and proof improvements.	2025-10-02 09:29:32 -07:00
gram-signal	99a759a3fd	Log SPQR initial (and possibly renogiated) versions on session initiation.	2025-07-24 11:59:03 -07:00
Jordan Rose	597cfa57ee	Turn off libcrux-ml-kem features we aren't using ... Co-authored-by: Rolfe Schmidt <rolfe@signal.org>	2025-07-22 15:38:13 -06:00
maximebuyse	0623ccc229	Switch to hax 0.3.1.	2025-05-30 15:30:55 -07:00
Graeme Connell	ea2d65a896	Update some dependencies, clean deps up.	2025-05-22 16:36:03 -07:00
Graeme Connell	02c99a6b24	Squashed history.	2025-05-01 10:28:23 -07:00