This is the reproducibility package for the paper "BtrLog: Low-Latency Logging for Cloud Database Systems", accepted to VLDB'26 (Boston).
Please see directory prototype for the BtrLog prototype implementation and spec for the TLA+ specification of the BtrLog protocol.