| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-05-05 | Add Fisher-Yates schuffle | Thibaut Horel | |
| 2016-05-05 | Parallelizing the DFS construction (huge performance gain!) | Thibaut Horel | |
| 2016-05-05 | Add parallel building | Thibaut Horel | |
| 2016-05-04 | Add batch proof extraction: sorting helps more than batching, will have to ↵ | Thibaut Horel | |
| investigate page faults | |||
| 2016-05-04 | Add benchmarks for proof extraction | Thibaut Horel | |
| 2016-05-04 | Initial commit | Thibaut Horel | |
