Commit Graph

Select branches

Hide Pull Requests

improve-proofs

main

v0.1.0

v0.2.0

v0.3.0

v0.4.0

v0.5.0

v1.0.0

v1.1.0

v1.2.0

v1.3.0

v1.4.0

v1.5.0

v1.5.1

Mono Color

• f2589fef85
  Update dependencies main v1.5.1 Rolfe Schmidt 2026-03-23 08:49:11 -0700
• 63d9b93634
  Improve Hax proofs. v1.5.0 gram-signal 2026-02-20 13:27:45 -0800
• 49f675f079 Downgrade for testing only. improve-proofs Graeme Connell 2026-02-20 11:45:24 -0800
• 8749ac6e71 Up versions again. Graeme Connell 2026-02-20 11:44:39 -0800
• 5bcad26db1 Update F* version. maximebuyse 2026-01-26 11:44:22 +0100
• da0f68a9bd Fix clippy warning. Maxime Buyse 2026-01-22 17:55:41 +0100
• 2927421707 Use latest hax. Maxime Buyse 2026-01-22 17:55:18 +0100
• 6c7cf4adc5 Update hax and libcrux versions. Maxime Buyse 2026-01-22 17:22:55 +0100
• a7e4836318 Refactor hax proofs to return errors when length is wrong instead of hacing assumption. Maxime Buyse 2025-10-29 15:18:50 +0100
• 1e87dcb53c Replace hax assumes by real checks. Maxime Buyse 2025-10-28 17:11:44 +0100
• 314861183e Temporarily use hax from the right branch. Maxime Buyse 2025-10-22 15:59:51 +0200
• fbb863fbf8 Remove admit thanks to new model of while loops. Maxime Buyse 2025-10-22 15:57:41 +0200
• 63b6289685 Right assumptions on pts_needed. Maxime Buyse 2025-10-22 15:00:00 +0200
• 6e1bdbb1ae Replace 'concat' for proofs. Maxime Buyse 2025-10-22 14:26:24 +0200
• a2bc2afab1 Use split_off instead of drain. Maxime Buyse 2025-10-22 11:38:12 +0200
• b63843a32e Improve proofs with refinement types. Maxime Buyse 2025-10-22 11:12:19 +0200
• f8788e9c74
  Proptests of chain building block behavior. gram-signal 2026-01-16 12:51:06 -0800
• d310c99c57
  Partial fix for cryspen/libcrux#1275 v1.4.0 gram-signal 2026-01-14 13:20:36 -0800
• b647f499b4 Fix formatting. Graeme Connell 2026-01-07 15:57:09 -0800
• d6f9eb9cf8
  Log v1 state transitions for SPQR. gram-signal 2026-01-07 11:40:33 -0800
• 896ec61f1c Use constant to define max epoch length, and strengthen post-condition for decoding varints hackerbirds 2025-12-25 12:22:09 -0800
• 05fb3f2dcf Fix message deserialization issues and strengthen hax panic freedom proofs hackerbirds 2025-12-25 00:06:22 -0800
• 46e387458d
  Upgrade to libcrux 0.0.4, spqr version to 1.3.0. v1.3.0 Rolfe Schmidt 2025-12-04 12:53:53 -0700
• 0fc9abbc90
  Clean up some unused functions. gram-signal 2025-12-04 09:07:15 -0800
• d48aa6f158
  Make raw protobuf types non-pub, update to prost 0.14 Jordan Rose 2025-11-21 20:00:58 -0800
• ff78d035d9
  Bump libcrux deps to the latest version Alex Bakon 2025-10-02 13:13:34 -0400
• 2086a70990
  Apt-get update before installing. gram-signal 2025-10-02 09:37:09 -0700
• 506ff9cf94
  Hax update and proof improvements. maximebuyse 2025-10-02 18:29:32 +0200
• 99a759a3fd
  Log SPQR initial (and possibly renogiated) versions on session initiation. v1.2.0 gram-signal 2025-07-24 11:59:03 -0700
• 597cfa57ee
  Turn off libcrux-ml-kem features we aren't using v1.1.0 Jordan Rose 2025-07-22 14:38:13 -0700
• d6c1073468
  Run proverif proofs in GitHub actions. v1.0.0 v0.5.0 gram-signal 2025-06-04 09:13:47 -0700
• 2d836ec9bd Update license and Rust min-version. gram-signal 2025-05-30 16:21:12 -0700
• 7939191aa0 comment out compromises for faster execution. Rolfe Schmidt 2025-05-30 17:10:10 -0600
• f941e02eaf
  fix time query Rolfe Schmidt 2025-05-30 16:32:56 -0600
• 0623ccc229
  Switch to hax 0.3.1. maximebuyse 2025-05-31 00:30:55 +0200
• cff58d922a
  Don't provide keys when we could version-negotiate to v0. v0.4.0 gram-signal 2025-05-30 10:46:26 -0700
• ea2d65a896 Update some dependencies, clean deps up. v0.3.0 Graeme Connell 2025-05-22 16:36:03 -0700
• e1918a86fc
  Change discard-epoch logic to be based on send epoch. gram-signal 2025-05-22 15:42:45 -0700
• 246944b3e7
  Fix hax proofs. maximebuyse 2025-05-22 19:18:25 +0200
• 5f54d921ec
  Make the SPQR chain configurable by the requester. gram-signal 2025-05-16 14:21:56 -0700
• 1b1811d3fb Clean up unused errors. v0.2.0 gram-signal 2025-05-15 11:28:09 -0700
• bf340caccc Add an empty() constructor for SerializedState. gram-signal 2025-05-15 11:27:57 -0700
• 4db079990e
  Clear send keys for old epochs when we start sending in a new one. gram-signal 2025-05-08 16:05:09 -0700
• 02c99a6b24 Squashed history. v0.1.0 Graeme Connell 2025-05-01 10:28:23 -0700