Moving the lock acquisition in apply_thread
Showing
- aneris/examples/crdt/statelib/proof/stlib_proof.v 18 additions, 11 deletionsaneris/examples/crdt/statelib/proof/stlib_proof.v
- aneris/examples/crdt/statelib/statelib_code.v 1 addition, 1 deletionaneris/examples/crdt/statelib/statelib_code.v
- ml_sources/examples/crdt/statelib/statelib_code.ml 20 additions, 19 deletionsml_sources/examples/crdt/statelib/statelib_code.ml
Loading
Please register or sign in to comment