about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.cpp
AgeCommit message (Expand)Author
2018-12-19Added debugging categoryCristian Cadar
2018-12-19Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251Cristian Cadar
2018-12-19Added some descriptions suggested by @MartinNowack and placed --max-static-.....Cristian Cadar
2018-12-19Added option categories for external call policy and termination criteriaCristian Cadar
2018-12-19Created two more option categories: test generation and seeding.Cristian Cadar
2018-11-23Implemented memalign with alignmentLukas Wölfer
2018-11-07Fix bug which resulted in an incorrect warning to be printed.Cristian Cadar
2018-11-05Check for stack overflow in a tested programMartin Nowack
2018-11-02Replaced --no-externals and --allow-external-sym-calls with --external-calls,...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-26llvm5: CallSite.paramHasAttr is indexed from 0Jiri Slaby
2018-10-26llvm5: use MutableArrayRef for APFloat::convertToIntegerJiri Slaby
2018-10-26llvm5: SwitchInst case functions now return pointersJiri Slaby
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-23Move optimization specific headers away from the project include directoryMartin 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-23Added support for KLEE value-based array optimizationAndrea Mattavelli
2018-10-23Added support for KLEE index-based array optimizationAndrea Mattavelli
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-09-30Fix a crash when the last running state is terminated during mergingLukas Wölfer
2018-09-18llvm4: PointerType is not SequentialTypeJiri Slaby
2018-09-18llvm4: APFloat members are functionsJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-07-12llvm38: no rounding in APFloatJiri Slaby
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-05-24remove switch fallthrough in floating point comparisionDaniel Schemmel
2018-05-22Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to re...Cristian Cadar
2018-05-22Simplified printFileLine by using std::to_string, and removed unneeded versio...Cristian Cadar
2018-05-21fix some casts for LLP64 compilersFrank Busse
2018-05-17Abort execution if --only-output-states-covering-new is enabled but its depen...Cristian Cadar
2018-05-17Add support for concretizing symbolic objects passed to external functionsTimotej Kapus
2018-05-15Implemented incomplete mergingLukas Wölfer
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-05-01add blockaddress and indirectbr instructionsFrank Busse
2018-04-09doDumpStates: incorrectly increments statsFrank Busse
2018-02-18Fail for aggegrations with big endian orderingMartin Nowack
2018-02-18Fix correct element order of InsertElement/ExtractElementMartin Nowack
2018-02-01llvm50: use auto variable instead of SwitchInst::CaseItJiri Slaby
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-11-30Added pause and continue functionality for states in ExecutorLukas Wölfer
2017-10-25fixing huge allocation size constant to be unsignedDavid Trabish
2017-10-12Removed unnecessary and redundant variableAndrea Mattavelli
2017-10-09Fixed initialization of distance to uncovered instructions when KLEE relies o...Andrea Mattavelli
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-07-26Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::listCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-06-18 14:56:31 +0000