Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add bmsherman/topology to the ci | 2017-05-01 | |
| | | | | | This development of @bmsherman tests universe polymorphism and setoid rewriting in type, and should build with v8.6 and trunk. | ||
* | Add bedrock targets src and facade | 2017-04-20 | |
| | |||
* | [travis] Backport from trunk: VST | 2017-03-24 | |
| | |||
* | [travis] [8.6.only] Backport latest changes from trunk. | 2017-03-22 | |
| | |||
* | [travis] Backport trunk's travis support. | 2017-03-02 | |