- 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