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
/
lib
/
Core
Age
Commit message (
Expand
)
Author
2019-03-21
remove obsolete macro KLEE_LLVM_GEP_TYPE
Julian Büning
2019-03-19
Add support to assign debug instructions to optimised code
Martin Nowack
2019-03-19
Use debugging information from newer LLVM versions
Martin Nowack
2019-03-19
Refactor InstructionInfoTable
Martin Nowack
2019-03-17
run VerifierPass after optimization and instrumentation
Julian Büning
2019-03-16
Added support for disabling --batch-instructions and --batch-time by setting ...
Cristian Cadar
2019-03-15
Placed option categories in the klee namespace and options in the anonymous n...
Cristian Cadar
2019-03-15
Placed --max-time in the termination category
Cristian Cadar
2019-03-15
Categorized the options in SpecialFunctionHandler.cpp
Cristian Cadar
2019-03-15
Added help message for --use-constant-arrays, and placed option in the constr...
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-13
Renamed --red-zone-space to --redzone-size and improved help message
Cristian Cadar
2019-03-13
Consistently use "default=true" and "default=false" instead of "default=on" a...
Cristian Cadar
2019-03-13
Created new search option category and moved there the options in UserSearche...
Cristian Cadar
2019-03-13
Created a new memory management option category for the options in MemoryMana...
Cristian Cadar
2019-03-13
Added --debug-log-state-merge to path merging category
Cristian Cadar
2019-03-12
Fixed unitialised memory in `MergeHandler`
Martin Nowack
2019-03-12
time: add double type for span multiplications
Frank Busse
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
Add support for LLVM 8.0
Martin Nowack
2019-03-05
Renamed "Starting options" to "Startup options" and added a missing space in ...
Cristian Cadar
2019-03-05
fix Executor::initializeGlobals for aliases pointing to another alias
Julian Büning
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-11-23
Implemented memalign with alignment
Lukas Wölfer
2018-11-07
Fix bug which resulted in an incorrect warning to be printed.
Cristian Cadar
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
Replaced --no-externals and --allow-external-sym-calls with --external-calls,...
Cristian Cadar
2018-10-30
Base time API upon std::chrono
Frank Busse
2018-10-26
llvm5: CallSite.paramHasAttr is indexed from 0
Jiri Slaby
2018-10-26
llvm5: use MutableArrayRef for APFloat::convertToInteger
Jiri Slaby
2018-10-26
llvm5: SwitchInst case functions now return pointers
Jiri Slaby
2018-10-24
Added lowering pass
Rafael Zaehl
2018-10-23
refactor klee_open_output_file to return std::unique_ptr
Julian Büning
2018-10-23
use klee_open_output_file for uncompressed logs
Julian Büning
2018-10-23
Move optimization specific headers away from the project include directory
Martin Nowack
2018-10-23
Remove condition check before function invocation
Martin Nowack
2018-10-23
Move ConstantExpr check inside optimizeExpr function
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
Added support for KLEE value-based array optimization
Andrea Mattavelli
2018-10-23
Added support for KLEE index-based array optimization
Andrea Mattavelli
[next]