aboutsummaryrefslogtreecommitdiffstats
path: root/math/cvc3/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Stagify.vanilla2014-07-161-2/+2
* Modernize LIB_DEPENDSbapt2014-07-141-1/+1
* Remove indefinite articles and trailing periods from COMMENT, plus minorolgeni2014-07-071-1/+1
* - Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported laterlwhsu2013-11-131-0/+1
* 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-6/+2
* Convert USE_BISON to USES= bisonbapt2013-03-081-6/+2
* - Update to 2.4.1lwhsu2012-02-041-5/+13
* Switch to use newer GMP version.ale2010-04-191-2/+2
* Chase libgmp and bump PORTREVISION.ale2009-05-131-1/+1
* Migration from bison 1.x to 2.xade2007-10-171-1/+2
* - Update to 1.2.1lwhsu2007-09-081-1/+1
* - Change to my FreeBSD.org emaillwhsu2007-04-041-1/+1
* Add cvc3 1.0, an automatic theorem prover for the SMT problem.clsung2007-03-251-0/+31