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
Age
Commit message (
Expand
)
Author
2017-07-18
Use assembly line for printing debug information
Martin Nowack
2017-07-18
Merge pull request #672 from jirislaby/llvm40_static_casts
Andrea Mattavelli
2017-07-08
Corrected comment of Z3Solver class
Andrew Santosa
2017-06-16
move module loading into external function
Jörg Thalheim
2017-06-16
llvm37: introduce type for PassManager
Jiri Slaby
2017-06-16
Added location info for external calls and improved a message.
Cristian Cadar
2017-06-15
llvm37: do not copy DILocation to getDSPIPath
Jiri Slaby
2017-06-15
llvm: get rid of static_casts from iterators
Jiri Slaby
2017-06-12
llvm: don't use clEnumValEnd for LLVM 4.0
Jiri Slaby
2017-06-08
Merge pull request #675 from ccadar/varargs
Andrea Mattavelli
2017-06-08
Fixed typos in comments related to vararg support.
Cristian Cadar
2017-06-02
hide backend solver declarations from public include
Hoang M. Le
2017-06-02
replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...
Hoang M. Le
2017-06-01
[Z3] Remove unused include.
Dan Liew
2017-06-01
[Z3] Add `-debug-z3-verbosity=<N>` option which behaves like Z3's `-v:<N>` op...
Dan Liew
2017-06-01
[Z3] Switch from `Z3_mk_simple_solver()` to `Z3_mk_solver()`.
Dan Liew
2017-06-01
[Z3] In `getConstraintLog()` use a separate builder from that of the
Dan Liew
2017-06-01
[Z3] Implement API logging.
Dan Liew
2017-06-01
[Z3] Add option to manually validate Z3 models.
Dan Liew
2017-06-01
[Z3] Add the `-debug-z3-dump-queries=<path>` command line option. This
Dan Liew
2017-06-01
Refactor file opening code out of `main.cpp` and into
Dan Liew
2017-06-01
[Z3] Move the `dump()` methods of the Z3NodeHandle<> specializations
Dan Liew
2017-06-01
[Z3] Add assertions in Z3 builder to catch underflow with bad widths.
Dan Liew
2017-06-01
[Z3] Support another solver failure reason that Z3 might give. I'm going
Dan Liew
2017-05-30
Merge pull request #655 from Mic92/logging
Cristian Cadar
2017-05-24
Rearchitect ExternalDispatcher
Dan Liew
2017-05-24
llvm: make KLEE compile against LLVM 3.5 and 3.6
Richard Trembecký
2017-05-24
Remove redundant KLEE prefix while logging
Jörg Thalheim
2017-04-09
Removed unused variable 'fake_object' in MemoryObject
Andrea Mattavelli
2017-03-23
[CMake] Unbreak build due to not adding AssignmentValidatingSolver.cpp
Dan Liew
2017-03-23
Add `AssignmentValidatingSolver`. It's purpose is to check any computed
Dan Liew
2017-03-23
[WIP] Fix bug where stats would not be updated on early exit caused by
Dan Liew
2017-03-06
Merge pull request #611 from jirislaby/getDirectCallTarget
Andrea Mattavelli
2017-03-06
Merge pull request #609 from ccadar/warnings
Andrea Mattavelli
2017-03-05
Merge pull request #607 from jirislaby/dispatcher
Andrea Mattavelli
2017-03-05
Merge pull request #606 from jirislaby/ObjectFile
Cristian Cadar
2017-03-03
Merge pull request #613 from ccadar/minor2
Andrea Mattavelli
2017-03-03
Moved printFileLine() to be part of KInstruction
Cristian Cadar
2017-03-03
Merge pull request #589 from gladtbx/klee_fix_pathOS
Andrea Mattavelli
2017-03-03
Using klee_message instead of llvm:errs
Cristian Cadar
2017-03-01
fix for PathOS.id
gladtbx
2017-03-01
Core: explicitly create CallSite from Instruction
Jiri Slaby
2017-03-01
Added new option --warnings-only-to-file which causes warnings to be written ...
Cristian Cadar
2017-02-28
Core: MCJIT functions need unique names
Jiri Slaby
2017-02-28
convert iterators using static_cast
Jiri Slaby
2017-02-28
Module: simplify is_object checks
Jiri Slaby
2017-02-28
Merge pull request #547 from delcypher/fix_alignment_of_alloc_memory
Cristian Cadar
2017-02-25
llvm: stop using global context
Jiri Slaby
2017-02-24
Teach KLEE to respect the requested memory alignment of globals and stack
Dan Liew
2017-02-22
klee: remove use of deprecated 'register'
Jiri Slaby
[next]