about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2020-02-13Replace old TR1 implementations of unordered_map/set with std::* versionsMartin Nowack
2020-01-28updatecomet
2020-01-19Remove statistics limit from istats.Martin Nowack
2020-01-18Fix handling of debug information for functionsMartin Nowack
2020-01-13Assume assembly.ll is local to the run.istats fileMartin Nowack
2019-12-13Remove unnecessary std::move's that prevent copy elisionCristian Cadar
2019-12-12[optimize-array] Fix value transformationTimotej Kapus
2019-12-12[optimize-array] Fix hole index in buildMixedSelectExprTimotej Kapus
2019-12-12[optimize-array] Fix hash collisionsTimotej Kapus
2019-12-12[optimize-array] Fix update list read orderTimotej Kapus
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-15Implement @llvm.is.constant() intrinsic handling and add a test for it.Gleb Popov
2019-11-07Handle llvm.objectsize explicitlyMartin Nowack
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-31LLVM 9.0: fourth parameter for @llvm.objectsize()Julian Büning
2019-10-31support compilation against LLVM 9.0Julian Büning
2019-10-29ExecutorTimers: refactor and move to support libFrank Busse
2019-10-29ExecutorTimers: remove signalling, fix endless looping forkFrank Busse
2019-10-08Executor.h: remove defined functions without implementationFrank Busse
2019-09-20refactor PTree: use unique_ptrFrank Busse
2019-09-20refactor PTree: remove split(), add attach() methodFrank Busse
2019-09-20Add saturated arithmetic intrinsicsMateusz Naściszewski
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-09-03Moved ConstructSolverChain.cpp to the Solver library.Cristian Cadar
2019-09-03Renamed CmdLineOptions.cpp to SolverCmdLine.cpp (in line with the associated ...Cristian Cadar
2019-08-15ExecutorTimers: move dumpStates/dumpPTree into ExecutorFrank Busse
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-11 14:43:53 +0000