aboutsummaryrefslogtreecommitdiff
path: root/math/z3
Commit message (Expand)AuthorAgeFilesLines
* math/z3: Update to 4.8.8.Gleb Popov2020-05-133-16/+5
* math/z3: fix build on powerpc with clangPiotr Kubaj2020-04-141-0/+1
* math/z3: Pull in upstream patch to fix build on i386.Gleb Popov2019-11-241-0/+11
* math/z3: Update to 4.8.7.Gleb Popov2019-11-232-4/+4
* math/z3: Update to 4.8.6.Gleb Popov2019-09-213-17/+9
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* math/z3: Update to 4.8.5.Gleb Popov2019-06-262-5/+5
* math/z3: Update to 4.8.4.Gleb Popov2019-02-232-5/+4
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-0/+1
* math/z3: Update to 4.8.3Gleb Popov2018-11-243-11/+10
* math/z3: Add compiler:c++11-lang to USES.Gleb Popov2018-09-221-1/+1
* math/z3: add -znotext to LDFLAGS on i386, for lldEd Maste2018-09-181-0/+1
* math/z3: Fix the python binding to work for all python versionsYuri Victorovich2018-07-242-32/+4
* math/z3: Update to 4.7.1.Gleb Popov2018-06-173-16/+5
* Mark this ports unbroken on powerpc64.Mark Linimon2018-03-091-1/+0
* Update to 4.6.0 release and create shared lib symlink.Alex Dupre2018-01-235-9/+22
* math/z3: Add missing dependency on devel/py-setuptoolsJoseph Mingrone2017-12-241-1/+2
* Convert Python ports to FLAVORS.Mathieu Arnold2017-11-301-2/+2
* math/z3: Patch to add SONAME to shared libraryJoseph Mingrone2017-09-052-3/+5
* - Update to 4.5.0Wen Heping2016-12-094-104/+50
* many ports: mark broken on powerpc64Steve Wills2016-04-211-0/+2
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
* Port improvements and modernizationMark Felder2015-09-233-9/+22
* Z3 is a high-performance theorem prover developedMark Felder2015-09-225-0/+154