Code

Kyber C extraction#153

Code

Merged

xvzcf merged 36 commits intodevcryspen/libcrux:devfrom franziskus/c-extraction2cryspen/libcrux:franziskus/c-extraction2Copy head branch name to clipboardJan 2, 2024

+3,885-404

Commits

Commits on Dec 7, 2023

• rewrites for extraction

  Show description for ab48a57
  franziskuskiefer

  committed
  ab48a57

  Copy full SHA for ab48a57

• update kyber-crate.sh

  franziskuskiefer

  committed
  b1afbf5

  Copy full SHA for b1afbf5

Commits on Dec 8, 2023

• More tweaks to get C extraction

  msprotz

  committed
  ee6e7ca

  Copy full SHA for ee6e7ca

• C code

  msprotz

  committed
  41d224c

  Copy full SHA for 41d224c

• big improvement

  msprotz

  committed
  b9f6b1f

  Copy full SHA for b9f6b1f

Commits on Dec 9, 2023

• Add files via upload

  franziskuskiefer

  authored
  b2ee434

  Copy full SHA for b2ee434

• Added file with remarks and some glue definitions.

  xvzcf

  committed
  4ec094a

  Copy full SHA for 4ec094a

Commits on Dec 10, 2023

• Some more progress reducing the number of errors.

  xvzcf

  committed
  79fe947

  Copy full SHA for 79fe947

• thoughts

  msprotz

  committed
  65f56b6

  Copy full SHA for 65f56b6

Commits on Dec 11, 2023

• Merge branch 'dev' into franziskus/c-extraction

  franziskuskiefer

  committed
  7f1f778

  Copy full SHA for 7f1f778

• Update header

  msprotz

  committed
  ddcdba9

  Copy full SHA for ddcdba9

• update kyber-crate to dev (no errors in sampling)

  franziskuskiefer

  committed
  c409b4e

  Copy full SHA for c409b4e

• Merge branch 'franziskus/c-extraction' of github.com:cryspen/libcrux into franziskus/c-extraction

  franziskuskiefer

  committed
  1095965

  Copy full SHA for 1095965

• Refresh C code after removing unwrap and fixing something upstream in eurydice

  msprotz

  committed
  26f3963

  Copy full SHA for 26f3963

• Refresh with latest header

  msprotz

  committed
  9e2f49e

  Copy full SHA for 9e2f49e

• Latest code

  msprotz

  committed
  2d30bb9

  Copy full SHA for 2d30bb9

• Refresh

  msprotz

  committed
  7794543

  Copy full SHA for 7794543

Commits on Dec 12, 2023

• debuging

  franziskuskiefer

  committed
  1eb5bba

  Copy full SHA for 1eb5bba

• Merge branch 'franziskus/c-extraction' of github.com:cryspen/libcrux into franziskus/c-extraction

  franziskuskiefer

  committed
  4a864c1

  Copy full SHA for 4a864c1

• refresh

  msprotz

  committed
  e55acf8

  Copy full SHA for e55acf8

• With three-dimensional array fixes

  msprotz

  committed
  e54a415

  Copy full SHA for e54a415

• Merge branch 'franziskus/c-extraction' of github.com:cryspen/libcrux into franziskus/c-extraction

  msprotz

  committed
  4a753da

  Copy full SHA for 4a753da

• Regenerate via charon

  msprotz

  committed
  69ccd18

  Copy full SHA for 69ccd18

• towards no manual changes

  franziskuskiefer

  committed
  033cbe9

  Copy full SHA for 033cbe9

Commits on Dec 13, 2023

• automate c extraction

  franziskuskiefer

  committed
  b45299b

  Copy full SHA for b45299b

• making it all work

  franziskuskiefer

  committed
  05915a2

  Copy full SHA for 05915a2

• fixup f*

  franziskuskiefer

  committed
  1788b7f

  Copy full SHA for 1788b7f

Commits on Dec 19, 2023

• copy internal headers

  franziskuskiefer

  committed
  bf140b6

  Copy full SHA for bf140b6

• Python script to move Kyber C extraction into NSS.

  xvzcf

  committed
  a9ba0c2

  Copy full SHA for a9ba0c2

• remove unused variable in script.

  xvzcf

  committed
  e516a12

  Copy full SHA for e516a12

Commits on Dec 20, 2023

• Fix bug in script.

  xvzcf

  committed
  d7d530b

  Copy full SHA for d7d530b

• Another script update.

  xvzcf

  committed
  3376971

  Copy full SHA for 3376971

• Fixed bug in script.

  xvzcf

  committed
  a00a4e6

  Copy full SHA for a00a4e6

• Pass in nss root and kyber c extraction root to script through arguments.

  xvzcf

  committed
  26835c6

  Copy full SHA for 26835c6

Commits on Jan 2, 2024

• Merge branch 'dev' into franziskus/c-extraction2

  franziskuskiefer

  authored
  1a0d568

  Copy full SHA for 1a0d568

• Review comments.

  xvzcf

  committed
  c7f95db

  Copy full SHA for c7f95db