Page MenuHomeFreeBSD
Differential D19306

math/z3: Update to 4.8.4.
ClosedPublic
Actions

Authored by arrowd on Feb 23 2019, 10:18 AM.
Tags
None
Referenced Files
F139439778: D19306.id54261.diff
Fri, Dec 12, 2:52 AM
F139439768: D19306.id54248.diff
Fri, Dec 12, 2:52 AM
Unknown Object (File)
Fri, Nov 28, 12:34 PM
Unknown Object (File)
Tue, Nov 25, 2:31 PM
Unknown Object (File)
Fri, Nov 14, 11:28 PM
Unknown Object (File)
Wed, Nov 12, 10:16 PM
Unknown Object (File)
Nov 12 2025, 11:44 AM
Unknown Object (File)
Nov 9 2025, 8:50 AM
View All 76 Files
Subscribers
None

Details

Reviewers
tcberner
Commits
rP493700: math/z3: Update to 4.8.4.
Test Plan

poud testport && run z3.

Diff Detail

Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 22668
Build 21772: arc lint + arc unit

Event Timeline

arrowd created this revision.Feb 23 2019, 10:18 AM
Harbormaster completed remote builds in B22668: Diff 54248.Feb 23 2019, 10:18 AM
tcberner accepted this revision.Feb 23 2019, 11:15 AM

Looks good to me.

This revision is now accepted and ready to land.Feb 23 2019, 11:15 AM
Closed by commit rP493700: math/z3: Update to 4.8.4. (authored by arrowd). · Explain WhyFeb 23 2019, 4:26 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
math/
z3/
3 lines
6 lines

Diff 54248

View Options

math/z3/Makefile

Loading...
View Options

math/z3/distinfo

Loading...