Code

Make more modules panic free#713

Code

Open

karthikbhargavan wants to merge 25 commits intomaincryspen/libcrux:mainfrom dev-panic-freecryspen/libcrux:dev-panic-freeCopy head branch name to clipboard

+1,020-323

Commits

Commits on Dec 12, 2024

• Make portable/sampling.rs panic-free

  mamonet

  committed
  7493d52

  Copy full SHA for 7493d52

• Fix MLKEM extract

  mamonet

  committed
  ddc982b

  Copy full SHA for ddc982b

Commits on Dec 15, 2024

• fmt

  karthikbhargavan

  committed
  cb45a8e

  Copy full SHA for cb45a8e

• Merge branch 'dev' into dev-panic-free

  karthikbhargavan

  committed
  29e08c7

  Copy full SHA for 29e08c7

Commits on Dec 16, 2024

• verification status clarification

  karthikbhargavan

  committed
  8bfd6fc

  Copy full SHA for 8bfd6fc

Commits on Dec 17, 2024

• Merge remote-tracking branch 'origin/dev' into dev-panic-free

  mamonet

  committed
  a40526d

  Copy full SHA for a40526d

Commits on Dec 20, 2024

• Make polynomial.rs panic-free

  mamonet

  committed
  61129bc

  Copy full SHA for 61129bc

• Remove commented out functions

  mamonet

  committed
  fdbede1

  Copy full SHA for fdbede1

• Merge branch 'main' into dev-panic-free

  karthikbhargavan

  authored
  2505360

  Copy full SHA for 2505360

• fmt

  karthikbhargavan

  committed
  3ee2d1f

  Copy full SHA for 3ee2d1f

Commits on Dec 23, 2024

• Merge branch 'main' into dev-panic-free

  franziskuskiefer

  authored
  d5ee5b1

  Copy full SHA for d5ee5b1

Commits on Jan 16, 2025

• Merge main into dev-panic-free

  mamonet

  committed
  979f296

  Copy full SHA for 979f296

Commits on Jan 17, 2025

• Fix verification

  mamonet

  committed
  b83353c

  Copy full SHA for b83353c

• Merge main into dev-panic-free

  mamonet

  committed
  7e5d393

  Copy full SHA for 7e5d393

• Update verification_status.md

  Show description for a157e78
  karthikbhargavan

  authored
  a157e78

  Copy full SHA for a157e78

• Update verification_status.md

  karthikbhargavan

  authored
  a7798a3

  Copy full SHA for a7798a3

Commits on Jan 22, 2025

• User add_opaque and sub_opaque

  mamonet

  committed
  dfa21dc

  Copy full SHA for dfa21dc

• Use split_queries for subtract_reduce_helper_2

  mamonet

  committed
  68b234b

  Copy full SHA for 68b234b

Commits on Jan 25, 2025

• Merge branch main into dev-panic-free

  mamonet

  committed
  a50f1cc

  Copy full SHA for a50f1cc

Commits on Jan 27, 2025

• Rename add_opaque/sub_opaque to add/sub

  mamonet

  committed
  02dd7a5

  Copy full SHA for 02dd7a5

• Move Libcrux_ml_kem.Ind_cpa.fst to SLOW_MODULES

  mamonet

  committed
  c2f2b9a

  Copy full SHA for c2f2b9a

• fstar

  karthikbhargavan

  committed
  a02b1ad

  Copy full SHA for a02b1ad

• back to lax

  karthikbhargavan

  committed
  60db61f

  Copy full SHA for 60db61f

• fixed invert-ntt

  karthikbhargavan

  committed
  0cf3560

  Copy full SHA for 0cf3560

• traits

  karthikbhargavan

  committed
  c958fae

  Copy full SHA for c958fae