search

EnzymeAD / rust

A rust fork to work towards Enzyme integration
https://www.rust-lang.org
Other
67 stars 9 forks source link

Use Kani for shadow size check verification? #50

Closed ZuseZ4 closed 8 months ago

ZuseZ4 commented 1 year ago

https://github.com/model-checking/kani/ Closing as solved through another approach.