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
F111412363: D15864.diff
Mon, Mar 3, 11:01 AM
Unknown Object (File)
Fri, Feb 21, 5:08 PM
Unknown Object (File)
Jan 31 2025, 10:02 PM
Unknown Object (File)
Dec 11 2024, 10:00 PM
Unknown Object (File)
Dec 6 2024, 11:56 AM
Unknown Object (File)
Sep 23 2024, 8:01 PM
Unknown Object (File)
Sep 15 2024, 9:22 PM
Unknown Object (File)
Sep 15 2024, 9:18 PM
View All 47 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

Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 17371
Build 17204: arc lint + arc unit

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

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

Diff 43943

View Options

math/z3/Makefile

Loading...
View Options

math/z3/distinfo

Loading...
View Options

math/z3/files/patch-src_util_lp_lp__solver__instances.cpp

Loading...