- Update to version 1.4.0+20180920:
* Removed unused file
* Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the test to use FileCheck instead of grep
* Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic and removed unused arguments to main.
* Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic.
* Silence an uninitialized variable compiler warning (and a tiny formatting change)
* travis: enable LLVM 4 testing
* llvm4: gep_type_iterator has no operator*
* llvm4: PointerType is not SequentialType
* llvm4: use chrono helpers from LLVM
* llvm4: errorOr and similar
* llvm4: APFloat members are functions
* llvm4: handle different header names
* travis CI: add LLVM 3.9 build tests
* llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts
* cmake: find_llvm, fix libraries with llvm-config 3.9
* llvm: make KLEE compile against LLVM 3.9
* Add testcase to run POSIX environment and main without arguments
* Add POSIX runtime as dependency for the test case
* Unify the error message if that function has not been found.
* Fix generation of global constructors and destructors
* POSIX: Add invocation of klee_init_env into wrapper before calling main
* Fix missing includes and declarations
* Use FileCheck and LINE instead of grep if possible
* llvm36.patch: fix build for newer glibc/gcc versions
* runtime: fix memory error in canonicalize_file_name
* Build on trusty without sudo - uses faster Docker infrastructure from TravisCI
* Avoid Vararg non-deterministic allocation
- removed (in upstream):
* 0001-llvm-make-KLEE-compile-against-LLVM-3.9.patch