Differential D13282

Update z3 to 4.8.17
ClosedPublic
Actions

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

Details

Reviewers

Staudey

Group Reviewers

Triage Team

Commits

R5080:d36d469b642d: Update z3 to 4.8.17

Summary

Changes:

Changelog for 4.8.17: https://github.com/Z3Prover/z3/releases/tag/z3-4.8.17
Changelog for 4.8.16: https://github.com/Z3Prover/z3/releases/tag/z3-4.8.16
Changelog for 4.8.15: https://github.com/Z3Prover/z3/releases/tag/z3-4.8.15
Enable tests.

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

Herald added a reviewer: Triage Team. · View Herald TranscriptSun, Jun 12, 6:38 PM

GZGavinZhao requested review of this revision.Sun, Jun 12, 6:38 PM

Harbormaster completed remote builds in B3962: Diff 32477.Sun, Jun 12, 6:38 PM

GZGavinZhao mentioned this in D13269: Update z3 to 4.8.17.Sun, Jun 12, 6:39 PM

GZGavinZhao added a child revision: D13270: Update solidity to 0.8.14.Sun, Jun 12, 6:42 PM

LGTM now, thanks 😉

This revision is now accepted and ready to land.Sun, Jun 12, 9:50 PM

Closed by commit R5080:d36d469b642d: Update z3 to 4.8.17 (authored by GZGavinZhao, committed by Staudey). · Explain WhySun, Jun 12, 9:51 PM

This revision was automatically updated to reflect the committed changes.

Staudey added a commit: R5080:d36d469b642d: Update z3 to 4.8.17.

Revision Contents
Changeset List

			Path	Packages
M			abi_symbols (15 lines)
M			abi_used_symbols (12 lines)
M			package.yml (13 lines)
M			pspec_x86_64.xml (22 lines)

Diff	ID	Base	Description	Created	Lint	Unit
Base			Base
Diff 1	32477	cd00e98		Sun, Jun 12, 6:38 PM	★	★
Diff 2	32479	cd00e98	R5080:d36d469b642dfabb45526367ada0a0d652dc38d4	Sun, Jun 12, 9:50 PM	★	★

Status	Author	Revision
Closed	GZGavinZhao	D13270 Update solidity to 0.8.14
Abandoned	GZGavinZhao	D13269 Update z3 to 4.8.17
Closed	GZGavinZhao	D13282 Update z3 to 4.8.17

Diff 32479

View Options

abi_symbols

View Options

abi_used_symbols

View Options

package.yml

View Options

Update z3 to 4.8.17ClosedPublicActions

Details

Diff Detail

Event Timeline

Revision ContentsChangeset List

Diff 32479

abi_symbols

abi_used_symbols

package.yml

pspec_x86_64.xml

Update z3 to 4.8.17
ClosedPublic
Actions

Revision Contents
Changeset List