about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.cpp
AgeCommit message (Expand)Author
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
2017-07-25This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr...Cristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-20Merge pull request #657 from delcypher/vectorized_instructionsCristian Cadar
2017-07-20Replace assertions of types on LLVM instructions in the Executor with aDan Liew
2017-07-19Implement basic support for vectorized instructions.Dan Liew
2017-07-18Use assembly line for printing debug informationMartin Nowack
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-06-16Added location info for external calls and improved a message.Cristian Cadar
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-04-10 17:55:30 +0000