Skip to content

perf: memoize constr quotations - #10

Merged
dhalilov merged 1 commit into
epfl-systemf:mainfrom
dhalilov:memoize-constrs
Aug 17, 2026
Merged

dhalilov merged 1 commit into
epfl-systemf:mainfrom
dhalilov:memoize-constrs

Conversation

@dhalilov

Copy link
Copy Markdown
Member

Since a constr does not contain evars, it should be safe to treat it as a constant and memoize it the first time it is obtained.

Since a `constr` does not contain evars, it should be safe to treat it as a constant
and memoize it the first time it is obtained.
@dhalilov dhalilov added this to the 0.1 milestone Aug 17, 2026
@dhalilov dhalilov changed the title fix: memoize constr quotations perf: memoize constr quotations Aug 17, 2026
@dhalilov
dhalilov merged commit 4dbf88c into epfl-systemf:main Aug 17, 2026
4 checks passed
@dhalilov
dhalilov deleted the memoize-constrs branch August 17, 2026 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant