search

mit-plv / riscv-coq

RISC-V Specification in Coq
BSD 3-Clause "New" or "Revised" License
109 stars 17 forks source link

CI fails on master #26

Closed JasonGross closed 4 years ago

JasonGross commented 4 years ago 
COQC /home/travis/build/mit-plv/riscv-coq/src/riscv/Spec/Decode.v
File "/home/travis/build/mit-plv/riscv-coq/src/riscv/Spec/Decode.v", line 24, characters 8-23:
Error: Cannot find a physical path bound to logical path matching suffix
Utility.
samuelgruetter commented 4 years ago

Fixed in ebccc9eee3c43944104b35e5c35323480d094a27