Once a day, we take patches from our bleeding-edge source repository – next, run our testsuite and if everything works out, we make those patches available in our current repository (see also download). In other words, the current repository is expected to be in a useable state at all times. The code in current is then subject to additional testing and if the results are satisfactory, a release tarball is made.

Latest Changes

Test Results

klee:bricks
klee:lang-c
klee:libc
klee:libcxx
klee:pdclib
klee:posix
klee:svcomp
klee:sym
native:bricks
native:lang-c
native:libc
native:libcxx
native:pdclib
native:posix
native:pthread
native:svcomp
native:sym
smtlib:abstract
smtlib:refine
smtlib:sym
stp:abstract
stp:libcxx
stp:refine
stp:svcomp
stp:sym
abstract
bricks
cc
demo
dios
dioscc
draw
ext-pv264
lang-c
lang-cpp
lart
leak
libc
libcxx
liveness
misc
pdclib
posix
pthread
sim
svcomp