Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve shell scripts | 2018-04-05 | |
* | Fix CI with parallel make (messed up dependencies) | 2017-12-21 | |
* | Have coq-dpdgraph ci test print the differences | 2017-08-01 | |
* | Mirror dpdgraph's travis test more accurately | 2017-06-08 | |
* | Add coq-dpdgraph CI | 2017-06-02 |