Klee
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory:ARM/klee && cd $_
- Create Badge
Refresh
Refresh
Source Files
Revision 10 (latest revision is 39)
Yuchen Lin (maxlin_factory)
accepted
request 617208
from
Jiri Slaby (jirislaby)
(revision 10)
- Update to version 1.4.0+20180614: * Add unittest for DiscretePDF * klee_int: allow NULL as name * cmake: find_llvm, handle libLLVM-version.so properly * Fixed memory leak from Executor::inCloseMerge, fixes #883 - Require python3-lit as the lit packaging was refactored
Comments 0