Chris Rees 19948f49d0 KLEE is a symbolic virtual machine built on top of the ... LLVM compiler infrastructure, and available under the UIUC open source license. WWW: http://klee.llvm.org/ PR: ports/174274 Submitted by: arrowdodger <6yearold@gmail.com>		2012-12-22 15:01:26 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist