Skip to content

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

Open
FissoreD wants to merge 1 commit into
LPCIC:masterfrom
FissoreD:tc-pending-attributes
Open

[tc] attribute parser for the creation of elpi predicates for tc#709
FissoreD wants to merge 1 commit into
LPCIC:masterfrom
FissoreD:tc-pending-attributes

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

c8f0366
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs