Code

Adapt to new hax ordering.#759

Code

Open

maximebuyse wants to merge 1 commit intomaincryspen/libcrux:mainfrom new-hax-orderingcryspen/libcrux:new-hax-orderingCopy head branch name to clipboard

+14,034-14,034

Commits

Commits on Jan 20, 2025

• Adapt to new hax ordering.

  maximebuyse

  committed
  436d7fe

  Copy full SHA for 436d7fe