Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [travis] [External CI] fiat-parsers | Emilio Jesus Gallego Arias | 2017-02-24 |
| | |||
* | [travis] [External CI] CompCert official 8.6 support + UniMath | Emilio Jesus Gallego Arias | 2017-02-15 |
| | |||
* | [travis] [External CI] GeoCoq | Emilio Jesus Gallego Arias | 2017-02-07 |
| | |||
* | [travis] Move ci files from `tools` to `dev`. | Maxime Dénès | 2017-02-07 |
| | |||
* | [travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc ↵ | Emilio Jesus Gallego Arias | 2017-02-07 |
| | | | | | | iris-coq math-classes sf - [TLC] [metacoq] not ready for 8.6 yet | ||
* | [travis] [External CI] Script renaming. | Emilio Jesus Gallego Arias | 2017-02-07 |