Klee

Edit Package klee

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.

Refresh
Refresh
Source Files
Filename Size Changed
FileCheck.cpp 0000025081 24.5 KB
_service 0000000582 582 Bytes
_servicedata 0000000220 220 Bytes
klee-2.0+20200119.tar.xz 0000646824 632 KB
klee-rpmlintrc 0000000145 145 Bytes
klee.changes 0000066786 65.2 KB
klee.spec 0000004102 4.01 KB
not.cpp 0000001836 1.79 KB
Revision 19 (latest revision is 39)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 766883 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 19)
- Update to version 2.0+20200119:
  * Remove statistics limit from istats.
  * Fix handling of debug information for functions
  * Update objdump script to support python3
  * Fixed documentation for command line argument link-llvm-lib
  * Assume assembly.ll is local to the run.istats file
  * Remove unnecessary std::move's that prevent copy elision
  * [optimize-array] Fix value transformation
  * [optimize-array] Fix hole index in buildMixedSelectExpr
  * [optimize-array] Fix hash collisions
  * [optimize-array] Hash collision test
  * [optimize-array] Fix update list read order
  * [Searchers] Remove weight from es, add nurs_depth
  * Move merging related code from Executor into MergingSearcher
  * Implement @llvm.is.constant() intrinsic handling and add a test for it.
  * [expr-visitor] Remove unnecessary allocation
  * Handle llvm.objectsize explicitly
  * Added test for 3-argument main.
  * Allow main with 3 arguments
  * Most libc++ tests require uclibc; add missing REQUIRES statements or remove dependency.
  * Core: Executor, remove unused variable
  * Do not modify strings if they are read-only.
  * Mark all constant global memory objects as constant
  * [test] Fix  missing includes
  * runtime: fix for glibc 2.30
  * Remove the duplicated check for DebugInfoIntrinsic
- Remove 0001-runtime-workaround-for-glibc-2.30.patch (upstreamed)
Comments 0
openSUSE Build Service is sponsored by