There was a problem fetching the pipeline mini graph.
Lifetime logic: rename shared borrows to atomic (persistent) borrows
Showing
- _CoqProject 2 additions, 2 deletions_CoqProject
- theories/lifetime/at_borrow.v 27 additions, 27 deletionstheories/lifetime/at_borrow.v
- theories/lifetime/frac_borrow.v 7 additions, 7 deletionstheories/lifetime/frac_borrow.v
- theories/typing/lib/arc.v 13 additions, 13 deletionstheories/typing/lib/arc.v
- theories/typing/lib/mutex/mutex.v 4 additions, 4 deletionstheories/typing/lib/mutex/mutex.v
- theories/typing/lib/mutex/mutexguard.v 5 additions, 5 deletionstheories/typing/lib/mutex/mutexguard.v
- theories/typing/lib/rwlock/rwlock.v 4 additions, 4 deletionstheories/typing/lib/rwlock/rwlock.v
- theories/typing/lib/rwlock/rwlock_code.v 3 additions, 3 deletionstheories/typing/lib/rwlock/rwlock_code.v
- theories/typing/lib/rwlock/rwlockreadguard.v 2 additions, 2 deletionstheories/typing/lib/rwlock/rwlockreadguard.v
- theories/typing/lib/rwlock/rwlockreadguard_code.v 2 additions, 2 deletionstheories/typing/lib/rwlock/rwlockreadguard_code.v
- theories/typing/lib/rwlock/rwlockwriteguard.v 2 additions, 2 deletionstheories/typing/lib/rwlock/rwlockwriteguard.v
- theories/typing/lib/rwlock/rwlockwriteguard_code.v 1 addition, 1 deletiontheories/typing/lib/rwlock/rwlockwriteguard_code.v
Loading
Please register or sign in to comment