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-09-22
Merge pull request #748 from ccadar/options
Cristian Cadar
2017-08-27
Remove unnecessary null pointer checks
Oscar Deits
2017-08-11
Removed "llvm::" and reformatting in CmdLineOptions.cpp
Cristian Cadar
2017-08-11
Added support for hiding command-line options
Cristian Cadar
2017-08-09
Fixed a compiler warning (unused variable)
Cristian Cadar
2017-08-09
Merge pull request #742 from ccadar/fold
Cristian Cadar
2017-08-07
Untabify this file, which was using a mix of spaces and tabs for alignment.
Cristian Cadar
2017-08-07
Added checks for div/mod by zero and overshifts in constant expressions. Suc...
Cristian Cadar
2017-08-04
Removed merging searchers
Lukas Wölfer
2017-07-31
Fix build for FreeBSD.
Tatiana Tikhomirova
2017-07-29
Added an optional KInstruction* argument to evalConstant and evalConstantExpr...
Cristian Cadar
2017-07-29
Added another variant of printFileLine in KInstruction that returns the locat...
Cristian Cadar
2017-07-26
Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::list
Cristian Cadar
2017-07-25
Merge pull request #725 from ccadar/fold
Cristian Cadar
2017-07-25
This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr...
Cristian Cadar
2017-07-25
Added the const qualifier to the keys in the constantMap
Cristian Cadar
2017-07-24
llvm: get rid of static_casts from iterators (take 2)
Jörg Thalheim
2017-07-23
Remove support for LLVM < 3.4
Martin Nowack
2017-07-20
Merge pull request #657 from delcypher/vectorized_instructions
Cristian Cadar
2017-07-20
Replace assertions of types on LLVM instructions in the Executor with a
Dan Liew
2017-07-20
Core: TimingSolver, use TimerStatIncrementer
Jiri Slaby
2017-07-19
Implement basic support for vectorized instructions.
Dan Liew
2017-07-19
Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo...
Cristian Cadar
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ý
[next]