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
2016-02-10
Add some of the basic plumbing required to support a Z3 solver in KLEE.
Dan Liew
2016-02-10
Teach the configure script to configure the build to use the Z3 SMT
Dan Liew
2016-02-09
Merge pull request #335 from mdimjasevic/spelling-error-fixes
MartinNowack
2016-02-08
Fixed two spelling errors.
Marko Dimjašević
2016-01-14
Try to unbreak the Docker build broken by
Dan Liew
2016-01-14
Output a message reporting if the MetaSMT backend is enabled when
Dan Liew
2016-01-14
Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.
Dan Liew
2016-01-14
Refactor the MetaSMT makefile commands into its own file which can
Dan Liew
2016-01-14
Fix linking with stp via MetaSMT when not building with direct STP
Dan Liew
2016-01-14
MetaSMT build fixes.
Dan Liew
2016-01-14
Fix behaviour of --with-metasmt when passed a path that doesn't exist.
Dan Liew
2016-01-14
Make it possible to build KLEE without using STP and only MetaSMT.
Dan Liew
2016-01-12
Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing
Dan Liew
2016-01-12
Drop unnecessary ``#include``s from Solver.cpp.
Dan Liew
2016-01-12
Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into
Dan Liew
2016-01-12
[NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their
Dan Liew
2016-01-12
[NFC] Refactor DummySolver out of Solver.cpp into its own file
Dan Liew
2016-01-12
[NFC] Refactor ValidatingSolver out of Solver.cpp into its own file
Dan Liew
2016-01-07
[NFC] Refactor SolverImpl out of Solver.cpp into its own file
Dan Liew
2016-01-05
Merge pull request #325 from delcypher/fix_independence_solver_leak
Cristian Cadar
2015-12-26
Merge pull request #326 from domainexpert/upstream
Dan Liew
2015-12-25
Removed Language: Cpp entry from .clang-format due to incompatibility with Cl...
Andrew Santosa
2015-12-23
Fix memory leak detected by ASan when
Dan Liew
2015-12-23
[NFC]
Dan Liew
2015-12-23
Merge pull request #323 from delcypher/support_objectsize_intrinsic
Dan Liew
2015-12-23
Merge pull request #321 from delcypher/fix_parser_leak
Dan Liew
2015-12-23
Merge pull request #319 from delcypher/fix_inc_array_hash_expr
Dan Liew
2015-12-19
Implement support for lowering the ``llvm.objectsize`` intrinsic
Dan Liew
2015-12-18
Fix a leak detected by ASan in the KQuery parser where on destruction of
Dan Liew
2015-12-18
Fix duplication of ``klee::ArrayHashFn`` in
Dan Liew
2015-12-18
Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h
Dan Liew
2015-12-18
Remove a bunch of LeakSanitizer suppressions that aren't needed anymore
Dan Liew
2015-12-18
Merge pull request #315 from delcypher/array_leak
Dan Liew
2015-12-18
Fix memory leaks of ``Array`` objects detected by ASan.
Dan Liew
2015-12-17
Clean up the check in the previous commit by using one of KLEE's
Dan Liew
2015-12-17
Fixed a bug with how non power 2 values were written to memory, added test fo...
Timotej Kapus
2015-12-17
[Solver]Add support to dump STP qeries using
Martin Nowack
2015-12-17
Report fatal error in case CexCache Bindings do not match
Martin Nowack
2015-12-17
Add dump function for Assignment
Martin Nowack
2015-12-17
[Solver]Add simple option to dump queries
Martin Nowack
2015-12-17
Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...
Martin Nowack
2015-12-17
Merge pull request #316 from delcypher/update_list_leak
Dan Liew
2015-12-17
Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.
Dan Liew
2015-12-17
Add LeakSanitizer (component of AddressSanitizer) suppression file
Dan Liew
2015-12-16
Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer),
Dan Liew
2015-12-13
Ignore some generated files that will be visible if doing an in source
Dan Liew
2015-12-13
Ignore some autoconf generated files.
Dan Liew
2015-12-13
Set C++ standard in Clang format settings file to C++03. Otherwise
Dan Liew
2015-12-11
Reword help description for ``--silent-klee-assume`` command line
Dan Liew
2015-12-11
Change SilentKleeAssume.c test slightly so that
Dan Liew
[next]