Forked from
Iris / Iris
4299 commits behind the upstream repository.
Ralf Jung
authored
This is backwards-compatible; it desugars to a normal application on previous versions
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| agree.v | ||
| auth.v | ||
| base.v | ||
| big_op.v | ||
| cmra.v | ||
| cmra_big_op.v | ||
| coPset.v | ||
| cofe_solver.v | ||
| csum.v | ||
| deprecated.v | ||
| dra.v | ||
| excl.v | ||
| frac.v | ||
| frac_auth.v | ||
| functions.v | ||
| gmap.v | ||
| gset.v | ||
| list.v | ||
| local_updates.v | ||
| monoid.v | ||
| ofe.v | ||
| proofmode_classes.v | ||
| sts.v | ||
| updates.v | ||
| vector.v | ||