backward-compatibly rename coq items to rocq - #133

Open

SergioBenitez wants to merge 16 commits into

ott-lang:masterfrom

formalstack:rocq-naming

Commits on Mar 26, 2025

update regression tester for ocaml 5.3
SergioBenitez
committed
ede3291
update regression tester for coq 8.19+
SergioBenitez
committed
b2b9863
exit with status code 1 on regression failure
SergioBenitez
committed
f7ca37b
add regression binary to gitignore
SergioBenitez
committed
3dc401b
add subrule bound mixing and precondition test

SergioBenitez
and
JoeyEremondi
committed
b773d5d
coalesce subrule bounds and conditions
SergioBenitez
committed
d3acdac
fix subrule aliasing in premise generation
SergioBenitez
committed
803bce7
update regression baseline
SergioBenitez
committed
bb7fe10
pin coq to 8.20 in github action
SergioBenitez
committed
559b1f0
add failing menhir subrules tests
SergioBenitez
committed
b887eac
fix subrule handling in Menhir backend
SergioBenitez
committed
e89b0a4
test int, float, bool types in menhir backend
SergioBenitez
committed
8506ddc
fix non-string type parsing in menhir backend

walkie
authored and
SergioBenitez
committed
cb0c678

Commits on Mar 28, 2025

fix parsing in test21.1.ott
SergioBenitez
committed
7120fc7

Commits on Aug 7, 2025

add support for rocq 9.0
SergioBenitez
committed
d6d8531

Commits on Sep 9, 2025

backward-compatibly rename coq items to rocq
SergioBenitez
committed
bbc1b4c