README.md

Artifact for "Boosting Database Isolation Checking via Mini-Transactions"

This repository includes the artifact for our submission #1792.

Repository Organization

|-- Data         # experimental data presented in the paper
|-- History      # histories and benchmarks used in our experiments
`-- Tools        # our implementations of MTC