New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

workflow for extraction from fiat #104

Open

hannesm opened this issue Mar 6, 2021 · 1 comment

Labels

Member

hannesm commented Mar 6, 2021

atm it is a Makefile in ec/native, it could use the fiat-crypto coq-opam package (see #101 (comment)) and be done / checked by CI

hannesm added the help wanted label

Member Author

hannesm commented Feb 10, 2024

There could also be automation to track the boringssl crypto/curve25519 directory and receive notification on changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment