Code

Port improvements from dev#126

Code

Merged

franziskuskiefer merged 3 commits intomaincryspen/libcrux:mainfrom franziskus/rsa-signaturescryspen/libcrux:franziskus/rsa-signaturesCopy head branch name to clipboardOct 31, 2023

+474-139

Commits

Commits on Oct 30, 2023

• allow getting raw rsa signatures

  franziskuskiefer

  committed
  2669769

  Copy full SHA for 2669769

• port some improvements from dev and make it usable in Bertie

  franziskuskiefer

  committed
  a37e31a

  Copy full SHA for a37e31a

• temporary hacl cross compilation fix

  franziskuskiefer

  committed
  bdb7f57

  Copy full SHA for bdb7f57