HomeSolus
Diffusion z3 c42031c786d2

Update Z3 to 4.8.11

Authored by silke on Jun 22 2021, 5:59 PM.

Description

Update Z3 to 4.8.11

Summary: Release notes can be found here and here.

Test Plan: Run cppcheck in bug-hunting mode, which uses z3 to find bugs.

Reviewers: Triage Team, JoshStrobl

Reviewed By: Triage Team, JoshStrobl

Subscribers: JoshStrobl

Differential Revision: https://dev.getsol.us/D11315

Details

Committed
JoshStroblJun 22 2021, 6:00 PM
Pushed
JoshStroblJun 22 2021, 6:00 PM
Reviewer
Triage Team
Differential Revision
D11315: Update Z3 to 4.8.11
Parents
R5080:6ddd794463c0: Update abireport for glibc
Branches
Unknown
Tags
Unknown
References
tag: z3-4.8.11-2