Code

Minor refactoring#111

Code

Merged

franziskuskiefer merged 4 commits intodevcryspen/libcrux:devfrom minor-refactoringcryspen/libcrux:minor-refactoringCopy head branch name to clipboardOct 12, 2023

+3-130

Commits

Commits on Oct 11, 2023

• Remove benchmarking of Kyber specification.

  xvzcf

  committed
  f072f9e

  Copy full SHA for f072f9e

• Removed unused variable in extract_to_fstar.py

  xvzcf

  committed
  5a2853a

  Copy full SHA for 5a2853a

• Forgot to update Cargo.toml

  xvzcf

  committed
  bb66dcf

  Copy full SHA for bb66dcf

• Skip Kyber specification sampling tests for now.

  xvzcf

  committed
  e0bdabf

  Copy full SHA for e0bdabf