klee-2.2-3.fc36 in Fedora Rawhide
↵ Return to the main page of klee
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-10-15 | Lukas Zaoral <lzaoral at redhat dot com> - 2.2-3 | - Rebuild for llvm-13.0.0 (#2014582) |
| 2021-10-13 | Lukas Zaoral <lzaoral at redhat dot 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 |
| 2021-07-15 | Lukas Zaoral <lzaoral at redhat dot com> - 2.2-1 | - First release |
Dependencies
Provides
- klee
- klee(x86-64)
- libkleeRuntest.so.1.0()(64bit)
Files
- usr/
- bin/
- gen-bout
- gen-random-bout
- kleaver
- klee
- klee-replay
- klee-stats
- klee-zesti
- ktest-tool
- include/
- klee/
- klee.h
- klee/
- lib/
- .build-id/
- 26/
- 93c341b9c55cc9cdde9fc18c82ab2823d530bd
- 28/
- 5c119a38a78c78766f1b6c50814757ece300f1
- 55/
- 874576b7de18eb2766902b85cf9aec4847dd91
- 61/
- ed8add6676197600d90a3ac2f18be63e12c61a
- ca/
- 5881fe6931bc693bd2fd4f1e007ee18588efa0
- dd/
- 9b59ee38628ec40eb96689a542f07f871e0bb2
- 26/
- .build-id/
- lib64/
- klee/
- runtime/
- klee-uclibc.bca
- libkleeRuntimeFortify64_Debug+Asserts.bca
- libkleeRuntimeFortify64_Debug.bca
- libkleeRuntimeFortify64_Release+Asserts.bca
- libkleeRuntimeFortify64_Release+Debug+Asserts.bca
- libkleeRuntimeFortify64_Release+Debug.bca
- libkleeRuntimeFortify64_Release.bca
- libkleeRuntimeFreestanding64_Debug+Asserts.bca
- libkleeRuntimeFreestanding64_Debug.bca
- libkleeRuntimeFreestanding64_Release+Asserts.bca
- libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca
- libkleeRuntimeFreestanding64_Release+Debug.bca
- libkleeRuntimeFreestanding64_Release.bca
- libkleeRuntimeIntrinsic64_Debug+Asserts.bca
- libkleeRuntimeIntrinsic64_Debug.bca
- libkleeRuntimeIntrinsic64_Release+Asserts.bca
- libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca
- libkleeRuntimeIntrinsic64_Release+Debug.bca
- libkleeRuntimeIntrinsic64_Release.bca
- libkleeRuntimeKLEELibc64_Debug+Asserts.bca
- libkleeRuntimeKLEELibc64_Debug.bca
- libkleeRuntimeKLEELibc64_Release+Asserts.bca
- libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
- libkleeRuntimeKLEELibc64_Release+Debug.bca
- libkleeRuntimeKLEELibc64_Release.bca
- libkleeRuntimePOSIX64_Debug+Asserts.bca
- libkleeRuntimePOSIX64_Debug.bca
- libkleeRuntimePOSIX64_Release+Asserts.bca
- libkleeRuntimePOSIX64_Release+Debug+Asserts.bca
- libkleeRuntimePOSIX64_Release+Debug.bca
- libkleeRuntimePOSIX64_Release.bca
- runtime/
- libkleeRuntest.so
- libkleeRuntest.so.1.0
- klee/
- share/
- doc/
- klee/
- NEWS
- README.md
- klee/
- licenses/
- klee/
- LICENSE.TXT
- klee/
- doc/
- bin/
Sources on Pagure