- Update to version 1.4.0+20180108:
* [NFC] Remove unused config header template that was only used by the old build system (now removed).
* fix regression test: use `%klee` instead of `klee`
* fix merging tests: use `%klee` instead of `klee`
* Move Homebrew tap from personal repository to the KLEE organization
* Updated TravisCI to use pip2 instead of pip
* Bumped xcode version for TravisCI
* Implemented bounded merging functionality
* Added pause and continue functionality for states in Executor
* Replace confusing message in lit.site.cfg.in about the file being autogenerated
* klee_make_symbolic: add test cases for API
* klee_make_symbolic: warn on deprecated usage
- added patches:
* 0001-MergeHandler-remove-unused-closedStateCount.patch
* 0002-llvm50-use-auto-variable-instead-of-SwitchInst-CaseI.patch
* 0013-llvm40-gep_type_iterator-has-no-operator.patch
* 0014-llvm50-avoid-on-function-arg_begin.patch
* 0015-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch
* 0016-llvm50-handle-getOrInsertFunction-terminator.patch
* 0017-llvm50-SwitchInst-case-functions-now-return-pointers.patch
* 0018-llvm50-handle-new-file_magic-s-location.patch
* 0019-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch
* 0020-llvm50-AllocaInst-takes-address-space.patch
- renamed patches:
* 0013-llvm38-test-change-some-tests.patch ->
0007-llvm38-test-change-some-tests.patch
* 0007-llvm40-handle-different-header-names.patch ->
0008-llvm40-handle-different-header-names.patch
* 0008-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch ->
0009-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch