search

project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.
Apache License 2.0
124 stars 20 forks source link

Add tactic for destructing cava2 states #953

Closed fshaked closed 3 years ago

fshaked commented 3 years ago

Add a tactic that makes it easier to write destruct tactics for Cava2 states, which makes it easier to write getters for those states.