about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2018-11-02The test DeterministicSwitch.c does not need to allow external symbolic callsCristian Cadar
2018-11-02Introduced a constraint solving option category to which all the options in C...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-29add %OOopt to recently added tests and ConcreteJulian Büning
2018-10-26travis: enable LLVM 7 testingJiri Slaby
2018-10-26llvm7: handle new header filesJiri Slaby
2018-10-26llvm7: adapt to new openFileForWriteJiri Slaby
2018-10-26llvm7: WriteBitcodeToFile takes Module &Jiri Slaby
2018-10-26Added gen-bout tool to generate ktest file (file.bout) using specified concre...Andrew Santosa
2018-10-26travis: enable LLVM 6 testingJiri Slaby
2018-10-26llvm6: handle headers renamingJiri Slaby
2018-10-26llvm6: SetVersionPrinter now passes down a streamJiri Slaby
2018-10-26travis: enable LLVM 5 testingJiri Slaby
2018-10-26llvm5: APInt->getSignBit -> getSignMaskJiri Slaby
2018-10-26llvm5: CallSite.paramHasAttr is indexed from 0Jiri Slaby
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
2018-10-26llvm5: test, change objectsizeJiri Slaby
2018-10-26llvm5: Intrinsic::objectsize has three argumentsJiri Slaby
2018-10-26llvm5: use MutableArrayRef for APFloat::convertToIntegerJiri Slaby
2018-10-26llvm5: handle new file_magic's locationJiri Slaby
2018-10-26llvm5: SwitchInst case functions now return pointersJiri Slaby
2018-10-26llvm5: handle getOrInsertFunction terminatorJiri Slaby
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 13:11:51 +0000