Automated Geo-Replication with Fast System Performance and Preserved Application Semantics
├── applications # input --collector--> z3pyir --rigi--> result
│ ├── input # original code of applications
│ │ ├── HealthPlus # git repo of HealthPlus as a submodule
│ │ └── oltpbench # git repo of Smallbank, RUBiS, and Seats as a submodule
│ ├── z3pyir # z3py representation of applications
│ └── result # restrications idencified by Rigi
├── collector # git repo of the collector as a submodule
├── olisipo # git repo of olisipo as a submodule
└── rigi # source code of Rigi
Python 3.6.6
Z3 4.8.10 and Z3Py
See the maven dependency file here.
See the maven dependency file here.