Bump Iris; bump minimal Coq version to 8.17.
Showing
- .gitlab-ci.yml 3 additions, 3 deletions.gitlab-ci.yml
- README.md 1 addition, 1 deletionREADME.md
- coq-lambda-rust.opam 1 addition, 1 deletioncoq-lambda-rust.opam
- theories/lang/adequacy.v 3 additions, 3 deletionstheories/lang/adequacy.v
- theories/lang/heap.v 3 additions, 3 deletionstheories/lang/heap.v
- theories/lang/lang.v 1 addition, 1 deletiontheories/lang/lang.v
- theories/lang/lib/arc.v 1 addition, 1 deletiontheories/lang/lib/arc.v
- theories/lang/lib/spawn.v 1 addition, 1 deletiontheories/lang/lib/spawn.v
- theories/lang/lifting.v 1 addition, 1 deletiontheories/lang/lifting.v
- theories/lang/races.v 1 addition, 1 deletiontheories/lang/races.v
- theories/lifetime/frac_borrow.v 1 addition, 1 deletiontheories/lifetime/frac_borrow.v
- theories/lifetime/meta.v 1 addition, 1 deletiontheories/lifetime/meta.v
- theories/lifetime/model/definitions.v 12 additions, 12 deletionstheories/lifetime/model/definitions.v
- theories/typing/lib/brandedvec.v 2 additions, 2 deletionstheories/typing/lib/brandedvec.v
- theories/typing/lib/ghostcell.v 2 additions, 2 deletionstheories/typing/lib/ghostcell.v
- theories/typing/lib/rc/rc.v 1 addition, 1 deletiontheories/typing/lib/rc/rc.v
- theories/typing/lib/refcell/refcell.v 1 addition, 1 deletiontheories/typing/lib/refcell/refcell.v
- theories/typing/lib/rwlock/rwlock.v 1 addition, 1 deletiontheories/typing/lib/rwlock/rwlock.v
- theories/typing/soundness.v 4 additions, 4 deletionstheories/typing/soundness.v
- theories/typing/type.v 4 additions, 4 deletionstheories/typing/type.v
Loading
Please register or sign in to comment