about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-20STPSolver: C++11, add missing free, refactoringFrank Busse
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19separate between instructions and functionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2019-03-19Add Read consistency test case, spellingTimotej Kapus
2019-03-19Fix representation of ReadExpr of equivalent arraysMartin Nowack
2019-03-18Disable optimisation for functions that contain KLEE callsMartin Nowack
2019-03-17Renamed --use-cache to --use-branch-cacheCristian Cadar
2019-03-17run VerifierPass after optimization and instrumentationJulian Büning
2019-03-16Added support for disabling --batch-instructions and --batch-time by setting ...Cristian Cadar
2019-03-15Placed option categories in the klee namespace and options in the anonymous n...Cristian Cadar
2019-03-15Placed --max-time in the termination categoryCristian Cadar
2019-03-15Placed --rewrite-constraints in the constraint solving categoryCristian Cadar
2019-03-15Categorized the options in SpecialFunctionHandler.cppCristian Cadar
2019-03-15Added help message for --use-constant-arrays, and placed option in the constr...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-15Created a new statistics option categoryCristian Cadar
2019-03-15Moved the options in Optimize.cpp to the module categoryCristian Cadar
2019-03-15Created a new module-related option category and moved the options in KModule...Cristian Cadar
2019-03-13Added function to hide all options in a given category. Removed uneeded (and...Cristian Cadar
2019-03-13Placed --warnings-only-to-file in a miscellaneous categoryCristian Cadar
2019-03-13Placed --use-visitor-hash in the expresion building/printing categoryCristian Cadar
2019-03-13Renamed --red-zone-space to --redzone-size and improved help messageCristian Cadar
2019-03-13Added --const-array-opt to building&printing expression categoryCristian Cadar
2019-03-13Renamed --use-construct-hash to --use-construct-hash-stp and moved it and use...Cristian Cadar
2019-03-13Moved options in ExprSMTLIBPrinter.cpp to the expression building and printin...Cristian Cadar
2019-03-13Documented options in ExprPPrinter.cpp and placed them into a new option cate...Cristian Cadar
2019-03-13Consistently use "default=true" and "default=false" instead of "default=on" a...Cristian Cadar
2019-03-13Added options in QueryLoggingSolver.cpp to the constraint solving categoryCristian Cadar
2019-03-13Added missing description for some options in CmdLineOptions.cpp (and some re...Cristian Cadar
2019-03-13Added options in CexCachingSolver.cpp to the constraint solving category and ...Cristian Cadar
2019-03-13Created new search option category and moved there the options in UserSearche...Cristian Cadar
2019-03-13Added options in ArrayExprOptimizer.cpp to the constraint solving categoryCristian Cadar
2019-03-13Reordered includes in ArrayExprOptimizer.cpp for consistency with the other f...Cristian Cadar
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-12Removed unneeded and confusing disable-opt option, reformatted Optimize() fun...Cristian Cadar
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-11Added options in STPSolver.cpp to the constraint solving categoryCristian Cadar
2019-03-11Added Z3 options to the constraint solving categoryCristian Cadar
2019-03-11Add support for LLVM 8.0Martin Nowack
2019-03-05workaround for LLVM PR39177Julian Büning
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 07:01:01 +0000