Storage specs and TODOs
- Adding the
@TODOfor_storage.vfiles as axioms. - Adding
src/storage-specs.mdwith what is being checked on_storage.mlfiles
Edited by Daniel Hilst
@TODO for _storage.v files as axioms.src/storage-specs.md with what is being checked on _storage.ml files