Skip to content

Issues: LPCIC/coq-elpi

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.

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

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

coq-elpi.dev doesn't compile
#722 by aleksnanevski was closed Dec 1, 2024
coq.TC.get-inst-prio reports wrong priority
#716 by Janno was closed Nov 27, 2024
Broken in Coq CI
#695 by SkySkimmer was closed Oct 7, 2024
Locating inside module can lead to anomaly
#619 by trilis was closed Apr 16, 2024
Add binding for coqs namegen API
#554 by lukovdm was closed Nov 29, 2023
Bug in declaring parsing actions
#516 by gares was closed Oct 12, 2023
document @ltacfail! in the tutorial
#501 by gares was closed Sep 30, 2023
automate release
#495 by gares was closed Sep 5, 2024
quotations don't check for EOI
#468 by gares was closed Jul 27, 2023 1.18.0
ProTip! What’s not been updated in a month: updated:<2024-12-24.