Compare revisions

fa344cbe · fa344cbe · fa344cbe · fa344cbe · fa344cbe · fa344cbe
--- a/dune-project
+++ b/dune-project
+(lang dune 3.8)
+(using coq 0.8)
--- a/iris-bot
+++ b/iris-bot
--- a/theories/algebra/agree.v
+++ b/theories/algebra/agree.v
--- a/iris/algebra/auth.v
+++ b/iris/algebra/auth.v
--- a/theories/algebra/big_op.v
+++ b/theories/algebra/big_op.v
--- a/theories/algebra/cmra.v
+++ b/theories/algebra/cmra.v
--- a/theories/algebra/cmra_big_op.v
+++ b/theories/algebra/cmra_big_op.v
--- a/theories/algebra/coPset.v
+++ b/theories/algebra/coPset.v
--- a/theories/algebra/cofe_solver.v
+++ b/theories/algebra/cofe_solver.v
--- a/theories/algebra/csum.v
+++ b/theories/algebra/csum.v
--- a/iris/algebra/dfrac.v
+++ b/iris/algebra/dfrac.v
--- a/iris/algebra/dyn_reservation_map.v
+++ b/iris/algebra/dyn_reservation_map.v
--- a/theories/algebra/excl.v
+++ b/theories/algebra/excl.v
--- a/iris/algebra/frac.v
+++ b/iris/algebra/frac.v
--- a/iris/algebra/functions.v
+++ b/iris/algebra/functions.v
--- a/theories/algebra/gmap.v
+++ b/theories/algebra/gmap.v
--- a/iris/algebra/gmultiset.v
+++ b/iris/algebra/gmultiset.v
--- a/theories/algebra/gset.v
+++ b/theories/algebra/gset.v
--- a/iris/algebra/lib/dfrac_agree.v
+++ b/iris/algebra/lib/dfrac_agree.v
--- a/iris/algebra/lib/excl_auth.v
+++ b/iris/algebra/lib/excl_auth.v
No results found