aboutsummaryrefslogtreecommitdiff
path: root/security/klee
Commit message (Expand)AuthorAgeFilesLines
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* security/klee: Do not build on i386, it is unsupported upstream.Gleb Popov2020-12-141-1/+5
* security/klee: Update to 2.2Gleb Popov2020-12-093-11/+56
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-091-0/+1
* security/klee: Update to 2.1. Enable STP by default.Gleb Popov2020-03-086-53/+12
* Switch default devel/llvm* to 90Jan Beich2019-09-201-0/+6
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* security/klee: fix build with GCC-based architecturesPiotr Kubaj2019-04-301-1/+2
* security/klee: Depend on python 3 and py-tabulate. Required for ktest-tool ut...Gleb Popov2019-04-051-2/+3
* security/klee: Update to 2.0 and switch to LLVM 8.Gleb Popov2019-03-263-9/+9
* Change cmake default behaviour to outsource.Tobias C. Berner2018-12-251-1/+1
* security/klee: arrowd@FreeBSD.org takes maintainershipYuri Victorovich2018-07-231-4/+4
* New port: security/klee: Symbolic virtual machine built on top of the LLVMYuri Victorovich2018-07-237-0/+115