diff options
| author | Jason Gross | 2017-04-29 13:07:45 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-05-01 13:17:05 -0400 |
| commit | 8dc2adfd102185c6c3c4b61709f2b55aefab2641 (patch) | |
| tree | 26faef398b63f3a8ddc4f32634875c8405d2446c /test-suite/output/ErrorInModule.v | |
| parent | 8511d1d9d903e419543e39eca83c64171da2663b (diff) | |
Add bmsherman/topology to the ci
This development of @bmsherman tests universe polymorphism and setoid
rewriting in type, and should build with v8.6 and trunk.
Diffstat (limited to 'test-suite/output/ErrorInModule.v')
0 files changed, 0 insertions, 0 deletions