| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Adding the abstract | Thibaut Horel | 10 years | |
| Age | Commit message | Author | ||
| 2016-05-11 | Adding the abstractHEADmaster | Thibaut Horel | ||
| 2016-05-11 | Add final code used during experiments | Thibaut Horel | ||
| 2016-05-11 | Adding the bibliography | Thibaut Horel | ||
| 2016-05-11 | Adding the report | Thibaut Horel | ||
| 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-05 | Add readme | Thibaut Horel | ||
| 2016-05-04 | Add some comments for proof extraction | Thibaut Horel | ||
| 2016-05-04 | Add batch proof extraction: sorting helps more than batching, will have to in... | Thibaut Horel | ||
| [...] | ||||
 |
index : pos | |
| [no description] | gitolite user |
| aboutsummaryrefslogtreecommitdiffstats |