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

Skip unneeded substitutions #305

Merged

NatKarmios merged 3 commits into GillianPlatform:master from N1ark:less-substs

Aug 3, 2024

Contributor

N1ark commented Jul 30, 2024 •

edited

Loading

Filter out all substitutions that do nothing (substituting two equal expressions)
Avoid attempting substitutions if the substitution set is empty.
(ping @NatKarmios)

N1ark and others added 2 commits

July 30, 2024 23:21


          Skip substitutions if empty

332a041


          Merge branch 'master' into less-substs

349b0c1

NatKarmios approved these changes

View reviewed changes


          Merge branch 'master' into less-substs

133648a

NatKarmios merged commit 8ed4c3b into GillianPlatform:master

3 checks passed

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

Labels

None yet