program_logic/saved_prop.v · 46cf36776bab266fb523fa3ce8131239fb9228fb · Tej Chajed / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
aa9b972e
No longer use later_car in the logic. · aa9b972e
Robbert Krebbers authored 8 years ago
```
It is not non-expansive, so not a function we should use.
```
aa9b972e

History
No longer use later_car in the logic.
Robbert Krebbers authored 8 years ago
```
It is not non-expansive, so not a function we should use.
```