New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for synterp (Coq 8.18) #557

Merged

gares merged 2 commits into master from fix-synterp

Dec 8, 2023

Contributor

gares commented Dec 1, 2023 •

edited

Loading

Fix coq/vscoq#660

TODO:

changelog
port HB
doc/tutorial

gares force-pushed the fix-synterp branch from b3cf0ab to 84cce0d Compare

December 1, 2023 13:26

gares commented

View reviewed changes

Makefile.coq.local Outdated Show resolved Hide resolved

gares commented

View reviewed changes

apps/NES/elpi/nes_synterp.elpi Outdated Show resolved Hide resolved

gares commented

View reviewed changes

apps/NES/elpi/nes_synterp.elpi Outdated Show resolved Hide resolved

gares commented

View reviewed changes

apps/NES/tests/test_NES.v Outdated Show resolved Hide resolved

gares force-pushed the fix-synterp branch 6 times, most recently from 6c69b29 to 262f852 Compare

December 1, 2023 13:50

gares commented

View reviewed changes

tests/test_libobject_A.v Outdated Show resolved Hide resolved

gares force-pushed the fix-synterp branch from a1fe869 to 56d264e Compare

December 1, 2023 14:01

gares commented

View reviewed changes

src/coq_elpi_vernacular_syntax.mlg Outdated Show resolved Hide resolved

gares commented

View reviewed changes

src/coq_elpi_programs.ml Outdated Show resolved Hide resolved

gares force-pushed the fix-synterp branch 3 times, most recently from d6475fb to a8a7c29 Compare

December 1, 2023 14:25

gares mentioned this pull request

separate synterp phase math-comp/hierarchy-builder#406

Merged

gares force-pushed the fix-synterp branch from de4f0bb to 2127cd8 Compare

December 4, 2023 09:23

nix

b1d9f61

gares force-pushed the fix-synterp branch 8 times, most recently from 48d84a8 to ef1c108 Compare

December 7, 2023 16:41

gares commented

View reviewed changes

.github/workflows/main.yml Outdated Show resolved Hide resolved

gares commented

View reviewed changes

.github/workflows/doc.yml Outdated Show resolved Hide resolved

gares commented

View reviewed changes

Changelog.md Show resolved Hide resolved

gares commented

View reviewed changes

.github/workflows/doc.yml Outdated Show resolved Hide resolved

gares force-pushed the fix-synterp branch from d00feee to 936193a Compare

December 8, 2023 09:04

gares commented

View reviewed changes

.github/workflows/doc.yml Show resolved Hide resolved


          synterp

03ce207

gares force-pushed the fix-synterp branch from 7958e13 to 03ce207 Compare

December 8, 2023 09:51

gares merged commit eed07eb into master

38 of 45 checks passed

gares deleted the fix-synterp branch

December 8, 2023 10:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet