got rid of Psatz - Githubissues

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

Closed vmurali closed 6 years ago

vmurali commented 6 years ago

I got rid of Psatz. This is preferable to me, compared to changing either the way intuition/firstorder works, or destroying eq_refl.

vmurali commented 6 years ago

Why is Travis failing? it compiles on 8.8.0 on my machine. Is Travis running an older version of Coq?