theories/algebra · acdbc4e6cbb1d2ec161cbfa24ad80c3ce7ed6ea8 · William Mansky / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

2411 commits behind the upstream repository.

Merge branch 'ci/ralf/deprecated' into 'master'

Ralf Jung authored 4 years ago

Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways

Closes #296

See merge request iris/iris!477

8650d373

8650d373 4 years ago

Name	Last commit	Last update
..
lib
agree.v
auth.v
base.v
big_op.v
cmra.v
cmra_big_op.v
coPset.v
cofe_solver.v
csum.v
dra.v
excl.v
frac.v
functions.v
gmap.v
gmultiset.v
gset.v
list.v
local_updates.v
monoid.v
namespace_map.v
numbers.v
ofe.v
proofmode_classes.v
sts.v
ufrac.v
updates.v
vector.v