aboutsummaryrefslogtreecommitdiffstats
path: root/science/bddsolve
Commit message (Expand)AuthorAgeFilesLines
* devel/boost-*: update to 1.67.0jbeich2018-04-181-1/+1
* Add more information to stub error messages.linimon2018-03-101-2/+2
* devel/boost-*: update to 1.66.0jbeich2018-01-181-0/+1
* Upgrade bddsolve to version 1.04.ed2018-01-172-4/+4
* devel/boost-*: update to 1.65.1jbeich2017-09-251-1/+1
* devel/boost-*: enable C++11 featuresjbeich2017-09-251-1/+1
* devel/boost-*: update to 1.64.0jbeich2017-05-021-1/+1
* devel/boost-*: update to 1.63.0jbeich2017-01-061-1/+1
* devel/boost-*: update to 1.62.0jbeich2016-11-231-1/+1
* many ports: mark broken on powerpc64swills2016-04-221-0/+2
* Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.mat2016-04-011-2/+2
* science/bddsolve: Set environment, use CXXFLAGS, cleanupmarino2015-02-251-9/+5
* Cleanup plistantoine2014-11-131-1/+0
* - Support stagingehaupt2014-03-201-7/+6
* Convert s* to USES=zipbapt2014-03-111-1/+1
* Chase boost and icu bumpbapt2014-02-071-0/+1
* Convert LIB_DEPENDS for ports depending on boostbapt2013-12-121-2/+2
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* Remove USE_GCC.ed2013-09-151-1/+0
* Bump bddsolve to version 1.0.3.ed2013-09-152-9/+6
* Mark as broken on powerpc.linimon2011-12-281-0/+4
* - remove MD5ohauer2011-07-031-1/+0
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilitybeat2010-05-124-0/+49
generated by cgit (git 2.34.1) at 2024-12-03 15:10:50 +0800