Compile error with Coq 8.7.1

mit-plv / kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

https://plv.csail.mit.edu/kami/

MIT License

142 stars 24 forks source link

Closed codyroux closed 6 years ago

codyroux commented 6 years ago

I'm getting the following error on invoking make on the master branch:

File "./Kami/ParamDup.v", line 501, characters 12-48: Error: No matching clauses for match.

I'm running Coq 8.7.1. The Readme mentions 8.6, and there's an 8.8 branch, but it's unclear to me whether 8.7 is supported or not.

vmurali commented 6 years ago

Right, 8.7 is not supported. The master branch compiles with 8.6(.1) and the 8.8 branch compiles with 8.8.

codyroux commented 6 years ago

Thanks!