notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
Port details
bddsolve BDD-based satisfiability and reachability solver
1.04_9 science on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. 1.04_9Version of this port present on the latest quarterly branch.
Maintainer: ed@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2010-05-12 13:26:00
Last Update: 2019-12-11 17:53:49
SVN Revision: 519824
License: not specified in port
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (3 items)
Collapse this list.
  1. bin/bddsolve
  2. share/examples/bddsolve/reach.b
  3. share/examples/bddsolve/sat.b
Collapse this list.
Dependency lines:
  • bddsolve>0:science/bddsolve
To install the port: cd /usr/ports/science/bddsolve/ && make install clean
To add the package: pkg install bddsolve
PKGNAME: bddsolve
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
bddsolve
ABIlatestquarterly
FreeBSD:11:aarch641.04_31.04_9
FreeBSD:11:amd641.04_91.04_9
FreeBSD:11:armv61.03_11.04_9
FreeBSD:11:i3861.04_91.04_9
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch641.04_31.04_9
FreeBSD:12:amd641.04_91.04_9
FreeBSD:12:armv61.04_31.04_9
FreeBSD:12:armv71.04_31.04_9
FreeBSD:12:i3861.04_91.04_9
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-1.04_9
FreeBSD:13:aarch641.04_9-
FreeBSD:13:amd641.04_9-
FreeBSD:13:armv61.04_9-
FreeBSD:13:armv71.04_9-
FreeBSD:13:i3861.04_9-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc641.04_9-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Library dependencies:
  1. libbdd.so : science/buddy
  2. libboost_program_options.so : devel/boost-libs
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
Expand this list (1 items)
    Collapse this list.
  1. http://www.win.tue.nl/~wieger/bddsolve/_downloads/
  2. Collapse this list.

Number of commits found: 31

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
11 Dec 2019 17:53:49
Original commit files touched by this commit  1.04_9
Revision:519824
jbeich search for other commits by this committer
devel/boost-*: update to 1.72.0

Changes:	http://www.boost.org/users/history/version_1_72_0.html
PR:		241449
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D22136
19 Aug 2019 15:35:28
Original commit files touched by this commit  1.04_8
Revision:509290
jbeich search for other commits by this committer
devel/boost-*: update to 1.71.0

Changes:	http://www.boost.org/users/history/version_1_71_0.html
PR:		238827
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D20774
26 Jul 2019 20:46:57
Original commit files touched by this commit  1.04_7
Revision:507372
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
12 Apr 2019 06:36:31
Original commit files touched by this commit  1.04_6
Revision:498698
jbeich search for other commits by this committer
devel/boost-*: update to 1.70.0

Changes:	http://www.boost.org/users/history/version_1_70_0.html
PR:		235956
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D19303
12 Dec 2018 01:35:36
Original commit files touched by this commit  1.04_5
Revision:487272
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
12 Dec 2018 00:15:50
Original commit files touched by this commit  1.04_4
Revision:487266
jbeich search for other commits by this committer
devel/boost-*: update to 1.69.0

Changes:	http://www.boost.org/users/history/version_1_69_0.html
PR:		232525
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D17645
22 Sep 2018 05:30:32
Original commit files touched by this commit  1.04_3
Revision:480340
linimon search for other commits by this committer
Fix build on gcc-based archs by updating USES.

Tested on powerpc64 and amd64 (for no regression).

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
09 Aug 2018 06:58:31
Original commit files touched by this commit  1.04_3
Revision:476723
jbeich search for other commits by this committer
devel/boost-*: update to 1.68.0

- Switch to C++14 for libboost_system to support C++14 consumers

Changes:	http://www.boost.org/users/history/version_1_68_0.html
PR:		229569
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D16165
18 Apr 2018 13:57:43
Original commit files touched by this commit  1.04_2
Revision:467711
jbeich search for other commits by this committer
devel/boost-*: update to 1.67.0

Changes:	http://www.boost.org/users/history/version_1_67_0.html
PR:		227427
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D15030
09 Mar 2018 22:46:22
Original commit files touched by this commit  1.04_1
Revision:464036
linimon search for other commits by this committer
Add more information to stub error messages.

Remove BROKEN lines where IGNORE has already been set.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
18 Jan 2018 04:11:03
Original commit files touched by this commit  1.04_1
Revision:459315
jbeich search for other commits by this committer
devel/boost-*: update to 1.66.0

Changes:	http://www.boost.org/users/history/version_1_66_0.html
PR:		223922
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D13279
17 Jan 2018 14:28:32
Original commit files touched by this commit  1.04
Revision:459258
ed search for other commits by this committer
Upgrade bddsolve to version 1.04.

This release includes a fix that should make it build with C++14.

PR:   216080
Reviewed by:	jbeich
Differential Revision:	https://reviews.freebsd.org/D13951
25 Sep 2017 00:08:17
Original commit files touched by this commit  1.03_6
Revision:450560
jbeich search for other commits by this committer
devel/boost-*: update to 1.65.1

Changes:	http://www.boost.org/users/history/version_1_65_1.html
PR:		218835
Approved by:	maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by:	jhibbits (on powerpc64, earlier version)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
25 Sep 2017 00:05:06
Original commit files touched by this commit  1.03_5
Revision:450557
jbeich search for other commits by this committer
devel/boost-*: enable C++11 features

PR:		218835
Obtained from:	https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by:	maintainer timeout (2 months)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
02 May 2017 06:48:11
Original commit files touched by this commit  1.03_4
Revision:439934
jbeich search for other commits by this committer
devel/boost-*: update to 1.64.0

Changes:	http://www.boost.org/users/history/version_1_64_0.html
PR:		218835
Approved by:	office (bapt)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D10472
06 Jan 2017 08:45:04
Original commit files touched by this commit  1.03_3
Revision:430692
jbeich search for other commits by this committer
devel/boost-*: update to 1.63.0

Changes:	http://www.boost.org/users/history/version_1_63_0.html
PR:		215598
Exp-run by:	antoine
Approved by:	office (bapt)
MFH:		2017Q1
23 Nov 2016 12:45:47
Original commit files touched by this commit  1.03_2
Revision:426908
jbeich search for other commits by this committer
devel/boost-*: update to 1.62.0

- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC

Changes:	http://www.boost.org/users/history/
PR:		199601
Submitted by:	Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by:	rakuco (kde) (earlier version)
Exp-run by:	antoine (3 tries), truckman (consumers only, earlier versions)
Approved by:	bapt (office)
21 Apr 2016 16:43:15
Original commit files touched by this commit  1.03_1
Revision:413746
swills search for other commits by this committer
many ports: mark broken on powerpc64
01 Apr 2016 14:25:18
Original commit files touched by this commit  1.03_1
Revision:412349
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.

With hat:	portmgr
Sponsored by:	Absolight
25 Feb 2015 12:01:53
Original commit files touched by this commit  1.03_1
Revision:379903
marino search for other commits by this committer
science/bddsolve: Set environment, use CXXFLAGS, cleanup

This port had two main problems:
  1) failure to set the enviroment in the build target
  2) failure to use CXXFLAGS with CXX

While fixing those, clean up a bit:
  3) remove <pre>,<post> by using BROKEN_powerpc instead
  4) use CFLAGS+= to augment CFLAGS
  5) use LDFLAGS+= to augment LDFLAGS
  6) simplify do-build target accordingly

Approved by:	just fix it
12 Nov 2014 18:48:53
Original commit files touched by this commit  1.03_1
Revision:372500
antoine search for other commits by this committer
Cleanup plist
20 Mar 2014 09:34:20
Original commit files touched by this commit  1.03_1
Revision:348672
ehaupt search for other commits by this committer
- Support staging
- Define EXAMPLES option
- Don't install to LOCALBASE
10 Mar 2014 17:01:37
Original commit files touched by this commit  1.03_1
Revision:347784
bapt search for other commits by this committer
Convert s* to USES=zip
07 Feb 2014 11:44:09
Original commit files touched by this commit  1.03_1
Revision:343214
bapt search for other commits by this committer
Chase boost and icu bump
While here convert some LIB_DEPENDS
12 Dec 2013 14:15:04
Original commit files touched by this commit  1.03
Revision:336262
bapt search for other commits by this committer
Convert LIB_DEPENDS for ports depending on boost
20 Sep 2013 22:48:31
Original commit files touched by this commit  1.03
Revision:327767
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
science)
14 Sep 2013 19:13:46
Original commit files touched by this commit  1.03
Revision:327313
ed (src committer) search for other commits by this committer
Remove USE_GCC.

All versions of FreeBSD we support are shipped with at least GCC 4.2.1
or Clang. The code seems to build fine with Clang. In fact, on platforms
where we no longer ship libstdc++, this port seems to only build using
Clang.
14 Sep 2013 19:08:52
Original commit files touched by this commit  1.03
Revision:327312
ed (src committer) search for other commits by this committer
Bump bddsolve to version 1.0.3.

Though this does not yet fix the build on FreeBSD HEAD, this version
does fix some tiny issues that prevent it from being built with clang.
28 Dec 2011 06:53:08
Original commit files touched by this commit  1.02

linimon search for other commits by this committer
Mark as broken on powerpc.

Hat:            portmgr
03 Jul 2011 13:22:25
Original commit files touched by this commit  1.02

ohauer search for other commits by this committer
 - remove MD5
12 May 2010 13:25:37
Original commit files touched by this commit  1.02

beat search for other commits by this committer
Bddsolve is a BDD-based tool for solving satisfiability and reachability
problems.  It uses the BDD package Buddy as a backend.

WWW: http://www.win.tue.nl/~wieger/bddsolve/

Submitted by:   ed@

Number of commits found: 31

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
giteaNov 21
nodeNov 21
node12Nov 21
node14Nov 21
muttNov 20
mantisNov 14
goNov 12
py-saltNov 12
openoffice-4Nov 10
openoffice-develNov 10
raptor2Nov 09
py-notebookNov 08
mariadb103-server*Nov 07
mariadb104-server*Nov 07
mariadb105-server*Nov 07

9 vulnerabilities affecting 54 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-11-22 15:51:41


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41453
Broken 62
Deprecated 279
Ignore 302
Forbidden 4
Restricted 142
No CDROM 73
Vulnerable 19
Expired 4
Set to expire 249
Interactive 0
new 24 hours 4
new 48 hours4
new 7 days30
new fortnight95
new month176

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.