about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2019-08-14Update basic block iterator after deleting instruction; add test caseMartin Nowack
2019-08-14fixed bug in IntrinsicCleaner trap cleanerMichael Bryman
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-12StatsTracker: switch from TRUNCATE to WAL journal modeFrank Busse
2019-08-01Renamed misspelled fileCristian Cadar
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-07-23Refactor ConstraintManager to more modern coding standardsDaniel Schemmel
2019-07-23Refactor ValueRange to more modern coding standardsDaniel Schemmel
2019-06-04fix some incorrect first linesJulian Büning
2019-06-04make endif guard naming consistentJulian Büning
2019-06-04make include guard naming consistentJulian Büning
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-06-04Remove parenthesis around returns, as reported and discussed in #891Cristian Cadar
2019-05-31PTree: fix dump() methodFrank Busse
2019-05-30ExecutionState: remove fnAliasesJulian Büning
2019-05-30implement FunctionAliasPassJulian Büning
2019-05-30remove klee_alias_function()Julian Büning
2019-05-28Implement handling of the llvm.fabs intrinsicFelix Rath
2019-04-04some minor refactoringsFrank Busse
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2019-04-02Add FreeBSD OS triple in RaiseAsmGleb Popov
2019-04-02Handle __assert() function as handleAssertFail. This assert variant is used o...Gleb Popov
2019-04-02Fix build of Executor.cpp on FreeBSD.Gleb Popov
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove copy of ScalarizerPass for LLVM 3.4Julian Büning
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-04 19:13:34 +0000