|
Number of commits found: 3
| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
17 Apr 2013 15:35:27
  169327.138
|
miwi  |
- Broken fails to build
/work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp: In member
function 'unsigned int klee::Executor::getWidthForLLVMType(llvm::Type*) const':
/work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp:3516: error:
invalid use of incomplete type 'struct llvm::TargetData'
/work/a/ports/devel/klee/work/klee-169327.138/include/klee/Internal/Module/KModule.h:27:
error: forward declaration of 'struct llvm::TargetData'
*** Error code 1
Feature safe: yes |
22 Mar 2013 20:06:15
169327.138
|
makc |
- convert USE_CMAKE to USES
- while here clean up some ports from CMAKE_VERBOSE, which is intended
for users
Approved by: portmgr (miwi) |
22 Dec 2012 15:01:26
169327.138
|
crees |
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> |
Number of commits found: 3
2857
|
| Latest Vulnerabilities |
|
8 vulnerabilities affecting 24 ports have been reported in the past 14 days
|
* - modified, not new All vulnerabilities
|
8e7
|
If you buy from Amazon USA, please support us by using this link.
