Request 612219 (superseded)

jirislaby created request over 6 years ago

- Update to version 1.4.0+20180524:
* isLSB should be a boolean, as it is only used in truth contexts
* remove switch fallthrough in floating point comparision
* llvm37: enable travis testing
* llvm37: handle getRegisteredOptions
* test: add versions of some tests for LLVM 3.7
* llvm: make KLEE compile against LLVM 3.7
* llvm37: handle GetElementPtrInst::Create's new parameter
* test: add parenthesis around & operands
- removed patches that are in upstream now:
* 0001-llvm37-handle-GetElementPtrInst-Create-s-new-paramet.patch
* 0002-llvm-make-KLEE-compile-against-LLVM-3.7.patch
* 0003-test-add-versions-of-some-tests-for-LLVM-3.7.patch
* 0004-llvm37-handle-getRegisteredOptions.patch

- Update to version 1.4.0+20180522:
* clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}
* some housekeeping in Passes.h and IntrinsicCleaner.cpp
* CompressionStream: fix sporadic segfaults (uninitialised avail_in)
* Removed .c_str() from getSourceLocation calls
* Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to reflect the fact that it simply returns a string
* Simplified printFileLine by using std::to_string, and removed unneeded version that takes an argument a stream
* stop using DEBUG macro name
* fix some casts for LLP64 compilers

- Update to version 1.4.0+20180518:
* tests: use names in klee_make_symbolic
* Delete coverageServer.py
* Abort execution if --only-output-states-covering-new is enabled but its dependency --output-istats is not
* Add support for concretizing symbolic objects passed to external functions

licensedigger accepted review over 6 years ago

ok

factory-auto declined review over 6 years ago

Output of check script:
Attention, klee-1.4.0+20180522.tar.xz is not mentioned in spec files as source or patch.
A patch (0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch) is being added without being properly referenced from the changelog.
A patch (0019-llvm60-SetVersionPrinter-now-passes-down-a-stream.patch) is being added without being properly referenced from the changelog.
A Patch (0014-llvm50-avoid-on-function-arg_begin.patch) is being deleted without this removal being referenced in the changelog.
A patch (0006-llvm40-errorOr-and-similar.patch) is being added without being properly referenced from the changelog.
A patch (0011-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch) is being added without being properly referenced from the changelog.
A patch (0001-llvm-make-KLEE-compile-against-LLVM-3.8.patch) is being added without being properly referenced from the changelog.
A Patch (0010-llvm40-errorOr-and-similar.patch) is being deleted without this removal being referenced in the changelog.
A patch (0008-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch) is being added without being properly referenced from the changelog.
A Patch (0009-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch) is being deleted without this removal being referenced in the changelog.
A patch (0002-llvm38-test-change-some-tests.patch) is being added without being properly referenced from the changelog.
A patch (0013-llvm50-SwitchInst-case-functions-now-return-pointers.patch) is being added without being properly referenced from the changelog.
A patch (0020-llvm60-handle-headers-renaming.patch) is being added without being properly referenced from the changelog.
A patch (0017-llvm50-Intrinsic-objectsize-has-three-arguments.patch) is being added without being properly referenced from the changelog.
A Patch (0017-llvm50-SwitchInst-case-functions-now-return-pointers.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0020-llvm50-AllocaInst-takes-address-space.patch) is being deleted without this removal being referenced in the changelog.
A patch (0018-llvm50-test-change-objectsize.patch) is being added without being properly referenced from the changelog.
A Patch (0011-llvm-use-chrono-helpers-from-LLVM-4.0.patch) is being deleted without this removal being referenced in the changelog.
A patch (0003-llvm-make-KLEE-compile-against-LLVM-3.9.patch) is being added without being properly referenced from the changelog.
A Patch (0012-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch) is being deleted without this removal being referenced in the changelog.
A patch (0016-llvm50-AllocaInst-takes-address-space.patch) is being added without being properly referenced from the changelog.
A Patch (0016-llvm50-handle-getOrInsertFunction-terminator.patch) is being deleted without this removal being referenced in the changelog.
A patch (0010-llvm50-avoid-on-function-arg_begin.patch) is being added without being properly referenced from the changelog.
A Patch (0008-llvm40-handle-different-header-names.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0015-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch) is being deleted without this removal being referenced in the changelog.
A patch (0015-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch) is being added without being properly referenced from the changelog.
A patch (0009-llvm40-gep_type_iterator-has-no-operator.patch) is being added without being properly referenced from the changelog.
A patch (0004-llvm40-handle-different-header-names.patch) is being added without being properly referenced from the changelog.
A patch (0014-llvm50-handle-new-file_magic-s-location.patch) is being added without being properly referenced from the changelog.
A patch (0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch) is being added without being properly referenced from the changelog.
A Patch (0019-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch) is being deleted without this removal being referenced in the changelog.
A patch (0012-llvm50-handle-getOrInsertFunction-terminator.patch) is being added without being properly referenced from the changelog.
A Patch (0018-llvm50-handle-new-file_magic-s-location.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0007-llvm38-test-change-some-tests.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0013-llvm40-gep_type_iterator-has-no-operator.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch) is being deleted without this removal being referenced in the changelog.

factory-auto declined request over 6 years ago

Output of check script:
Attention, klee-1.4.0+20180522.tar.xz is not mentioned in spec files as source or patch.
A patch (0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch) is being added without being properly referenced from the changelog.
A patch (0019-llvm60-SetVersionPrinter-now-passes-down-a-stream.patch) is being added without being properly referenced from the changelog.
A Patch (0014-llvm50-avoid-on-function-arg_begin.patch) is being deleted without this removal being referenced in the changelog.
A patch (0006-llvm40-errorOr-and-similar.patch) is being added without being properly referenced from the changelog.
A patch (0011-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch) is being added without being properly referenced from the changelog.
A patch (0001-llvm-make-KLEE-compile-against-LLVM-3.8.patch) is being added without being properly referenced from the changelog.
A Patch (0010-llvm40-errorOr-and-similar.patch) is being deleted without this removal being referenced in the changelog.
A patch (0008-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch) is being added without being properly referenced from the changelog.
A Patch (0009-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch) is being deleted without this removal being referenced in the changelog.
A patch (0002-llvm38-test-change-some-tests.patch) is being added without being properly referenced from the changelog.
A patch (0013-llvm50-SwitchInst-case-functions-now-return-pointers.patch) is being added without being properly referenced from the changelog.
A patch (0020-llvm60-handle-headers-renaming.patch) is being added without being properly referenced from the changelog.
A patch (0017-llvm50-Intrinsic-objectsize-has-three-arguments.patch) is being added without being properly referenced from the changelog.
A Patch (0017-llvm50-SwitchInst-case-functions-now-return-pointers.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0020-llvm50-AllocaInst-takes-address-space.patch) is being deleted without this removal being referenced in the changelog.
A patch (0018-llvm50-test-change-objectsize.patch) is being added without being properly referenced from the changelog.
A Patch (0011-llvm-use-chrono-helpers-from-LLVM-4.0.patch) is being deleted without this removal being referenced in the changelog.
A patch (0003-llvm-make-KLEE-compile-against-LLVM-3.9.patch) is being added without being properly referenced from the changelog.
A Patch (0012-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch) is being deleted without this removal being referenced in the changelog.
A patch (0016-llvm50-AllocaInst-takes-address-space.patch) is being added without being properly referenced from the changelog.
A Patch (0016-llvm50-handle-getOrInsertFunction-terminator.patch) is being deleted without this removal being referenced in the changelog.
A patch (0010-llvm50-avoid-on-function-arg_begin.patch) is being added without being properly referenced from the changelog.
A Patch (0008-llvm40-handle-different-header-names.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0015-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch) is being deleted without this removal being referenced in the changelog.
A patch (0015-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch) is being added without being properly referenced from the changelog.
A patch (0009-llvm40-gep_type_iterator-has-no-operator.patch) is being added without being properly referenced from the changelog.
A patch (0004-llvm40-handle-different-header-names.patch) is being added without being properly referenced from the changelog.
A patch (0014-llvm50-handle-new-file_magic-s-location.patch) is being added without being properly referenced from the changelog.
A patch (0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch) is being added without being properly referenced from the changelog.
A Patch (0019-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch) is being deleted without this removal being referenced in the changelog.
A patch (0012-llvm50-handle-getOrInsertFunction-terminator.patch) is being added without being properly referenced from the changelog.
A Patch (0018-llvm50-handle-new-file_magic-s-location.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0007-llvm38-test-change-some-tests.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0013-llvm40-gep_type_iterator-has-no-operator.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch) is being deleted without this removal being referenced in the changelog.
A Patch (0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch) is being deleted without this removal being referenced in the changelog.

jirislaby superseded request over 6 years ago

superseded by 612988

Places

Overview

Request 612219 superseded

Request History

Places