| .. |
|
Consistency.cfg
|
Document non-linearizability of read-only transactions in rare system condition (#6167)
|
2024-05-07 09:26:51 -07:00 |
|
Consistency.tla
|
Tidy up TODOs in consistency spec (#6181)
|
2024-05-16 10:23:00 +00:00 |
|
ExternalHistory.tla
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
ExternalHistoryInvars.tla
|
New definition of TxID ordered speculative linearizability (#6185)
|
2024-06-14 15:00:19 +00:00 |
|
MCMultiNode.cfg
|
New definition of TxID ordered speculative linearizability (#6185)
|
2024-06-14 15:00:19 +00:00 |
|
MCMultiNode.tla
|
TLA+ specification for client consistency (#5699)
|
2023-10-16 13:29:20 +01:00 |
|
MCMultiNodeCommitReachability.cfg
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
MCMultiNodeInvalidReachability.cfg
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
MCMultiNodeReads.cfg
|
New definition of TxID ordered speculative linearizability (#6185)
|
2024-06-14 15:00:19 +00:00 |
|
MCMultiNodeReads.tla
|
TLA+ specification for client consistency (#5699)
|
2023-10-16 13:29:20 +01:00 |
|
MCMultiNodeReadsAlt.cfg
|
Use typed model values to prevent bugs like 20d89bff16 in the future.
|
2024-05-04 02:49:35 -07:00 |
|
MCMultiNodeReadsAlt.tla
|
TLA+ specification for client consistency (#5699)
|
2023-10-16 13:29:20 +01:00 |
|
MCMultiNodeReadsNotLinearizable.cfg
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
MCSingleNode.cfg
|
Use typed model values to prevent bugs like 20d89bff16 in the future.
|
2024-05-04 02:49:35 -07:00 |
|
MCSingleNode.tla
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
MCSingleNodeCommitReachability.cfg
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
MCSingleNodeReads.cfg
|
Use typed model values to prevent bugs like 20d89bff16 in the future.
|
2024-05-04 02:49:35 -07:00 |
|
MCSingleNodeReads.tla
|
TLA+ specification for client consistency (#5699)
|
2023-10-16 13:29:20 +01:00 |
|
MultiNode.tla
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
MultiNodeReads.cfg
|
Use typed model values to prevent bugs like 20d89bff16 in the future.
|
2024-05-04 02:49:35 -07:00 |
|
MultiNodeReads.tla
|
TLA+ specification for client consistency (#5699)
|
2023-10-16 13:29:20 +01:00 |
|
SingleNode.tla
|
Spring clean consistency spec (#6182)
|
2024-05-16 17:26:50 +00:00 |
|
SingleNodeReads.tla
|
Tidy up TODOs in consistency spec (#6181)
|
2024-05-16 10:23:00 +00:00 |
|
TraceMultiNodeReads.cfg
|
Use typed model values to prevent bugs like 20d89bff16 in the future.
|
2024-05-04 02:49:35 -07:00 |
|
TraceMultiNodeReads.tla
|
Iteration on TLC wrapper script (#6513)
|
2024-10-02 11:15:32 +00:00 |
50ffc62685