Forked from
Iris / Iris
6397 commits behind the upstream repository.
-
Robbert Krebbers authored
Based on an idea and WIP commits of J-H. Jourdan: the core of a CMRA A is now a partial function A → option A. TODO: define sum CMRA TODO: remove one shot CMRA and define it in terms of sum
Robbert Krebbers authoredBased on an idea and WIP commits of J-H. Jourdan: the core of a CMRA A is now a partial function A → option A. TODO: define sum CMRA TODO: remove one shot CMRA and define it in terms of sum
model.v 2.95 KiB