Skip to content

verify: Share the subterms of logic terms instead of copying them - #64

Merged
SwayamInSync merged 14 commits into
mainfrom
perf/shared-logic-terms
Oct 24, 2026
Merged

verify: Share the subterms of logic terms instead of copying them#64
SwayamInSync merged 14 commits into
mainfrom
perf/shared-logic-terms

docs: Note the memory large functions take in the release notes.

244286e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar