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
2019-07-30
Use #include "klee/..." (instead of #include <klee/...>) consistently.
Cristian Cadar
2019-07-30
Consolidated Expr-related include files into a single include/klee/Expr direc...
Cristian Cadar
2019-07-30
CMake: fix LLVM_DEFINITIONS with find_package()
Julian Büning
2019-07-30
CMake: show values of optional LLVM variables
Julian Büning
2019-07-30
CMake: enable reuse of LLVM's googletest src and targets
Julian Büning
2019-07-30
fix two test issues
Felix Rath
2019-07-30
Provide klee runtime build type as parameter
Martin Nowack
2019-07-30
Add missing dependencies for `check` target
Martin Nowack
2019-07-29
Fixed incorrect requires directive
Cristian Cadar
2019-07-26
Install emacs and vim in the Docker image
Cristian Cadar
2019-07-25
Solve issues with running as a command on docker run
Denis Gavrielov
2019-07-23
Refactor ConstraintManager to more modern coding standards
Daniel Schemmel
2019-07-23
Refactor ValueRange to more modern coding standards
Daniel Schemmel
2019-06-04
Fixed incorrect comment in Travis file, we now use STP 2.3.3
Cristian Cadar
2019-06-04
fix some incorrect first lines
Julian Büning
2019-06-04
make endif guard naming consistent
Julian Büning
2019-06-04
DiscretePdf.h: add include guards
Julian Büning
2019-06-04
make include guard naming consistent
Julian Büning
2019-06-04
Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...
Cristian Cadar
2019-06-04
Remove parenthesis around returns, as reported and discussed in #891
Cristian Cadar
2019-05-31
PTree: fix dump() method
Frank Busse
2019-05-30
ExecutionState: remove fnAliases
Julian Büning
2019-05-30
fix tests for macOS
Julian Büning
2019-05-30
implement FunctionAliasPass
Julian Büning
2019-05-30
remove klee_alias_function()
Julian Büning
2019-05-28
Implement handling of the llvm.fabs intrinsic
Felix Rath
2019-05-07
Update issue templates
Cristian Cadar
2019-05-06
Removed outdated TODO.txt file. TODOs are now managed on GitHub.
Cristian Cadar
2019-05-06
Use 'latest' branch of FreeBSD packages on Cirrus CI.
Gleb Popov
2019-05-06
Fix compilation of POSIX runtime on FreeBSD 11.
Gleb Popov
2019-05-06
Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test.
Gleb Popov
2019-05-06
Fix build of POSIX runtime on FreeBSD i386.
Gleb Popov
2019-04-29
Add a configuration file for Cirrus CI.
Gleb Popov
2019-04-29
More FreeBSD related fixes to POSIX runtime.
Gleb Popov
2019-04-29
Fix gen-random-bout to build on FreeBSD.
Gleb Popov
2019-04-12
Fix handling of time in grafana
Timotej Kapus
2019-04-08
Use newer version of metaSMT in travis build
Martin Nowack
2019-04-08
Use newer versions of solver components used by MetaSMT
Martin Nowack
2019-04-08
Propagate correct version of metasmt to build script
Martin Nowack
2019-04-08
Add LD_LIBRARY_PATH to docker image
Gerben Oolbekkink
2019-04-05
Add missing dependency for tabulate package
Martin Nowack
2019-04-05
Add docker build as target.
Martin Nowack
2019-04-05
Remove CC as requirement; automatically set by sanitizer_compiler
Martin Nowack
2019-04-04
klee-stats: add - to to-csv/grafana options
Frank Busse
2019-04-04
Add klee-stats test, fix microseconds bug
Timotej Kapus
2019-04-04
Fix SQLite OSX
Timotej Kapus
2019-04-04
Add MSan support for sqlite
Timotej Kapus
2019-04-04
add tabulate to OSX build
Frank Busse
2019-04-04
some minor refactorings
Frank Busse
2019-04-04
Clean klee-stats, StatsTracker and cmake
Timotej Kapus
[next]