search

adampetcher / fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.
Other
47 stars 23 forks source link

Coq 8.16 deprecation warnings #40

Open andrew-appel opened 1 year ago

andrew-appel commented 1 year ago

There are a lot of deprecation warnings when compiling FCF with Coq 8.16. It might be worth fixing these, to save trouble in the future.