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

[tc] attribute parser for the creation of elpi predicates for tc #709

Open

FissoreD wants to merge 1 commit into LPCIC:master from FissoreD:tc-pending-attributes

Collaborator

FissoreD commented Oct 28, 2024

No description provided.


          [tc] attribute parser for the creation of elpi predicates for tc

c8f0366

FissoreD force-pushed the tc-pending-attributes branch from 86e20a4 to c8f0366 Compare

October 28, 2024 16:37

Collaborator Author

FissoreD commented Oct 29, 2024

The CI does not pass since it uses elpi-1.19.2 and in the PR there is a call to std.once added in elpi-1.19.4

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

Labels

None yet