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

Update Z3 to 4.13.0 or later #15198

Open
cameel opened this issue Jun 14, 2024 · 1 comment
Open

Update Z3 to 4.13.0 or later #15198

cameel opened this issue Jun 14, 2024 · 1 comment
Labels
build system 🏗️ low effort There is not much implementation work to be done. The task is very easy or tiny. low impact Changes are not very noticeable or potential benefits are limited. must have Something we consider an essential part of Solidity 1.0. smt

Comments

@cameel
Copy link
Member

cameel commented Jun 14, 2024

The last time we updated Z3 was 4.12.1 over a year ago (#14074/#14076). 4.13.0 has been released in April, it's about time to update.

This is not critical since it mostly affects tests (they are all guaranteed to pass only on the single version we use in CI), but it's best if we stay on top of the latest version. New versions may need some changes on our side, which could be the reason behind issues like #15196.
@cameel cameel added build system 🏗️ low effort There is not much implementation work to be done. The task is very easy or tiny. low impact Changes are not very noticeable or potential benefits are limited. must have Something we consider an essential part of Solidity 1.0. smt labels Jun 14, 2024
@cameel cameel mentioned this issue Jun 14, 2024
Open
@blishko
Copy link
Contributor

blishko commented Jun 17, 2024

There are definitely some regressions in our test suite with Z3 4.13.0, so we cannot update right away.
I have filed an issue in Z3. Let's see if can get to the bottom of this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
build system 🏗️ low effort There is not much implementation work to be done. The task is very easy or tiny. low impact Changes are not very noticeable or potential benefits are limited. must have Something we consider an essential part of Solidity 1.0. smt
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@cameel @blishko