Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: klee | Distribution: Fedora Project |
Version: 2.3 | Vendor: Fedora Project |
Release: 6.fc37 | Build date: Sat Aug 20 18:35:24 2022 |
Group: Unspecified | Build host: buildvm-x86-05.iad2.fedoraproject.org |
Size: 8336526 | Source RPM: klee-2.3-6.fc37.src.rpm |
Packager: Fedora Project | |
Url: https://klee.github.io | |
Summary: Symbolic Execution Engine |
Symbolic virtual machine built on top of the LLVM compiler infrastructure.
NCSA and Boost and MIT and BSD and BSD with advertising and LGPLv2
* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 2.3-6 - Rebuild for z3 4.11 - Add z3-4.11.patch due to Z3_TRUE removal * Wed Aug 10 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-5 - Rebuild for z3 4.10 (rhbz#2117070) * Mon Jul 25 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-4 - Enable Z3 solver backend - Enable libacl and libcap integration in POSIX runtime * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Apr 05 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-2 - Update KLEE uClibc to v1.3 * Mon Apr 04 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-1 - Update to 2.3 * Tue Jan 25 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-5 - uClibc must be built with clang (#2045767) - Caused by CC=gcc set by implicit %set_build_flags in %build * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Oct 15 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-3 - Rebuild for llvm-13.0.0 (#2014582) * Wed Oct 13 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-2 - Fix compilation with LLVM 13 - Enable uClibc and POSIX runtime support as requested by upstream. - Due to uClibc, package is now buildable only on x86_64. - Enable SELinux support * Thu Jul 15 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-1 - First release
/usr/bin/gen-bout /usr/bin/gen-random-bout /usr/bin/kleaver /usr/bin/klee /usr/bin/klee-replay /usr/bin/klee-stats /usr/bin/klee-zesti /usr/bin/ktest-tool /usr/include/klee /usr/include/klee/klee.h /usr/lib/.build-id /usr/lib/.build-id/4b /usr/lib/.build-id/4b/387d13defded347a2999583fd2f777d86ef427 /usr/lib/.build-id/6e /usr/lib/.build-id/6e/33b49ab6c08e0719fcf85c132d3964f9e44db9 /usr/lib/.build-id/99 /usr/lib/.build-id/99/5faf9f7b94b4247d0ca20cab5370b17831a518 /usr/lib/.build-id/ad /usr/lib/.build-id/ad/d0cff171db228f6a4ae9e07ace86cf1a3619bd /usr/lib/.build-id/b9 /usr/lib/.build-id/b9/6dcb5c13235626dc1bab32b4f1dded578ba187 /usr/lib/.build-id/f4 /usr/lib/.build-id/f4/f60e5c96a6af4978a94dc5a00dfea72ba47940 /usr/lib64/klee /usr/lib64/klee/runtime /usr/lib64/klee/runtime/klee-uclibc.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca /usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release.bca /usr/lib64/libkleeRuntest.so /usr/lib64/libkleeRuntest.so.1.0 /usr/share/doc/klee /usr/share/doc/klee/NEWS /usr/share/doc/klee/README.md /usr/share/licenses/klee /usr/share/licenses/klee/LICENSE.TXT
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu May 9 19:58:19 2024