Skip to content

feat: support join points in vcgen via synthetic backward rules - #14398

Draft
sgraf812 wants to merge 35 commits into
masterfrom
sg/vcgen-jp
Draft

feat: support join points in vcgen via synthetic backward rules#14398
sgraf812 wants to merge 35 commits into
masterfrom
sg/vcgen-jp

perf: hash-cons the inferred and elaborated terms entering vcgen goals

a5761e0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar