Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bump coq-scripts | 2017-06-06 | |
* | Unrevert the coq-scripts module again | 2017-04-14 | |
* | stronger ladderstep correctness proof courtesy Teo | 2017-04-14 | |
* | Revert "update coq-scripts" | 2017-04-13 | |
* | update coq-scripts | 2017-04-12 | |
* | Fix vo_reverse_closure | 2017-04-09 | |
* | Add printreversedeps | 2017-04-09 | |
* | Bump submodule for better travis timing logs | 2017-01-31 | |
* | Bump submodule for better timing | 2016-09-07 | |
* | Bump submodule | 2016-07-19 | |
* | Bump submodule | 2016-07-19 | |
* | Add coq-scripts submodule for timing scripts | 2016-06-22 |