Code

Update C extraction tools#795

Code

Merged

franziskuskiefer merged 7 commits intomaincryspen/libcrux:mainfrom franziskus/update-c-ext-toolscryspen/libcrux:franziskus/update-c-ext-toolsCopy head branch name to clipboardFeb 11, 2025

+367-418

Commits

Commits on Feb 7, 2025

• Update ext-tools.sh

  franziskuskiefer

  authored
  2b73782

  Copy full SHA for 2b73782

• adapt to eurydice changes

  franziskuskiefer

  authored
  c08d7f2

  Copy full SHA for c08d7f2

Commits on Feb 9, 2025

• extract-c: add revisions to docker image

  franziskuskiefer

  committed
  d100606

  Copy full SHA for d100606

• hotfix

  franziskuskiefer

  committed
  b58e3fe

  Copy full SHA for b58e3fe

Commits on Feb 10, 2025

• Merge branch 'main' into franziskus/update-c-ext-tools

  franziskuskiefer

  authored
  15b22d1

  Copy full SHA for 15b22d1

Commits on Feb 11, 2025

• update C extraction

  franziskuskiefer

  committed
  293b83e

  Copy full SHA for 293b83e

• Merge branch 'main' into franziskus/update-c-ext-tools

  franziskuskiefer

  authored
  c9719eb

  Copy full SHA for c9719eb