Definition of time + generic Compute_Maximals instance
Showing
- aneris/examples/crdt/statelib/proof/events.v 232 additions, 59 deletionsaneris/examples/crdt/statelib/proof/events.v
- aneris/examples/crdt/statelib/proof/time.v 0 additions, 29 deletionsaneris/examples/crdt/statelib/proof/time.v
- aneris/examples/crdt/statelib/proof/utils.v 41 additions, 0 deletionsaneris/examples/crdt/statelib/proof/utils.v
- aneris/examples/crdt/statelib/time/evtime.v 62 additions, 0 deletionsaneris/examples/crdt/statelib/time/evtime.v
- aneris/examples/crdt/statelib/time/maximality.v 351 additions, 0 deletionsaneris/examples/crdt/statelib/time/maximality.v
- aneris/examples/crdt/statelib/time/time.v 56 additions, 0 deletionsaneris/examples/crdt/statelib/time/time.v
Loading
Please register or sign in to comment