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

[SMT] Add SMTLIB export for push & pop operations #7873

Merged

TaoBi22 merged 1 commit into llvm:main from TaoBi22:push-pop-smtlib-export

Nov 22, 2024

Contributor

TaoBi22 commented Nov 22, 2024

Just adds an SMTLIB export for push/pop ops added in #7865


          [SMT] Add SMTLIB lowering for push & pop operations

51fb88e

TaoBi22 requested a review from maerhart as a code owner

November 22, 2024 16:22

TaoBi22 changed the title ~~[SMT] Add SMTLIB lowering for push & pop operations~~ [SMT] Add SMTLIB export for push & pop operations

maerhart approved these changes

View reviewed changes

Member

maerhart left a comment

Very nice! Thanks for the thorough tests! 🎉

TaoBi22 mentioned this pull request

[SMT] Add integration tests for smt.reset #7874

Merged

TaoBi22 merged commit cd7b8b3 into llvm:main

4 checks passed

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

Labels

None yet