about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.cpp
AgeCommit message (Expand)Author
2020-07-30introduce --rng-initial-seed=<unsigned>Frank Busse
2020-07-01Use constraint sets and separate metadata for timing solver invocationMartin Nowack
2020-07-01Use `unique_ptr` for solver in timing solverMartin Nowack
2020-07-01Separate constraint set and constraint managerMartin Nowack
2020-06-29Implement fshr/fshl intrinsicsAlastair Reid
2020-06-25Enforce fork/branch limits in branch() and fix double terminationFrank Busse
2020-06-25fix Executor: initializeGlobalAliasesJulian Büning
2020-06-25Executor: consolidate initialization of global objectsJulian Büning
2020-06-25Executor: light refactoring of {allocate,initialize}GlobalObjectsJulian Büning
2020-06-25Executor: split initializeGlobalsJulian Büning
2020-06-24print stateID with --debug-print-instructionsFrank Busse
2020-06-24add ExecutionState IDsFrank Busse
2020-06-19Correctly copy variadic arguments with byval attributeCristian Cadar
2020-06-19Renamed loop index from "i" to "k" in executeCall() so that we can reuse "Ins...Cristian Cadar
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Removed include/klee/util and moved header files to appropriate placesCristian Cadar
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Move header files from lib/Expr to include/klee/Expr to eliminate includes us...Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-02-19Use `ref<>` for MemoryObject handlingMartin Nowack
2019-12-13Remove unnecessary std::move's that prevent copy elisionCristian Cadar
2019-12-12[Searchers] Remove weight from es, add nurs_depthTimotej Kapus
2019-11-28Move merging related code from Executor into MergingSearcherLukas Wölfer
2019-11-05Core: Executor, remove unused variableJiri Slaby
2019-11-05Mark all constant global memory objects as constantMartin Nowack
2019-11-04Remove the duplicated check for DebugInfoIntrinsicHui Peng
2019-10-31Executor: fix missing default case in switch instructionFrank Busse
2019-10-29ExecutorTimers: refactor and move to support libFrank Busse
2019-09-20refactor PTree: remove split(), add attach() methodFrank Busse
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-08-15ExecutorTimers: move dumpStates/dumpPTree into ExecutorFrank Busse
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-05-30ExecutionState: remove fnAliasesJulian Büning
2019-05-28Implement handling of the llvm.fabs intrinsicFelix Rath
2019-04-02Fix build of Executor.cpp on FreeBSD.Gleb Popov
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2019-03-17run VerifierPass after optimization and instrumentationJulian Büning
2019-03-15Placed option categories in the klee namespace and options in the anonymous n...Cristian Cadar
2019-03-15Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...Cristian Cadar
2019-03-15Reformatted options and headers in Executor.cpp and did a proofreading pass o...Cristian Cadar
2019-03-15Added several options in Executor.cpp to the constraint solving categoryCristian Cadar
2019-03-13Consistently use "default=true" and "default=false" instead of "default=on" a...Cristian Cadar
2019-03-12time: add double type for span multiplicationsFrank Busse
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 23:55:14 +0000