Skip to content
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

Add method filter_rewrites to KoreDefn #4739

Merged
merged 2 commits into from
Jan 20, 2025
Merged

Add method filter_rewrites to KoreDefn #4739

merged 2 commits into from
Jan 20, 2025

Conversation

tothtamas28
Copy link
Contributor

Restrict rewrite rules to specific labels.

@tothtamas28
Add method filter_rewrites to KoreDefn
8d1ce97 
Restrict rewrite rules to specific labels.
@tothtamas28 tothtamas28 self-assigned this Jan 20, 2025
@tothtamas28
Copy link
Contributor Author

After filtering for EVM-OPTIMIZATIONS.optimized.add and projecting the evm-semantics.llvm definition to rewrite rules, the following function symbols are left:

#sizeWordStack
_-Gas__GAS-SYNTAX_Gas_Gas_Gas
_<=Gas__GAS-SYNTAX_Bool_Gas_Gas
_<_>_SCHEDULE_Int_ScheduleConst_Schedule
_=/=K_
_andBool_
_orBool_
chop
ite
notBool_
sizeWordStackAux

@tothtamas28 tothtamas28 requested a review from JuanCoRo January 20, 2025 17:12
@tothtamas28 tothtamas28 marked this pull request as ready for review January 20, 2025 17:12
JuanCoRo
JuanCoRo approved these changes Jan 20, 2025
View reviewed changes
Copy link
Member

@JuanCoRo JuanCoRo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 14697a2 into develop Jan 20, 2025
18 checks passed
@automergerpr-permission-manager automergerpr-permission-manager bot deleted the rule-defn branch January 20, 2025 20:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JuanCoRo JuanCoRo JuanCoRo approved these changes

Assignees

@tothtamas28 tothtamas28

Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tothtamas28 @JuanCoRo