Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
  • Zhen Zhang's avatar
    3fd612a9
    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
    History
    Simplify and update
    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