• Zhen Zhang's avatar
    Simplify and update · 3fd612a9
    Zhen Zhang authored
    - evmap is dropped
    - per-item invariant is implemented with inv-in-inv
    - peritem.v is simplified by proving an ad-hoc iter spec
    - update to latest iris
    - related fixes
    3fd612a9
Name
Last commit
Last update
build Loading commit data...
docs Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
opam Loading commit data...
opam.pins Loading commit data...