search

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

Adapt w.r.t. coq/coq#16903. #32

Closed ppedrot closed 1 year ago

ppedrot commented 1 year ago

This should be backwards compatible, but I didn't test.