Overview
Request 734973 accepted
- Update to version 1.0.0+git.20190816:
* Add a message when the bitcode compiler is specified via CC,
to help diagnose cases in which CC does not point to a valid
bitcode compiler.
* Check if pointer size reflects architecture
* Use newer gcc to compile KLEE
* Fix compilation when __STDIO_HAS_OPENLIST is undefined
Request History
jirislaby created request
- Update to version 1.0.0+git.20190816:
* Add a message when the bitcode compiler is specified via CC,
to help diagnose cases in which CC does not point to a valid
bitcode compiler.
* Check if pointer size reflects architecture
* Use newer gcc to compile KLEE
* Fix compilation when __STDIO_HAS_OPENLIST is undefined
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:10"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:10
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