Code

Remove double return workarounds.#750

Code

Merged

franziskuskiefer merged 3 commits intomaincryspen/libcrux:mainfrom remove-double-return-workaroundscryspen/libcrux:remove-double-return-workaroundsCopy head branch name to clipboardJan 15, 2025

+306-921

Commits

Commits on Jan 15, 2025

• Remove double return workarounds.

  maximebuyse

  committed
  8619341

  Copy full SHA for 8619341

• Merge branch 'main' into remove-double-return-workarounds

  franziskuskiefer

  authored
  508e6fc

  Copy full SHA for 508e6fc

• Re-generate F* without double return workaround.

  maximebuyse

  committed
  8374870

  Copy full SHA for 8374870