| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 in... | Thibaut Horel |
| 2016-05-04 | Add benchmarks for proof extraction | Thibaut Horel |
| 2016-05-04 | Initial commit | Thibaut Horel |
