| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-02-29 | Change to ACM style and inlining of the proofsHEADmaster | Thibaut Horel | |
| 2016-02-29 | Mode change | Thibaut Horel | |
| 2013-12-12 | Reimport things from the appendix to the main part for the camera-ready version | Thibaut Horel | |
| 2013-09-22 | concl | Stratis Ioannidis | |
| 2013-09-22 | Comment acks out and reduce conclusion | Thibaut Horel | |
| 2013-09-22 | stratis edits | Stratis Ioannidis | |
| 2013-07-08 | small | Stratis Ioannidis | |
| 2013-07-08 | Fixing typos in the conclusion | Thibaut Horel | |
| 2013-07-07 | concl | Stratis Ioannidis | |
| 2013-07-07 | conclusions | Stratis Ioannidis | |
| 2013-07-07 | app:properties | Stratis Ioannidis | |
| 2012-10-28 | file splitting | Stratis Ioannidis | |
