Simplification of proofs and TODOs
Showing
- aneris/examples/crdt/statelib/proof/stlib_proof.v 21 additions, 47 deletionsaneris/examples/crdt/statelib/proof/stlib_proof.v
- aneris/examples/crdt/statelib/proof/stlib_proof_setup.v 0 additions, 4 deletionsaneris/examples/crdt/statelib/proof/stlib_proof_setup.v
- aneris/examples/crdt/statelib/proof/stlib_proof_utils.v 1 addition, 1 deletionaneris/examples/crdt/statelib/proof/stlib_proof_utils.v
- aneris/examples/crdt/statelib/resources/resources_lock.v 4 additions, 1 deletionaneris/examples/crdt/statelib/resources/resources_lock.v
- aneris/examples/crdt/statelib/resources/resources_update.v 8 additions, 8 deletionsaneris/examples/crdt/statelib/resources/resources_update.v
- aneris/examples/crdt/statelib/resources/resources_utils.v 37 additions, 7 deletionsaneris/examples/crdt/statelib/resources/resources_utils.v
- aneris/examples/crdt/statelib/time/maximality.v 1 addition, 5 deletionsaneris/examples/crdt/statelib/time/maximality.v
- aneris/examples/crdt/statelib/user_model/params.v 0 additions, 7 deletionsaneris/examples/crdt/statelib/user_model/params.v
Loading
Please register or sign in to comment