- 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

• Files Changed
• Browse Source