- 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

• Files Changed
• Browse Source