libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard

[Meta] Kyber F* Proof Cleanup and CI

Open karthikbhargavan opened this issue 1 year ago • 0 comments

  • [x] CI: use diffs for auto-generation of extraction-{edited,secret-independent} folders (see #193)
  • [ ] Proof cleanup: minimize a bit the initial diff

karthikbhargavan avatar Jan 29 '24 08:01 karthikbhargavan