Page MenuHomeSolus

Initial packaging of Z3 4.8.9
ClosedPublic

Authored by silke on Wed, Sep 30, 11:09 AM.

Details

Summary

Initial packaging of the Z3 theorem prover a (highly recommended) dependency of Cppcheck.

Test Plan

Build cppcheck against z3.

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

silke created this revision.Wed, Sep 30, 11:09 AM
silke requested review of this revision.Wed, Sep 30, 11:09 AM
JoshStrobl accepted this revision.Wed, Sep 30, 5:38 PM
JoshStrobl added a subscriber: JoshStrobl.

LGTM, thanks!

This revision is now accepted and ready to land.Wed, Sep 30, 5:38 PM
This revision was automatically updated to reflect the committed changes.