Quint spec for large transaction - #42

Open

ekexium wants to merge 2 commits into

pingcap:masterfrom

ekexium:large-txn

Commits on Dec 20, 2023

spec: initial 3-tier memdb spec; non-linerizable
ekexium
committed
c32d13d
spec: introduce generation, making it linearizable
ekexium
committed
9625b0c