aboutsummaryrefslogtreecommitdiffstats
path: root/math/stp
Commit message (Expand)AuthorAgeFilesLines
* Remove OSVERSION checks that do not make sense any more.mat2015-04-031-4/+0
* Cleanup plistantoine2014-11-141-3/+0
* Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.xantoine2014-08-261-1/+1
* Package somethingantoine2014-08-262-0/+11
* Convert a bunch of USE_XZ to USES=tar:xz.adamw2014-07-301-2/+1
* Remove indefinite articles and trailing periods from COMMENT, plus minorolgeni2014-07-071-1/+1
* Fix math/stp build for FreeBSD 9.xehaupt2014-03-071-0/+3
* - Update to revision 1436lwhsu2014-03-043-36/+15
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* Convert to new perl frameworkbapt2013-09-171-3/+2
* Convert USE_BISON to USES= bisonbapt2013-03-081-6/+2
* Mark as broken on tier-2: uses i386-specific compiler flags.linimon2011-12-281-0/+4
* - Add WITH_DEBUG supportsunpoet2011-11-211-0/+4
* - Update to revision 1407lwhsu2011-11-112-17/+26
* - Get Rid MD5 supportmiwi2011-03-201-1/+0
* - Switch SourceForge ports to the new File Release System: categories startin...amdmi32009-08-221-2/+1
* - Update to 0.1-11-18-2008lwhsu2008-12-252-6/+6
* Add stp , a Decision Procedure for Bitvectors and Arrays.lwhsu2008-06-193-0/+58