about summary refs log tree commit diff homepage
path: root/lib/Core
AgeCommit message (Expand)Author
2019-03-13Created a new memory management option category for the options in MemoryMana...Cristian Cadar
2019-03-13Added --debug-log-state-merge to path merging categoryCristian Cadar
2019-03-12Fixed unitialised memory in `MergeHandler`Martin Nowack
2019-03-12time: add double type for span multiplicationsFrank Busse
2019-03-11Replaced "default=off" with "default=false"MartinNowack
2019-03-11Created a path merging option category and improved help message for path mer...Cristian Cadar
2019-03-11Add support for LLVM 8.0Martin Nowack
2019-03-05Renamed "Starting options" to "Startup options" and added a missing space in ...Cristian Cadar
2019-03-05fix Executor::initializeGlobals for aliases pointing to another aliasJulian Büning
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-05Fixed crash on zero size arraysLukas Wölfer
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-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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-01 06:18:27 +0000