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
Age
Commit message (
Expand
)
Author
2019-03-12
time: add double type for span multiplications
Frank Busse
2019-03-12
Removed unneeded and confusing disable-opt option, reformatted Optimize() fun...
Cristian Cadar
2019-03-11
Replaced "default=off" with "default=false"
MartinNowack
2019-03-11
Created a path merging option category and improved help message for path mer...
Cristian Cadar
2019-03-11
Added options in STPSolver.cpp to the constraint solving category
Cristian Cadar
2019-03-11
Added Z3 options to the constraint solving category
Cristian Cadar
2019-03-11
Fixed wrong header include check and fully qualify llvm::cl::OptionCategory i...
Cristian Cadar
2019-03-11
Add LLVM 8.0 target
Martin Nowack
2019-03-11
Add support for LLVM 8.0
Martin Nowack
2019-03-10
Add dockerfile for default KLEE setup
Martin Nowack
2019-03-10
Updated dependency build system for KLEE
Martin Nowack
2019-03-07
tests: rename xxclang to clangxx
Frank Busse
2019-03-07
Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.
Cristian Cadar
2019-03-05
add regression test for LLVM PR39177
Julian Büning
2019-03-05
workaround for LLVM PR39177
Julian Büning
2019-03-05
ktest-tool: add --extract option
Frank Busse
2019-03-05
Renamed "Starting options" to "Startup options" and added a missing space in ...
Cristian Cadar
2019-03-05
remove klee-clang, use wllvm/gllvm instead
Frank Busse
2019-03-05
fix Executor::initializeGlobals for aliases pointing to another alias
Julian Büning
2019-01-15
make AssignmentLessThan::operator() const-invocable
Julian Büning
2019-01-07
fix a bug in a function call
Tipwheal
2018-12-19
ktest-tool: move from optparse to argparse, add ouput/example sections to help
Frank Busse
2018-12-19
Travis OSX: install Python 3.x
Frank Busse
2018-12-19
regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'
Frank Busse
2018-12-19
Various fixes for ktest-tool
Frank Busse
2018-12-19
Added default values to option comments
MartinNowack
2018-12-19
Renamed --environ to --env-file
Cristian Cadar
2018-12-19
Renamed --stop-after-n-tests to --max-tests
Cristian Cadar
2018-12-19
Added a replaying option category
Cristian Cadar
2018-12-19
Added checks option category, moved --optimize to starting category, renamed ...
Cristian Cadar
2018-12-19
Added linking option category
Cristian Cadar
2018-12-19
Added starting option category
Cristian Cadar
2018-12-19
Added test case option category
Cristian Cadar
2018-12-19
Added debugging category
Cristian Cadar
2018-12-19
Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251
Cristian Cadar
2018-12-19
Added some descriptions suggested by @MartinNowack and placed --max-static-.....
Cristian Cadar
2018-12-19
Added option categories for external call policy and termination criteria
Cristian Cadar
2018-12-19
Created two more option categories: test generation and seeding.
Cristian Cadar
2018-12-14
Enable C++14 support
Martin Nowack
2018-11-23
Implemented memalign with alignment
Lukas Wölfer
2018-11-11
Use LLVM 4 for Mac Build
Martin Nowack
2018-11-07
Fix bug which resulted in an incorrect warning to be printed.
Cristian Cadar
2018-11-06
fix: actually set -O0 in test/concrete/CMakeLists.txt
Julian Büning
2018-11-05
Fixed crash on zero size arrays
Lukas Wölfer
2018-11-05
Check for stack overflow in a tested program
Martin Nowack
2018-11-02
Added test for the case where external calls are encountered but disallowed
Cristian Cadar
2018-11-02
Replaced --no-externals and --allow-external-sym-calls with --external-calls,...
Cristian Cadar
2018-11-02
The test DeterministicSwitch.c does not need to allow external symbolic calls
Cristian Cadar
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
[next]