fixes for iris/iris!886 and iris/iris!896
Showing
- coq-lambda-rust.opam 1 addition, 1 deletioncoq-lambda-rust.opam
- theories/typing/fixpoint.v 1 addition, 1 deletiontheories/typing/fixpoint.v
- theories/typing/function.v 4 additions, 4 deletionstheories/typing/function.v
- theories/typing/lib/arc.v 3 additions, 3 deletionstheories/typing/lib/arc.v
- theories/typing/lib/ghostcell.v 2 additions, 2 deletionstheories/typing/lib/ghostcell.v
- theories/typing/lib/mutex/mutex.v 1 addition, 1 deletiontheories/typing/lib/mutex/mutex.v
- theories/typing/lib/mutex/mutexguard.v 1 addition, 1 deletiontheories/typing/lib/mutex/mutexguard.v
- theories/typing/lib/rc/rc.v 3 additions, 3 deletionstheories/typing/lib/rc/rc.v
- theories/typing/lib/rc/weak.v 1 addition, 1 deletiontheories/typing/lib/rc/weak.v
- theories/typing/lib/refcell/refcell.v 2 additions, 2 deletionstheories/typing/lib/refcell/refcell.v
- theories/typing/lib/rwlock/rwlock.v 2 additions, 2 deletionstheories/typing/lib/rwlock/rwlock.v
- theories/typing/lib/rwlock/rwlockreadguard.v 1 addition, 1 deletiontheories/typing/lib/rwlock/rwlockreadguard.v
- theories/typing/lib/rwlock/rwlockwriteguard.v 1 addition, 1 deletiontheories/typing/lib/rwlock/rwlockwriteguard.v
- theories/typing/lib/spawn.v 1 addition, 1 deletiontheories/typing/lib/spawn.v
- theories/typing/shr_bor.v 1 addition, 1 deletiontheories/typing/shr_bor.v
- theories/typing/sum.v 1 addition, 1 deletiontheories/typing/sum.v
- theories/typing/type.v 11 additions, 10 deletionstheories/typing/type.v
Loading
Please register or sign in to comment