about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2018-10-23Make valueOnly parameter of optimizeExpr explicitMartin Nowack
2018-10-23Fixed compilation of array optimization patch with LLVM >= 4.0Cristian Cadar
2018-10-23Added missing headers and clang-format the filesCristian Cadar
2018-10-23Added support for KLEE value-based array optimizationAndrea Mattavelli
2018-10-23Added support for KLEE index-based array optimizationAndrea Mattavelli
2018-10-17tests: disable CompressedExprLogging on zlib-less systemsFrank Busse
2018-10-16Small changes to commentsCristian Cadar
2018-10-16Added missing header to SolverCmdLine.h and clang-format itCristian Cadar
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-10-10fix handling of failing external callsFrank Busse
2018-10-10cmake/lit: add asan/non-asan, ubsan/non-ubsan flagsFrank Busse
2018-10-08cleanup headers, whitespaces, and typesFrank Busse
2018-10-08add support for klee-replay on OSXFrank Busse
2018-10-07Workaround for flaky coverageMartin Nowack
2018-10-04kleeModule: always link irreader (required since llvm 3.3)Julian Büning
2018-10-04remove obsolete dependency of kleeModule on kleeCoreJulian Büning
2018-10-04config.h.cmin: remove obsolete cmakedefineJulian Büning
2018-10-03Marking resolve methods as constCristian Cadar
2018-10-03Refactored AddressSpace::resolve() by creating a new function AddressSpace::c...Cristian Cadar
2018-09-30Fix a crash when the last running state is terminated during mergingLukas Wölfer
2018-09-29Changed code to create up to 100 properly-numbered symbolic arguments, and ad...Cristian Cadar
2018-09-29Add checks for correct usage of the POSIX model, together with an associated ...Cristian Cadar
2018-09-27Revert lit to 0.6.0 version, as 0.7.0 misbehavesCristian Cadar
2018-09-20Removed unused fileCristian Cadar
2018-09-20Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the tes...Cristian Cadar
2018-09-20Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdi...Cristian Cadar
2018-09-20Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make st...Cristian Cadar
2018-09-20Silence an uninitialized variable compiler warning (and a tiny formatting cha...Cristian Cadar
2018-09-18travis: enable LLVM 4 testingJiri Slaby
2018-09-18llvm4: gep_type_iterator has no operator*Jiri Slaby
2018-09-18llvm4: PointerType is not SequentialTypeJiri Slaby
2018-09-18llvm4: use chrono helpers from LLVMJiri Slaby
2018-09-18llvm4: errorOr and similarJiri Slaby
2018-09-18llvm4: APFloat members are functionsJiri Slaby
2018-09-18llvm4: handle different header namesJiri Slaby
2018-09-14travis CI: add LLVM 3.9 build testsJiri Slaby
2018-09-14llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+AssertsJiri Slaby
2018-09-14cmake: find_llvm, fix libraries with llvm-config 3.9Jiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-09-10Add testcase to run POSIX environment and main without argumentsMartin Nowack
2018-09-10Add POSIX runtime as dependency for the test caseMartin Nowack
2018-09-10Unify the error message if that function has not been found.Martin Nowack
2018-09-10Fix generation of global constructors and destructorsMartin Nowack
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2018-09-06Fix missing includes and declarationsMartin Nowack
2018-09-06Use FileCheck and LINE instead of grep if possibleMartin Nowack
2018-09-06llvm36.patch: fix build for newer glibc/gcc versionsFrank Busse
2018-09-06runtime: fix memory error in canonicalize_file_nameFrank Busse
2018-09-06Build on trusty without sudo - uses faster Docker infrastructure from TravisCIMartin Nowack
2018-09-06Avoid Vararg non-deterministic allocationMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 01:02:57 +0000