aboutsummaryrefslogtreecommitdiff
path: root/math/cvc3
Commit message (Collapse)AuthorAgeFilesLines
* Convert USE_BISON to USES= bisonBaptiste Daroussin2013-03-081-6/+2
| | | | | | | | | | | | | | | | | It brings bison as a build dependency in case it is set the following way: USES= bison or USES= bison:build it brings bison as a run dependency in case it is set the following way: USES= bison:run it brings bison both as a run and build dependency in case it the set the following way: USES= bison:both While here trim some headers Convert some USE_GNOME= gnomehack to USES= pathfix Notes: svn path=/head/; revision=313635
* - Update to 2.4.1Li-Wen Hsu2012-02-043-7/+21
| | | | Notes: svn path=/head/; revision=290393
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
| | | | Notes: svn path=/head/; revision=271346
* Switch to use newer GMP version.Alex Dupre2010-04-191-2/+2
| | | | | | | | | PR: ports/144487 Submitted by: ale Approved by: portmgr (-exp run by erwin) Notes: svn path=/head/; revision=252906
* Chase libgmp and bump PORTREVISION.Alex Dupre2009-05-131-1/+1
| | | | Notes: svn path=/head/; revision=233833
* Migration from bison 1.x to 2.xAde Lovett2007-10-171-1/+2
| | | | | | | | PR: 117086 Tested by: -exp runs Notes: svn path=/head/; revision=201613
* - Update to 1.2.1Li-Wen Hsu2007-09-073-4/+7
| | | | Notes: svn path=/head/; revision=199057
* - Change to my FreeBSD.org emailLi-Wen Hsu2007-04-041-1/+1
| | | | | | | Approved by: clsung (mentor) Notes: svn path=/head/; revision=189163
* Add cvc3 1.0, an automatic theorem prover for the SMT problem.Cheng-Lung Sung2007-03-254-0/+143
PR: ports/110770 Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org> Notes: svn path=/head/; revision=188227