Code

Add option to skip hax diffs.#775

Code

Merged

franziskuskiefer merged 2 commits intomaincryspen/libcrux:mainfrom make-hax-diffs-opt-outcryspen/libcrux:make-hax-diffs-opt-outCopy head branch name to clipboardJan 30, 2025

+6

Commits

Commits on Jan 29, 2025

• Add option to skip hax diffs.

  maximebuyse

  committed
  158c7c4

  Copy full SHA for 158c7c4

Commits on Jan 30, 2025

• Merge branch 'main' into make-hax-diffs-opt-out

  franziskuskiefer

  authored
  2e2ed0b

  Copy full SHA for 2e2ed0b