ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	security/klee: Do not build on i386, it is unsupported upstream.	Gleb Popov	2020-12-14	1	-1/+5
*	security/klee: Update to 2.2	Gleb Popov	2020-12-09	3	-11/+56
*	math/cryptominisat and math/py-cryptominisat: Update to 5.7.1	Gleb Popov	2020-07-09	1	-0/+1
*	security/klee: Update to 2.1. Enable STP by default.	Gleb Popov	2020-03-08	6	-53/+12
*	Switch default devel/llvm* to 90	Jan Beich	2019-09-20	1	-0/+6
*	Bump PORTREVISION for ports depending on the canonical version of GCC	Gerald Pfeifer	2019-07-26	1	-0/+1
*	security/klee: fix build with GCC-based architectures	Piotr Kubaj	2019-04-30	1	-1/+2
*	security/klee: Depend on python 3 and py-tabulate. Required for ktest-tool ut...	Gleb Popov	2019-04-05	1	-2/+3
*	security/klee: Update to 2.0 and switch to LLVM 8.	Gleb Popov	2019-03-26	3	-9/+9
*	Change cmake default behaviour to outsource.	Tobias C. Berner	2018-12-25	1	-1/+1
*	security/klee: arrowd@FreeBSD.org takes maintainership	Yuri Victorovich	2018-07-23	1	-4/+4
*	New port: security/klee: Symbolic virtual machine built on top of the LLVM	Yuri Victorovich	2018-07-23	7	-0/+115