Bump Iris; bump minimal Coq version to 8.17.
Showing
- .gitlab-ci.yml 2 additions, 2 deletions.gitlab-ci.yml
- README.md 1 addition, 1 deletionREADME.md
- coq-reloc.opam 1 addition, 1 deletioncoq-reloc.opam
- theories/examples/folly_queue/refinement.v 2 additions, 2 deletionstheories/examples/folly_queue/refinement.v
- theories/examples/folly_queue/set.v 8 additions, 9 deletionstheories/examples/folly_queue/set.v
- theories/examples/folly_queue/singleElementQueue.v 1 addition, 1 deletiontheories/examples/folly_queue/singleElementQueue.v
- theories/examples/folly_queue/turnSequencer.v 1 addition, 1 deletiontheories/examples/folly_queue/turnSequencer.v
- theories/examples/red_blue_flag.v 2 additions, 2 deletionstheories/examples/red_blue_flag.v
- theories/examples/stack_helping/helping_wrapper.v 1 addition, 1 deletiontheories/examples/stack_helping/helping_wrapper.v
- theories/examples/stack_helping/offers.v 1 addition, 1 deletiontheories/examples/stack_helping/offers.v
- theories/examples/stack_helping/stack.v 1 addition, 1 deletiontheories/examples/stack_helping/stack.v
- theories/examples/symbol.v 1 addition, 1 deletiontheories/examples/symbol.v
- theories/examples/ticket_lock.v 2 additions, 2 deletionstheories/examples/ticket_lock.v
- theories/examples/various.v 1 addition, 1 deletiontheories/examples/various.v
- theories/experimental/hocap/counter.v 1 addition, 1 deletiontheories/experimental/hocap/counter.v
- theories/lib/lock.v 1 addition, 1 deletiontheories/lib/lock.v
- theories/logic/adequacy.v 2 additions, 2 deletionstheories/logic/adequacy.v
- theories/logic/spec_ra.v 3 additions, 3 deletionstheories/logic/spec_ra.v
- theories/prelude/arith.v 3 additions, 4 deletionstheories/prelude/arith.v
- theories/prelude/bijections.v 2 additions, 2 deletionstheories/prelude/bijections.v
Loading
Please register or sign in to comment