-
- Downloads
Bump up Iris and Coq
Showing
- .gitlab-ci.yml 3 additions, 3 deletions.gitlab-ci.yml
- README.md 2 additions, 2 deletionsREADME.md
- coq-lambda-rust.opam 1 addition, 2 deletionscoq-lambda-rust.opam
- theories/lang/adequacy.v 10 additions, 10 deletionstheories/lang/adequacy.v
- theories/lang/heap.v 29 additions, 18 deletionstheories/lang/heap.v
- theories/lang/lib/arc.v 22 additions, 19 deletionstheories/lang/lib/arc.v
- theories/lang/lib/lock.v 2 additions, 2 deletionstheories/lang/lib/lock.v
- theories/lang/lib/memcpy.v 1 addition, 1 deletiontheories/lang/lib/memcpy.v
- theories/lang/lib/new_delete.v 1 addition, 1 deletiontheories/lang/lib/new_delete.v
- theories/lang/lib/spawn.v 2 additions, 2 deletionstheories/lang/lib/spawn.v
- theories/lang/lib/swap.v 1 addition, 1 deletiontheories/lang/lib/swap.v
- theories/lang/lib/tests.v 2 additions, 2 deletionstheories/lang/lib/tests.v
- theories/lang/lifting.v 9 additions, 9 deletionstheories/lang/lifting.v
- theories/lang/proofmode.v 6 additions, 6 deletionstheories/lang/proofmode.v
- theories/lang/time.v 18 additions, 18 deletionstheories/lang/time.v
- theories/lifetime/at_borrow.v 3 additions, 3 deletionstheories/lifetime/at_borrow.v
- theories/lifetime/frac_borrow.v 8 additions, 7 deletionstheories/lifetime/frac_borrow.v
- theories/lifetime/lifetime.v 2 additions, 2 deletionstheories/lifetime/lifetime.v
- theories/lifetime/lifetime_sig.v 25 additions, 17 deletionstheories/lifetime/lifetime_sig.v
- theories/lifetime/model/accessors.v 3 additions, 3 deletionstheories/lifetime/model/accessors.v
Loading
Please register or sign in to comment