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

Remove `Atts.KLABEL` #4506

Merged

rv-jenkins merged 2 commits into develop from remove-atts-klabel

Jul 10, 2024

Contributor

tothtamas28 commented Jul 8, 2024 •

edited

Loading

Related:

Changes:

Remove Atts.KLABEL
Make Atts.SYMBOL unary


          Remove Atts.KLABEL

1a9cac3

tothtamas28 self-assigned this

tothtamas28 requested review from Baltoli and gtrepta

July 8, 2024 17:57

tothtamas28 marked this pull request as ready for review

July 8, 2024 17:58

tothtamas28 mentioned this pull request

Replace klabel by symbol in solc_to_k runtimeverification/kontrol#685

Closed

Baltoli approved these changes

View reviewed changes

Baltoli added the automerge label


          Merge branch 'develop' into remove-atts-klabel

02dc693

rv-jenkins merged commit 981f5e6 into develop

18 checks passed

rv-jenkins deleted the remove-atts-klabel branch

July 10, 2024 10:02

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

Labels