Page MenuHomeSolus

Update z3 to 4.8.17
ClosedPublic

Authored by GZGavinZhao on Sun, Jun 12, 6:38 PM.

Details

Summary
Test Plan
  • Successfully ran built-in tests.
  • Successfully built and ran solidity.

Signed-off-by: Gavin Zhao <git@gzgz.dev>

Diff Detail

Repository
R5080 z3
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

GZGavinZhao created this revision.Sun, Jun 12, 6:38 PM
GZGavinZhao requested review of this revision.Sun, Jun 12, 6:38 PM
Staudey accepted this revision.Sun, Jun 12, 9:50 PM
Staudey added a subscriber: Staudey.

LGTM now, thanks 😉

This revision is now accepted and ready to land.Sun, Jun 12, 9:50 PM
This revision was automatically updated to reflect the committed changes.