Tiny bit of progress on tp_atomicity Need to figure out how to state: log contains all blocks that have a different value on the alternative than on the on the data disk Delete big step simulation, which was commented out anyway
Tiny bit of progress on tp_atomicity
Need to figure out how to state: log contains all blocks that have a different value on the alternative than on the on the data disk
Delete big step simulation, which was commented out anyway

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl