HomeSolus
Diffusion z3 7e1eff353591

Update z3 to 4.8.12

Authored by silke on Wed, Jul 21, 8:03 PM.

Description

Update z3 to 4.8.12

Summary: Release notes can be found 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/D11503

Details

Committed
JoshStroblWed, Jul 21, 8:03 PM
Pushed
JoshStroblWed, Jul 21, 8:03 PM
Reviewer
Triage Team
Differential Revision
D11503: Update z3 to 4.8.12
Parents
R5080:c42031c786d2: Update Z3 to 4.8.11
Branches
Unknown
Tags
Unknown
References
HEAD -> master, tag: z3-4.8.12-3