about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2018-10-26llvm5: integerPartWidth is from llvm::APFloatBaseJiri Slaby
2018-10-26llvm5: avoid ++ on function->arg_begin()Jiri Slaby
2018-10-24Add testcase for shift checkMartin Nowack
2018-10-24ShiftChecker: Instrument shift instructions only onceMartin Nowack
2018-10-24ShiftChecker: Avoid unneeded checksMartin Nowack
2018-10-24ShiftCheck: Use llvm::Builder instead of Inst::Create*Martin Nowack
2018-10-24Add test case for div checkerMartin Nowack
2018-10-24DivCheck do not instrument multiple timesMartin Nowack
2018-10-24DivCheck Skip unneeded checksMartin Nowack
2018-10-24Use llvm::Builder for DivCheck instrumentationMartin Nowack
2018-10-24Introduce KLEEIRMetaData to manipulate LLVM-IR metadataMartin Nowack
2018-10-24Added lowering passRafael Zaehl
2018-10-23refactor klee_open_output_file to return std::unique_ptrJulian Büning
2018-10-23use klee_open_output_file for uncompressed logsJulian Büning
2018-10-23Updated an include to reflect a recent filename changeCristian Cadar
2018-10-23Move unrelated function from ReadExpr classMartin Nowack
2018-10-23Avoid unsafe static downcastsMartin Nowack
2018-10-23Modernize codeMartin Nowack
2018-10-23Move optimization specific headers away from the project include directoryMartin Nowack
2018-10-23Clean-up headersMartin Nowack
2018-10-23Use std::unordered collections as we use C++11Martin Nowack
2018-10-23Remove unneeded externsMartin Nowack
2018-10-23Remove condition check before function invocationMartin Nowack
2018-10-23Move ConstantExpr check inside optimizeExpr functionMartin Nowack
2018-10-23optimizeExpr: return the result as return value instead as function argumentMartin Nowack
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 01:29:36 +0000