Page MenuHomeSolus

Update z3 to 4.8.17

Authored by GZGavinZhao on Thu, Jun 9, 10:48 PM.


Group Reviewers
Triage Team
Test Plan
  • Successfully ran built-in tests.
  • Successfully built and ran solidity.

Signed-off-by: Gavin Zhao <>

Diff Detail

R5080 z3
No Linters Available
No Unit Test Coverage
Build Status
Buildable 3945
Build 3945: arc lint + arc unit

Event Timeline

GZGavinZhao created this revision.Thu, Jun 9, 10:48 PM
GZGavinZhao requested review of this revision.Thu, Jun 9, 10:48 PM
Staudey accepted this revision.Fri, Jun 10, 4:46 PM
Staudey added a subscriber: Staudey.

LGTM, thanks!

This revision is now accepted and ready to land.Fri, Jun 10, 4:46 PM
Staudey requested changes to this revision.Fri, Jun 10, 4:47 PM

Whoops, actually this needs to be rebased (the Python 3.10 rebuild happened in the meantime). My bad.

This revision now requires changes to proceed.Fri, Jun 10, 4:47 PM

While we're at it; can you check if this may build with openjdk-17?

Rebuild against openjdk-17 and rebase against Python 3.10.

Still doesn't seem to be based on latest master. The current release is 7, by Joey; your patch still has release 6 (glibc rebuild by Girtablulu) as parent.

GZGavinZhao abandoned this revision.Sun, Jun 12, 6:39 PM

In favor of D13282.