Page MenuHomeSolus
Differential D9754

Initial packaging of Z3 4.8.9
ClosedPublic
Actions

Authored by silke on Sep 30 2020, 11:09 AM.
Tags
None
Referenced Files
F11066568: D9754.id23504.diff
Fri, Aug 11, 6:18 PM
F11047323: D9754.diff
Thu, Aug 10, 3:15 PM
F11018855: D9754.id23504.diff
Sun, Aug 6, 3:20 PM
F10931248: D9754.id23504.diff
Jul 11 2023, 6:30 PM
F10928113: D9754.id23494.diff
Jul 10 2023, 10:11 PM
F10892219: D9754.diff
Jun 29 2023, 7:51 PM
F10855434: D9754.diff
Jun 14 2023, 8:19 AM
F10855430: D9754.diff
Jun 14 2023, 8:11 AM
View All 13 Files
Subscribers
JoshStrobl

Details

Reviewers
JoshStrobl
Group Reviewers
Triage Team
Commits
R5080:d955f6956eeb: Initial packaging of Z3 4.8.9
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
Lint Not Applicable
Unit
Tests Not Applicable

Revision Contents
Changeset List

PathSize
5 lines
1 line
707 lines
6 lines
16 lines
68 lines

Diff 23504

View Options

MAINTAINERS.md

Loading...
View Options

Makefile

Loading...
View Options

abi_symbols

Loading...
View Options

abi_used_libs

Loading...
View Options

package.yml

Loading...
View Options

pspec_x86_64.xml

Loading...
Copyright © 2015-2021 Solus Project. The Solus logo is Copyright © 2016-2021 Solus Project. All Rights Reserved.