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
0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch 0000001679 1.64 KB
FileCheck.cpp 0000036884 36 KB
_service 0000000619 619 Bytes
_servicedata 0000000226 226 Bytes
klee-3.0+20240208.obscpio 0019196429 18.3 MB
klee-rpmlintrc 0000000045 45 Bytes
klee.changes 0000094003 91.8 KB
klee.obsinfo 0000000100 100 Bytes
klee.spec 0000004385 4.28 KB
not.cpp 0000002281 2.23 KB
Latest Revision
Ana Guerrero's avatar Ana Guerrero (anag+factory) accepted request 1146146 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 38)
- Update to version 3.0+20240208:
  * Add space between include and main function for updated test cases
  * Mention default value in help text for `--strip-all` and `--strip-debug`
  * Use `std::` namespace for `uint64_t`
  * Enable CI to test newer LLVM versions
  * Support newer LLVM versions in `lit`
  * Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem`
  * Handle check for thrown libc++ exceptions more general
  * Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions.
  * Disable unsupported passes for newer LLVM versions
  * Add support to `aligned_alloc` generated by LLVM
  * Add support for `Intrinsic::get_rounding` for LLVM 16
  * Use APIs of newer LLVM versions instead of unsupported ones
  * Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`
  * Fix test cases to support opaque pointers
  * Add support for opaque pointers
  * Explicitly enable opaque pointer support for LLVM 15
  * Explicitly build KLEE's exception handling runtime with C++11
  * Assume C compiler's default standard is `-std=gnu17`
  * Use KLEE's uClibc v1.4 as default to support the compilation with newer compilers
  * Refactor invocation of old pass manager into legacy function
- remove (they were upstreamed)
  * 0001-Add-support-to-build-newer-LLVM-versions.patch
  * 0002-Add-support-for-newer-libc-Simplify-path-detection.patch
  * 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch
  * 0004-Fix-klee-libc-memchr.c-compiler-warning.patch
  * 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch
  * 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch
  * 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch
  * 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch
Comments 0
openSUSE Build Service is sponsored by