Restore compatibility with fiat-crypto

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

42 stars 24 forks source link

Restore compatibility with fiat-crypto #58

Closed JasonGross closed 2 years ago

JasonGross commented 2 years ago

Fiat-Crypto uses Z.bitblast, so it needs to be compatible back to 8.11. The other files that don't build with earlier versions of Coq are now excluded.

Fixes #57 (once the auto-update runs)

samuelgruetter commented 2 years ago

LGTM, thanks @JasonGross !