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
/
include
Age
Commit message (
Expand
)
Author
2017-06-16
move module loading into external function
Jörg Thalheim
2017-06-16
llvm37: introduce type for PassManager
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
Refactor file opening code out of `main.cpp` and into
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-03
Moved printFileLine() to be part of KInstruction
Cristian Cadar
2017-02-25
llvm: stop using global context
Jiri Slaby
2017-02-23
CommandLine: do not copy list in optionIsSet
Jiri Slaby
2017-02-21
Teach `klee::getDirectCallTarget()` to resolve weak aliases. This is
Dan Liew
2017-02-14
Refactoring code to improve readability by using UINT32/64_C macros
Andrea Mattavelli
2017-02-14
Fixed assertion invocation: We were invoking bits64::truncateToNBits with a w...
Andrea Mattavelli
2017-02-14
Added pre/post conditions as assertions
Andrea Mattavelli
2017-02-13
Silenced two "control may reach end of non-void function [-Wreturn-type]" com...
Cristian Cadar
2016-11-30
Remove support for reporting the approximate git tag.
Dan Liew
2016-11-28
Clean up `Expr::compare()` interface by
Dan Liew
2016-11-28
Remove default implementation of `Expr::compareContents(const Expr&)`
Dan Liew
2016-11-28
Fix bug in implementation of `NotExpr`. It should not implement
Dan Liew
2016-11-23
Renamed .pc to .kquery (kleaver query)
Eric Rizzi
2016-11-07
[CMake] Report git revision information if available.
Dan Liew
2016-11-07
Implement a CMake based build system for KLEE.
Dan Liew
2016-09-29
Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)
Dan Liew
2016-09-29
configure: run AutoRegen.sh
Jiri Slaby
2016-09-16
Avoid internalization of non-standard entry point (i.e. not the main function...
Andrea Mattavelli
2016-09-15
Correct out of date comments for some of the klee error handling
Dan Liew
2016-09-15
Add ``-debug-cross-check-core-solver`` option to allow cross-checking
Dan Liew
2016-07-08
Support gzip-based compression of raw_outstreams
Martin Nowack
2016-05-24
Fixed bug #375 in Kleaver's parser
Andrea Mattavelli
2016-04-12
remove synthesized `rule of three` of KInstIterator
jiangg
2016-04-08
Rename KLEE command line options from
Dan Liew
2016-03-09
Fix incorrect position of ``Not`` in ``Expr::Kind`` which meant it was included
Dan Liew
2016-03-05
Fix SELinux signatures in runtime
Laszlo Szekeres
2016-02-29
Merge pull request #344 from MartinNowack/feat_malloc
MartinNowack
2016-02-27
Merge pull request #342 from delcypher/expr_fixes
MartinNowack
2016-02-27
Add support for tcmalloc
Martin Nowack
2016-02-23
Added missing copyright headers per klee/issue #301
Marko Dimjašević
2016-02-23
Move ``Assignment::dump()`` into its own implementation file so
Dan Liew
2016-02-22
Make the declaration of ``ConstantExpr`` the last declared ``Expr``
Dan Liew
2016-02-22
Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``.
Dan Liew
2016-02-14
Handle Z3 API change between 4.4.1 and the current master branch
Dan Liew
2016-02-14
Add basic implementation of Z3Builder and Z3Solver and Z3SolverImpl
Dan Liew
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-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
2015-12-18
Fix duplication of ``klee::ArrayHashFn`` in
Dan Liew
[next]