Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump coq-scripts | Jason Gross | 2017-06-06 |
| | |||
* | Unrevert the coq-scripts module again | Jason Gross | 2017-04-14 |
| | | | | cc @andres-erbsen | ||
* | stronger ladderstep correctness proof courtesy Teo | Andres Erbsen | 2017-04-14 |
| | |||
* | Revert "update coq-scripts" | Jason Gross | 2017-04-13 |
| | | | | | | | | This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits. | ||
* | update coq-scripts | Andres Erbsen | 2017-04-12 |
| | |||
* | Fix vo_reverse_closure | Jason Gross | 2017-04-09 |
| | |||
* | Add printreversedeps | Jason Gross | 2017-04-09 |
| | |||
* | Bump submodule for better travis timing logs | Jason Gross | 2017-01-31 |
| | |||
* | Bump submodule for better timing | Jason Gross | 2016-09-07 |
| | |||
* | Bump submodule | Jason Gross | 2016-07-19 |
| | |||
* | Bump submodule | Jason Gross | 2016-07-19 |
| | |||
* | Add coq-scripts submodule for timing scripts | Jason Gross | 2016-06-22 |