aboutsummaryrefslogtreecommitdiff
path: root/math/cvc4
Commit message (Collapse)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
| | | | Reported by: lwhsu
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-091-1/+1
| | | | | | | Bump PORTREVISIONs of consumer ports. Notes: svn path=/head/; revision=541757
* Move devel/swig30 to devel/swig and update to 4.0.1Sunpoet Po-Chuan Hsieh2020-06-172-2/+42
| | | | | | | | | | | | | | | - Do not silence installation message - Update dependent ports: - Fix build with swig 4.0.1 - Update *_DEPENDS - Remove BINARY_ALIAS Changes: http://www.swig.org/news.php PR: 246613 Exp-run by: antoine Notes: svn path=/head/; revision=539491
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-1/+1
| | | | | | | | | | Changes: http://www.boost.org/users/history/version_1_72_0.html PR: 241449 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D22136 Notes: svn path=/head/; revision=519824
* Clean up after java/openjdk6 and java/openjdk6-jre removalJung-uk Kim2019-11-261-1/+1
| | | | | | | | | | | | | | | java/openjdk6 support was removed from Mk/bsd.java.mk (r512662) and java/openjdk6 and java/openjdk6-jre were removed from the ports tree (r512663). Now this patch completely removes remaining stuff from the ports tree. PR: 241953 (exp-run) Reviewed by: glewis Approved by: portmgr (antoine) Differential Revision: https://reviews.freebsd.org/D22342 Notes: svn path=/head/; revision=518482
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
| | | | | | | | | | Changes: http://www.boost.org/users/history/version_1_71_0.html PR: 238827 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D20774 Notes: svn path=/head/; revision=509290
* math/cvc4: simplify post-patchFernando Apesteguía2019-08-061-2/+2
| | | | | | | | | | | | * Bump PORTREVISION * Unbreak lang/maude and lang/solidity (broken in r508058 and r508059) Reported by: jbeich@ Reviewed by: jbeich@ Differential Revision: https://reviews.freebsd.org/D21170 Notes: svn path=/head/; revision=508264
* math/cvc4: Fix headersFernando Apesteguía2019-08-051-0/+5
| | | | | | | | | | | | Fix headers so other programs can include them safely. This unbreaks lang/maude and lang/solidity PR: 238376 Reported by: jbeich@ Notes: svn path=/head/; revision=508195
* math/cvc4: update to 1.7Fernando Apesteguía2019-08-0114-120/+221
| | | | | | | | | | | | | | | | | | | | | | | | | | | | ChangeLog: https://github.com/CVC4/CVC4/releases/tag/1.7 * New Features: Proofs: Support for bit-vector proofs with eager bitblasting Strings: Support for str.replaceall operator. New option --re-elim SyGuS: Support for abduction (--sygus-abduct) * Improvements: Strings: Significantly better performance * Changes: API change: Expr::iffExpr() is renamed to Expr::eqExpr() Compiling the language bindings now requires SWIG 3 instead of SWIG 2. The CVC3 compatibility layer has been removed. The build system now uses CMake instead of Autotools Notes: svn path=/head/; revision=507774
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
| | | | | | | | | | | | | | | | | | as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3 to GCC 9.1 under most circumstances now after revision 507371. This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang, c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib plus, everything INDEX-11 shows with a dependency on lang/gcc9 now. PR: 238330 Notes: svn path=/head/; revision=507372
* math/cvc4: Remove llvm60 build dependencyTobias Kortkamp2019-05-271-7/+2
| | | | | | | | | | It was added for FreeBSD 10.x/i386 and is no longer needed. PR: 238162 Approved by: greg@unrelenting.technology (maintainer) Notes: svn path=/head/; revision=502779
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-1/+1
| | | | | | | | | | Changes: http://www.boost.org/users/history/version_1_70_0.html PR: 235956 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D19303 Notes: svn path=/head/; revision=498698
* Update devel/readline to 8.0Sunpoet Po-Chuan Hsieh2019-04-091-1/+1
| | | | | | | | | | | - Bump PORTREVISION of dependent ports for shlib change Changes: https://tiswww.case.edu/php/chet/readline/CHANGES PR: 236156 Exp-run by: antoine Notes: svn path=/head/; revision=498476
* devel/boost-*: update to 1.69.0Jan Beich2018-12-121-1/+1
| | | | | | | | | | Changes: http://www.boost.org/users/history/version_1_69_0.html PR: 232525 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D17645 Notes: svn path=/head/; revision=487266
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-0/+1
| | | | | | | | | | | | - Switch to C++14 for libboost_system to support C++14 consumers Changes: http://www.boost.org/users/history/version_1_68_0.html PR: 229569 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D16165 Notes: svn path=/head/; revision=476723
* math/cvc4: Fix the warning in 'make describe'Yuri Victorovich2018-07-231-1/+1
| | | | | | | | | | Remove USES=compiler as it conflicts with the explicit compiler setting. PR: 229987 Reported by: Yasuhiro KIMURA <yasu@utahime.org> Notes: svn path=/head/; revision=475198
* math/cvc4: Update 1.5 -> 1.6Yuri Victorovich2018-07-226-31/+79
| | | | | | | | | | | | | | Port changes: * Add dependency on cryptominisat, and the corresponding port option * Add USES=autoreconf, the suplied configure fails, see https://github.com/CVC4/CVC4/issues/2192 * Now build depends on python * Force clang-60 to prevent build failures on 10 PR: 229780 Submitted by: Greg V <greg@unrelenting.technology> Notes: svn path=/head/; revision=475115
* math/cvc4: switch to GMP by defaultSteve Wills2018-07-081-1/+1
| | | | | | | | | | This unbreaks aarch64 and enables parallel mode PR: 229585 Submitted by: Greg V <greg@unrelenting.technology> (maintainer) Notes: svn path=/head/; revision=474182
* New port: math/cvc4Kurt Jaeger2018-06-216-0/+248
An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. WWW: https://cvc4.cs.stanford.edu/web/ PR: 227702 Submitted by: Greg V <greg@unrelenting.technology> Notes: svn path=/head/; revision=472970
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-05 02:45:12 +0000