| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
14 Dec 2020 07:24:42
  2.2
|
arrowd  |
security/klee: Do not build on i386, it is unsupported upstream.
While here, add BACKEND multigroup and move STP and Z3 options there. |
09 Dec 2020 14:47:43
2.2
|
arrowd |
security/klee: Update to 2.2 |
09 Jul 2020 15:44:39
2.1_1
|
arrowd |
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports. |
08 Mar 2020 14:25:29
2.1
|
arrowd |
security/klee: Update to 2.1. Enable STP by default. |
20 Sep 2019 19:58:36
2.0_1
|
jbeich |
Switch default devel/llvm* to 90
PR: 239682
Reviewed by: tobik
Differential Revision: https://reviews.freebsd.org/D21172 |
26 Jul 2019 20:46:57
2.0_1
|
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
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 |
30 Apr 2019 14:29:20
2.0
|
pkubaj |
security/klee: fix build with GCC-based architectures
Add USES=compiler:c++14-lang to fix build on GCC architectures:
Make Error in lib/Basic/CMakeLists.txt:
Target "kleeBasic" requires the language dialect "CXX14" (with compiler
extensions), but CMake does not know the compile flags to use to enable it.
PR: 237623
Approved by: arrowd (maintainer), mat (mentor)
Differential Revision: https://reviews.freebsd.org/D20088 |
05 Apr 2019 05:27:19
2.0
|
arrowd |
security/klee: Depend on python 3 and py-tabulate. Required for ktest-tool
utility, written in Python.
Reviewed by: mat
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19770 |
26 Mar 2019 04:38:52
2.0
|
arrowd |
security/klee: Update to 2.0 and switch to LLVM 8.
PR: 230516
Submitted by: brooks
Approved by: tcberner (mentor) |
25 Dec 2018 20:25:40
1.4.0.191
|
tcberner |
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine |
23 Jul 2018 05:28:54
1.4.0.191
|
yuri |
security/klee: arrowd@FreeBSD.org takes maintainership
The original submitter gave up on the klee port.
Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option
section.
PR: 219150
Requested by: arrowd (maintainership change) |
23 Jul 2018 03:19:26
1.4.0.191
|
yuri |
New port: security/klee: Symbolic virtual machine built on top of the LLVM
PR: 219150
Submitted by: larca <itbot@list.ru> |
As an Amazon Associate I earn from qualifying purchases.
