Code

Document verification status#711

Code

Merged

karthikbhargavan merged 25 commits intodevcryspen/libcrux:devfrom dev-verification-statuscryspen/libcrux:dev-verification-statusCopy head branch name to clipboardDec 11, 2024

+4,708-2,803

Commits

Commits on Dec 4, 2024

• F* update

  karthikbhargavan

  committed
  52178f6

• f* refresh\

  karthikbhargavan

  committed
  18c6c50

• bitveveq

  karthikbhargavan

  committed
  bcca540

• Merge branch 'dev-review-comments' into dev-verification-status

  karthikbhargavan

  committed
  933ef33

• status

  karthikbhargavan

  committed
  4ac64bc

Commits on Dec 5, 2024

• rlimit

  karthikbhargavan

  committed
  0d5c258

Commits on Dec 6, 2024

• Fix verification

  mamonet

  committed
  4fe679b

• Fix verification

  mamonet

  committed
  0972f98

• make verification

  mamonet

  committed
  6fe9324

• fix verification

  mamonet

  committed
  adbf482

Commits on Dec 9, 2024

• verif status

  karthikbhargavan

  committed
  d1a299a

Commits on Dec 10, 2024

• Update Makefile

  mamonet

  committed
  4d93aa6

• Remove AVX2 modules from ADMIT_MODULES

  mamonet

  committed
  c70eb87

• Remove admits from vector/avx2.rs

  mamonet

  committed
  2f140ae

Commits on Dec 11, 2024

• updated verification status

  karthikbhargavan

  committed
  ce63901

• Merge branch 'dev' into dev-verification-status

  karthikbhargavan

  authored
  703cabd

• fmt

  karthikbhargavan

  committed
  a197c4d

• c code refresh

  karthikbhargavan

  committed
  d3bc868

• Put Vector.Rej_sample_table in SLOW_MODULES

  mamonet

  committed
  b0ff2c5

• table for verification status

  karthikbhargavan

  committed
  d1cba65

• linked issue

  karthikbhargavan

  committed
  d8a1a29

• verif status

  karthikbhargavan

  committed
  38cc1db

• raw strings

  karthikbhargavan

  committed
  578d7f6

• raw strings

  karthikbhargavan

  committed
  0953378

• issue ref

  karthikbhargavan

  committed
  939e5ea