aboutsummaryrefslogtreecommitdiff
path: root/science/bddsolve
Commit message (Expand)AuthorAgeFilesLines
* devel/boost: bump consumers after library updateDima Panov2024-02-131-1/+1
* science/bddsolve: fix build with boost 1.83.0Piotr Kubaj2023-10-011-1/+1
* devel/boost*: bump all consumers after 1.83.0Dima Panov2023-09-271-1/+1
* */*: bump all direct Boost cunsumersDima Panov2023-04-271-1/+1
* */*: bump libboost*.so libraries consumert after Boost upgradeDima Panov2023-01-161-1/+1
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* */*: bump all consumers after recent boost upgradeDima Panov2022-08-121-1/+1
* science: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* devel/boost-all: bump all library consumers after boost upgradeDima Panov2022-05-221-1/+1
* science/bddsolve: enable on powerpcPiotr Kubaj2022-04-271-2/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-1/+1
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+1
* devel/boost-*: update to 1.69.0Jan Beich2018-12-121-1/+1
* Fix build on gcc-based archs by updating USES.Mark Linimon2018-09-221-2/+1
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-1/+1
* devel/boost-*: update to 1.67.0Jan Beich2018-04-181-1/+1
* Add more information to stub error messages.Mark Linimon2018-03-091-2/+2
* devel/boost-*: update to 1.66.0Jan Beich2018-01-181-0/+1
* Upgrade bddsolve to version 1.04.Ed Schouten2018-01-172-4/+4
* devel/boost-*: update to 1.65.1Jan Beich2017-09-251-1/+1
* devel/boost-*: enable C++11 featuresJan Beich2017-09-251-1/+1
* devel/boost-*: update to 1.64.0Jan Beich2017-05-021-1/+1
* devel/boost-*: update to 1.63.0Jan Beich2017-01-061-1/+1
* devel/boost-*: update to 1.62.0Jan Beich2016-11-231-1/+1
* many ports: mark broken on powerpc64Steve Wills2016-04-211-0/+2
* Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.Mathieu Arnold2016-04-011-2/+2
* science/bddsolve: Set environment, use CXXFLAGS, cleanupJohn Marino2015-02-251-9/+5
* Cleanup plistAntoine Brodin2014-11-121-1/+0
* - Support stagingEmanuel Haupt2014-03-201-7/+6
* Convert s* to USES=zipBaptiste Daroussin2014-03-101-1/+1
* Chase boost and icu bumpBaptiste Daroussin2014-02-071-0/+1
* Convert LIB_DEPENDS for ports depending on boostBaptiste Daroussin2013-12-121-2/+2
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Remove USE_GCC.Ed Schouten2013-09-141-1/+0
* Bump bddsolve to version 1.0.3.Ed Schouten2013-09-142-9/+6
* Mark as broken on powerpc.Mark Linimon2011-12-281-0/+4
* - remove MD5Olli Hauer2011-07-031-1/+0
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilityBeat Gaetzi2010-05-124-0/+49
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-26 05:04:59 +0000