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

compatbility with PR #11906 #22

Closed fajb closed 4 years ago

fajb commented 4 years ago

This is the same as https://github.com/mit-plv/bbv/pull/31

joonwonc commented 4 years ago

Thanks for letting me know! I've just merged it.