Skip to content

Add helper methods for KAst terms #2433

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
Merged
merged 2 commits into from
May 18, 2024
Merged

Add helper methods for KAst terms #2433

merged 2 commits into from
May 18, 2024

Conversation

anvacaru
Copy link
Contributor

Adding two new static methods required in Kontrol:

  • buf(width: int, v: KInner) -> KApply
  • wordstack_empty() -> KApply

Refactoring in kevm.py:

  • adding pc_applied(op: KInner) -> KApply
  • using pc_applied, notBool and eqInt instead of manual KApply.

@anvacaru anvacaru added enhancement New feature or request automerge labels May 18, 2024
@anvacaru anvacaru self-assigned this May 18, 2024
@rv-jenkins rv-jenkins merged commit 367ce72 into master May 18, 2024
11 checks passed
@rv-jenkins rv-jenkins deleted the kast-helpers branch May 18, 2024 13:23
@anvacaru anvacaru mentioned this pull request May 20, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@PetarMax PetarMax PetarMax approved these changes

@tothtamas28 tothtamas28 Awaiting requested review from tothtamas28

@palinatolmach palinatolmach Awaiting requested review from palinatolmach

Assignees

@anvacaru anvacaru

Labels
automerge enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@anvacaru @PetarMax @rv-jenkins @rv-auditor