Commit Graph

2 Commits

Author SHA1 Message Date
JoelKatz
d0009872c1 Check. 2013-03-31 23:57:03 -07:00
JoelKatz
7c4f2f1ca5 Framework for double-checking that transactions, as they will be applied,
don't break invariants.
2013-03-26 17:47:57 -07:00