index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
include
Age
Commit message (
Expand
)
Author
2019-07-30
Use #include "klee/..." (instead of #include <klee/...>) consistently.
Cristian Cadar
2019-07-30
Consolidated Expr-related include files into a single include/klee/Expr direc...
Cristian Cadar
2019-07-23
Refactor ConstraintManager to more modern coding standards
Daniel Schemmel
2019-06-04
fix some incorrect first lines
Julian Büning
2019-06-04
make endif guard naming consistent
Julian Büning
2019-06-04
DiscretePdf.h: add include guards
Julian Büning
2019-06-04
make include guard naming consistent
Julian Büning
2019-06-04
Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...
Cristian Cadar
2019-06-04
Remove parenthesis around returns, as reported and discussed in #891
Cristian Cadar
2019-05-30
ExecutionState: remove fnAliases
Julian Büning
2019-05-30
remove klee_alias_function()
Julian Büning
2019-04-02
Do not take sys/capability.h header into account on FreeBSD. Also use libutil...
Gleb Popov
2019-03-21
drop support for LLVM <= 3.7
Julian Büning
2019-03-21
remove obsolete LegacyLLVMPassManagerTy
Julian Büning
2019-03-21
remove obsolete macro KLEE_LLVM_GEP_TYPE
Julian Büning
2019-03-19
Refactor InstructionInfoTable
Martin Nowack
2019-03-17
Added libcxx flag
Lukas Wölfer
2019-03-17
Renamed --use-cache to --use-branch-cache
Cristian Cadar
2019-03-17
run VerifierPass after optimization and instrumentation
Julian Büning
2019-03-15
Categorized the options in SpecialFunctionHandler.cpp
Cristian Cadar
2019-03-15
Placed --exit-on-error, --max-tests and --watchdog in the termination category
Cristian Cadar
2019-03-15
Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...
Cristian Cadar
2019-03-15
Created a new module-related option category and moved the options in KModule...
Cristian Cadar
2019-03-13
Added function to hide all options in a given category. Removed uneeded (and...
Cristian Cadar
2019-03-13
Documented options in ExprPPrinter.cpp and placed them into a new option cate...
Cristian Cadar
2019-03-13
Added missing description for some options in CmdLineOptions.cpp (and some re...
Cristian Cadar
2019-03-13
Added --debug-log-state-merge to path merging category
Cristian Cadar
2019-03-12
time: add double type for span multiplications
Frank Busse
2019-03-11
Fixed wrong header include check and fully qualify llvm::cl::OptionCategory i...
Cristian Cadar
2019-03-05
workaround for LLVM PR39177
Julian Büning
2018-11-02
Introduced a constraint solving option category to which all the options in C...
Cristian Cadar
2018-10-30
Base time API upon std::chrono
Frank Busse
2018-10-26
llvm6: SetVersionPrinter now passes down a stream
Jiri Slaby
2018-10-26
llvm5: handle getOrInsertFunction terminator
Jiri Slaby
2018-10-23
refactor klee_open_output_file to return std::unique_ptr
Julian Büning
2018-10-23
Move unrelated function from ReadExpr class
Martin Nowack
2018-10-23
Move optimization specific headers away from the project include directory
Martin Nowack
2018-10-23
Clean-up headers
Martin Nowack
2018-10-23
Use std::unordered collections as we use C++11
Martin Nowack
2018-10-23
Remove unneeded externs
Martin Nowack
2018-10-23
optimizeExpr: return the result as return value instead as function argument
Martin Nowack
2018-10-23
Make valueOnly parameter of optimizeExpr explicit
Martin Nowack
2018-10-23
Fixed compilation of array optimization patch with LLVM >= 4.0
Cristian Cadar
2018-10-23
Added missing headers and clang-format the files
Cristian Cadar
2018-10-23
Added support for KLEE value-based array optimization
Andrea Mattavelli
2018-10-23
Added support for KLEE index-based array optimization
Andrea Mattavelli
2018-10-16
Small changes to comments
Cristian Cadar
2018-10-16
Added missing header to SolverCmdLine.h and clang-format it
Cristian Cadar
2018-10-16
Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...
Cristian Cadar
2018-10-08
add support for klee-replay on OSX
Frank Busse
[next]