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-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
Reformatted options and headers in Executor.cpp and did a proofreading pass o...
Cristian Cadar
2019-03-15
Added several options in Executor.cpp to the constraint solving category
Cristian Cadar
2019-03-15
Created a new statistics option category
Cristian Cadar
2019-03-15
Moved the options in Optimize.cpp to the module category
Cristian Cadar
2019-03-15
Created a new module-related option category and moved the options in KModule...
Cristian Cadar
2019-03-13
Hide the general category (with LLVM options) in Kleaver.
Cristian Cadar
2019-03-13
Added function to hide all options in a given category. Removed uneeded (and...
Cristian Cadar
2019-03-13
Placed --warnings-only-to-file in a miscellaneous category
Cristian Cadar
2019-03-13
Placed --use-visitor-hash in the expresion building/printing category
Cristian Cadar
2019-03-13
Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some refo...
Cristian Cadar
2019-03-13
Renamed --red-zone-space to --redzone-size and improved help message
Cristian Cadar
2019-03-13
Added --const-array-opt to building&printing expression category
Cristian Cadar
2019-03-13
Renamed --use-construct-hash to --use-construct-hash-stp and moved it and use...
Cristian Cadar
2019-03-13
Moved options in kleaver/main.cpp in either the constraint solving or the exp...
Cristian Cadar
2019-03-13
Moved options in ExprSMTLIBPrinter.cpp to the expression building and printin...
Cristian Cadar
2019-03-13
Documented options in ExprPPrinter.cpp and placed them into a new option cate...
Cristian Cadar
2019-03-13
Consistently use "default=true" and "default=false" instead of "default=on" a...
Cristian Cadar
2019-03-13
Added options in QueryLoggingSolver.cpp to the constraint solving category
Cristian Cadar
2019-03-13
Added missing description for some options in CmdLineOptions.cpp (and some re...
Cristian Cadar
2019-03-13
Added options in CexCachingSolver.cpp to the constraint solving category and ...
Cristian Cadar
2019-03-13
Created new search option category and moved there the options in UserSearche...
Cristian Cadar
2019-03-13
Added options in ArrayExprOptimizer.cpp to the constraint solving category
Cristian Cadar
2019-03-13
Reordered includes in ArrayExprOptimizer.cpp for consistency with the other f...
Cristian Cadar
2019-03-13
Created a new memory management option category for the options in MemoryMana...
Cristian Cadar
2019-03-13
Renamed --warn-all-externals to --warn-all-external-symbols and placed it in ...
Cristian Cadar
2019-03-13
Renamed --no-output to --write-no-tests and placed it in the test case catego...
Cristian Cadar
2019-03-13
Added --debug-log-state-merge to path merging category
Cristian Cadar
2019-03-12
Add integer sanitizer to UBSan
Martin Nowack
2019-03-12
Enable MSan Travis CI job
Martin Nowack
2019-03-12
Exclude testcases not compatible with MSan
Martin Nowack
2019-03-12
Add support to compile KLEE with MemorySanitizer (MSan)
Martin Nowack
2019-03-12
Fixed unitialised memory in `MergeHandler`
Martin Nowack
2019-03-12
Fixed comments to objectsize.ll and objectsize.leq49.ll
Cristian Cadar
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
[prev]
[next]