Page MenuHomeFreeBSD
Differential D15864

math/z3: Update to 4.7.1.
ClosedPublic
Actions

Authored by arrowd on Jun 17 2018, 2:01 PM.
Tags
None
Referenced Files
F155049451: D15864.id43943.diff
Thu, Apr 30, 11:28 PM
Unknown Object (File)
Tue, Apr 28, 4:50 AM
Unknown Object (File)
Sat, Apr 25, 5:48 AM
Unknown Object (File)
Sat, Apr 25, 2:25 AM
Unknown Object (File)
Wed, Apr 8, 2:29 PM
Unknown Object (File)
Wed, Apr 8, 12:26 AM
Unknown Object (File)
Feb 28 2026, 12:20 AM
Unknown Object (File)
Dec 19 2025, 12:21 AM
View All Files
Subscribers
None

Details

Reviewers
tcberner
AMDmi3
Group Reviewers
Contributor Reviewers (ports)
Commits
rP472613: math/z3: Update to 4.7.1.
Test Plan

pou testport on 10.4 and CURRENT.

Diff Detail

Repository
rP FreeBSD ports repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

arrowd created this revision.Jun 17 2018, 2:01 PM
Harbormaster completed remote builds in B17371: Diff 43943.Jun 17 2018, 2:01 PM
tcberner added inline comments.Jun 17 2018, 2:57 PM
math/z3/Makefile
8 ↗(On Diff #43943)

You should switch to your @FreeBSD.org address

tcberner accepted this revision.Jun 17 2018, 3:54 PM

Apart from the eMail it looks fine.

This revision is now accepted and ready to land.Jun 17 2018, 3:54 PM
Closed by commit rP472613: math/z3: Update to 4.7.1. (authored by arrowd). · Explain WhyJun 17 2018, 5:23 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
head/
math/
z3/
4 lines
6 lines
files/
11 lines

Diff 43953

View Options

head/math/z3/Makefile

Loading...
View Options

head/math/z3/distinfo

Loading...
View Options

head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp

Loading...