Adapt w.r.t Coq#18164 - Githubissues

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 Villetaneuse closed 1 year ago

Villetaneuse commented 1 year ago

We want to remove some deprecated Arith files

Villetaneuse commented 1 year ago

@samuelgruetter Sorry to bother you again. Can you test (and merge if it passes) this one please?

Villetaneuse commented 1 year ago

Thank you very much @samuelgruetter!