about summary refs log tree commit diff homepage
path: root/lib/Core
AgeCommit message (Expand)Author
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-10-10fix handling of failing external callsFrank Busse
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-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: APFloat members are functionsJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-09-06Fix missing includes and declarationsMartin Nowack
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-07-23ExternalDispatcher: setErrorStr for EngineBuilderJulian Büning
2018-07-12llvm38: no more implicit iteratorsRichard Trembecký
2018-07-12llvm38: no rounding in APFloatJiri Slaby
2018-07-11Added "override" in Executor.h to silence compiler warnings (and ran clang-fo...Cristian Cadar
2018-07-11Removed support for klee_make_symbolic with 2 arguments. This has been depre...Cristian Cadar
2018-07-04Fix compiler warnings if assertions are disabledMartin Nowack
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-06-13klee_int: allow NULL as nameFrank Busse
2018-06-11Fixed memory leak from Executor::inCloseMerge, fixes #883Lukas Wölfer
2018-05-24remove switch fallthrough in floating point comparisionDaniel Schemmel
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-05-22Removed .c_str() from getSourceLocation callsCristian Cadar
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-21stop using DEBUG macro nameJiri Slaby
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-17Improve error messages for ReadStringAtAddressTimotej Kapus
2018-05-15Improved code qualityLukas Wölfer
2018-05-15Implemented incomplete mergingLukas Wölfer
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-05-05Factor out method to update state memory with process stateMartin Nowack
2018-05-01add blockaddress and indirectbr instructionsFrank Busse
2018-05-01fix compilation warningFrank Busse
2018-04-09doDumpStates: incorrectly increments statsFrank Busse
2018-03-01Store CexCache stats and then update klee-stats to use themDomenico Fabio Marino
2018-02-18Fail for aggegrations with big endian orderingMartin Nowack
2018-02-18Fixed handling of constant vectors with complex dataMartin Nowack
2018-02-18Make print function of ObjectState public and constMartin Nowack
2018-02-18Fix correct element order of InsertElement/ExtractElementMartin Nowack
2018-02-18Fix getelementptr for array or vector indicesMartin Nowack
2018-02-18Fix generation of expressions from constant sequential dataMartin Nowack
2018-02-18Added comment for getPointerWidthMartin Nowack
2018-02-01llvm50: use auto variable instead of SwitchInst::CaseItJiri Slaby
2017-11-30Implemented bounded merging functionalityLukas Wölfer
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 19:37:48 +0000