new proto + cleaner proofs (merge_update and init to finish).
Showing
- aneris/examples/crdt/statelib/STS/gst.v 37 additions, 1 deletionaneris/examples/crdt/statelib/STS/gst.v
- aneris/examples/crdt/statelib/proof/internal_specs.v 3 additions, 3 deletionsaneris/examples/crdt/statelib/proof/internal_specs.v
- aneris/examples/crdt/statelib/proof/stlib_proof.v 463 additions, 357 deletionsaneris/examples/crdt/statelib/proof/stlib_proof.v
- aneris/examples/crdt/statelib/proof/stlib_proof_utils.v 15 additions, 6 deletionsaneris/examples/crdt/statelib/proof/stlib_proof_utils.v
- aneris/examples/crdt/statelib/proof/utils.v 0 additions, 6 deletionsaneris/examples/crdt/statelib/proof/utils.v
- aneris/examples/crdt/statelib/resources/resources.v 37 additions, 2 deletionsaneris/examples/crdt/statelib/resources/resources.v
- aneris/examples/crdt/statelib/resources/resources_inv.v 2 additions, 1 deletionaneris/examples/crdt/statelib/resources/resources_inv.v
- aneris/examples/crdt/statelib/resources/resources_local.v 10 additions, 10 deletionsaneris/examples/crdt/statelib/resources/resources_local.v
- aneris/examples/crdt/statelib/resources/resources_lock.v 18 additions, 2 deletionsaneris/examples/crdt/statelib/resources/resources_lock.v
- aneris/examples/crdt/statelib/resources/resources_update.v 382 additions, 253 deletionsaneris/examples/crdt/statelib/resources/resources_update.v
- aneris/examples/crdt/statelib/resources/utils.v 1 addition, 0 deletionsaneris/examples/crdt/statelib/resources/utils.v
- aneris/examples/crdt/statelib/statelib_code.v 5 additions, 4 deletionsaneris/examples/crdt/statelib/statelib_code.v
Loading
Please register or sign in to comment