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
Unknown Object (File)
Sat, Oct 11, 11:14 PM
Unknown Object (File)
Fri, Oct 10, 2:08 AM
Unknown Object (File)
Sun, Oct 5, 1:55 PM
Unknown Object (File)
Mon, Sep 22, 11:02 PM
Unknown Object (File)
Sep 14 2025, 6:39 PM
Unknown Object (File)
Sep 14 2025, 1:40 AM
Unknown Object (File)
Sep 12 2025, 7:45 PM
Unknown Object (File)
Sep 11 2025, 12:07 AM
View All 89 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...