Implement a generic caching layer from inputs to outputs. This should let us support faster incremental compilation. It should also drastically improve the local development experience (ie, developing Hermes itself) by making it so that cargo hermes verify, when run on a previously-verified and unchanged input (which occurs frequently in integration tests), will succeed without needing to invoke Lean.
Implement a generic caching layer from inputs to outputs. This should let us support faster incremental compilation. It should also drastically improve the local development experience (ie, developing Hermes itself) by making it so that
cargo hermes verify, when run on a previously-verified and unchanged input (which occurs frequently in integration tests), will succeed without needing to invoke Lean.