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:lang-c
klee:libc
klee:libcxx
klee:posix
klee:sym
smtlib:abstract
smtlib:sym
stp:abstract
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
undef
verify
vm
weakmem
z3:abstract
z3:svcomp
z3:sym

summary: 4671 passed, 15 skipped, 1 failed