Expand description
Specification-aware type wrappers for formal verification (spec-lock/Z3).
Transparent wrappers around standard collections so types can be aligned with
Orange Paper / spec-lock. Use SpecVec / SpecHashMap or the spec_wrap! macro.
Structsยง
- Spec
Hash Map - Specification-aware HashMap wrapper
- SpecVec
- Specification-aware Vec wrapper