search

katydid / regex-derivatives-coq

Apache License 2.0
21 stars 7 forks source link

Update CI to Coq 8.13.0 and fix warnings #155

Closed paulcadman closed 3 years ago

paulcadman commented 3 years ago

Upgrades Coq to 8.13.0 and OCaml to the newly supported 4.11.1 compiler.

Fixes compiler Coq compiler warnings caused by unattributed Hint commands. See commit message for more details.