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
Mode
Name
Size
-rw-r--r--
.clang-format
44
log
plain
blame
-rw-r--r--
.dockerignore
41
log
plain
blame
-rw-r--r--
.gitattributes
42
log
plain
blame
-rw-r--r--
.gitignore
323
log
plain
blame
-rw-r--r--
.travis.yml
7401
log
plain
blame
d---------
.travis
379
log
plain
-rw-r--r--
CMakeLists.txt
29763
log
plain
blame
-rw-r--r--
Dockerfile
5620
log
plain
blame
-rw-r--r--
LICENSE.TXT
3063
log
plain
blame
-rw-r--r--
Makefile
1784
log
plain
blame
-rw-r--r--
Makefile.common
2985
log
plain
blame
-rw-r--r--
Makefile.config.in
2341
log
plain
blame
-rw-r--r--
Makefile.rules
75478
log
plain
blame
-rw-r--r--
MetaSMT.mk
508
log
plain
blame
-rw-r--r--
NEWS
6333
log
plain
blame
-rw-r--r--
README-CMake.md
3211
log
plain
blame
-rw-r--r--
README.md
1224
log
plain
blame
-rw-r--r--
TODO.txt
3616
log
plain
blame
d---------
autoconf
196
log
plain
d---------
cmake
662
log
plain
-rwxr-xr-x
configure
202724
log
plain
blame
d---------
docs
188
log
plain
d---------
examples
133
log
plain
d---------
include
62
log
plain
d---------
lib
310
log
plain
d---------
runtime
420
log
plain
d---------
scripts
362
log
plain
d---------
test
681
log
plain
d---------
tools
297
log
plain
d---------
unittests
363
log
plain
d---------
utils
167
log
plain