Make bbv compatible with Coq 8.7

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

Make bbv compatible with Coq 8.7 #33

Closed JasonGross closed 3 years ago

JasonGross commented 3 years ago

This allows us to bump it in fiat-crypto legacy, which is required for compatibility with the removal of omega.

JasonGross commented 3 years ago

Unfortunately this doesn't build on master, I'll try to fix it tomorrow. Are you done with me pushing the commit that switches from Travis to GH actions directly to master, so we can get the CI on this PR?

samuelgruetter commented 3 years ago

yes sure, thanks for taking care of CI