libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard

Published 20 hours ago • verified publisher icon cryspen

Cleanup old mlkem hax and proofs

Open franziskuskiefer opened this issue 7 months ago • 0 comments

The hax extraction on main is broken because the patches don't apply cleanly anymore. But we're moving to the new version anyway

https://github.com/cryspen/libcrux/actions/runs/9671649730

  • [ ] disable patches on ci
  • [ ] only run hax extraction and proofs on the patched version

franziskuskiefer avatar Jun 26 '24 06:06 franziskuskiefer