Overview
Request 734968 accepted
- Update to version 2.0+20190920:
* Add saturated arithmetic intrinsics
* fixed bug in IntrinsicCleaner trap cleaner
* StatsTracker: switch from TRUNCATE to WAL journal mode
* Read Klee's start time correctly in klee-stats
* CMake: show values of optional LLVM variables
* Provide klee runtime build type as parameter
* PTree: fix dump() method
* ExecutionState: remove fnAliases
* implement FunctionAliasPass
* remove klee_alias_function()
* Implement handling of the llvm.fabs intrinsic
* and more fixes
- drop unused disable-failing-test.patch
- add 0001-runtime-workaround-for-glibc-2.30.patch
Request History
jirislaby created request
- Update to version 2.0+20190920:
* Add saturated arithmetic intrinsics
* fixed bug in IntrinsicCleaner trap cleaner
* StatsTracker: switch from TRUNCATE to WAL journal mode
* Read Klee's start time correctly in klee-stats
* CMake: show values of optional LLVM variables
* Provide klee runtime build type as parameter
* PTree: fix dump() method
* ExecutionState: remove fnAliases
* implement FunctionAliasPass
* remove klee_alias_function()
* Implement handling of the llvm.fabs intrinsic
* and more fixes
- drop unused disable-failing-test.patch
- add 0001-runtime-workaround-for-glibc-2.30.patch
staging-bot added openSUSE:Factory:Staging:adi:24 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:24"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:24
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
dimstar accepted review
dimstar_suse accepted review
ready to accept
dimstar_suse approved review
ready to accept
dimstar_suse accepted request
Accept to openSUSE:Factory