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
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-17
Merge pull request #700 from andreamattavelli/fix_travis_macos
Cristian Cadar
2017-07-16
Added caching of Homebrew downloads
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
Merge pull request #680 from jirislaby/llvm37_diloc
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
Merge pull request #667 from andreamattavelli/fix_macos_vararg
Cristian Cadar
2017-06-08
Fixed typos in comments related to vararg support.
Cristian Cadar
2017-06-07
Prevent test failure when realloc fails in test/Feature/Realloc.c
Andrew Santosa
2017-06-07
llvm: rename ExitOnError to OptExitOnError
Jiri Slaby
2017-06-05
Merge pull request #665 from delcypher/fix_long_double_gcc7
Andrea Mattavelli
2017-06-05
Removing flaky test Vararg.c from Darwin build until we find a proper fix
Andrea Mattavelli
2017-06-05
Fix test failure on systems with libstdc++ corresponding to gcc7.
Dan Liew
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-26
gitignore build
Jörg Thalheim
2017-05-24
Rearchitect ExternalDispatcher
Dan Liew
2017-05-24
travis CI: add LLVM 3.5 and 3.6 tests
Jiri Slaby
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-05-23
[TravisCI] Try to unbreak the build against upstream STP.
Dan Liew
2017-05-02
[CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM vers...
Hoang M. Le
2017-05-02
[travis] add environment variable METASMT_BOOST_VERSION to control the boost ...
Hoang M. Le
2017-05-02
use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI
Hoang M. Le
2017-04-09
Removed unused variable 'fake_object' in MemoryObject
Andrea Mattavelli
2017-04-08
[CMake] Don't redownload FileCheck.cpp if it exists
emlai
2017-04-07
[travis] fix a git submodule failure of metaSMT
Hoang M. Le
2017-04-06
Merge pull request #626 from delcypher/meta_smt_check_version_present
Cristian Cadar
2017-04-06
[NFC] Reindent `test/lit.cfg` and add vim mode line to use right
Dan Liew
2017-04-06
test: lit, add geq/lt-llvm- configs
Jiri Slaby
2017-04-03
Merge pull request #636 from delcypher/cmake_bitcode_build_system_fixes
Andrea Mattavelli
[next]