./devel/stp [decision procedure for bit-vectors and arrays]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 2.2.0, Package name: stp-2.2.0
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
STP is a constraint solver (also referred to as a decision procedure
or automated prover) aimed at solving constraints generated by program
analysis tools, theorem provers, automated bug finders, intelligent
fuzzers and model checkers.

Filesize: 2581.182 KB
Version History (View Complete History)
  • (2017-08-21) Updated to version: stp-2.2.0
  • (2009-12-17) Package added to openports.se, version stp-0.1 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2019-07-12 14:46:30 by Stuart Henderson | Files touched by this commit (853)
Log message:
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
   2019-04-28 14:52:03 by Stuart Henderson | Files touched by this commit (715)
Log message:
bump all the py3 things, _SYSTEM_VERSION didn't quite work out how
we expected and it's easier|safer to do it this way than fiddle with
pkg_add now. thanks aja for update tests with a quick bulk.
   2018-12-13 12:53:24 by Stuart Henderson | Files touched by this commit (64)
Log message:
bump REVISION for ports with a LIB_ or RUN_DEPENDS on devel/boost,
it has been split into subpackages
   2017-08-21 01:03:10 by Jeremie Courreges-Anglas | Files touched by this commit (8)
Log message:
Update to a newer release which does builds with clang.
- now depends on boost and minisat
- ships with a shared library and a python3 module
- new cmake build system
- set COMPILER = gcc, a c++11 compiler is needed (but there's a link
problem against boost with lang/gcc on amd64)
   2017-07-26 16:45:35 by Stuart Henderson | Files touched by this commit (937)
Log message:
bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports.
   2017-07-23 03:26:30 by Marc Espie | Files touched by this commit (244)
Log message:
add pthread to COMPILER_LIBCXX.
white lie, but it allows clang and gcc to be more similar
bump accordingly.
   2017-07-16 13:19:06 by Marc Espie | Files touched by this commit (880)
Log message:
use COMPILER_LIBCXX where applicable
   2017-06-03 04:15:25 by Marc Espie | Files touched by this commit (1)
Log message:
that old shit actually tried to create directories under /usr/local
during configure...
   2017-04-10 05:45:29 by Stuart Henderson | Files touched by this commit (281)
Log message:
use LIBCXX
   2015-01-20 23:13:49 by Anthony J. Bentley | Files touched by this commit (97)
Log message:
Remove Kevin Lo as maintainer, by request.
While here, fix a couple of license markers.
   2015-01-17 20:16:09 by Christian Weisgerber | Files touched by this commit (3349)
Log message:
Drop remaining MD5/RMD160/SHA1 checksums.
   2014-11-23 13:28:01 by Stuart Henderson | Files touched by this commit (4)
Log message:
remove WRKDIST=${WRKDIR}/${DISTNAME} lines, they are the default anyway
   2010-11-15 12:46:10 by Marc Espie | Files touched by this commit (706)
Log message:
move depends to new style