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

Tests passed, the above patches are now part of http://divine.fi.muni.cz/current.

abstract
svcomp
abstract
cc
demo
dios
divcc
ext-pv264
lang-c
lang-cpp
lart
libc
libcxx
pdclib
posix
pthread
sim
svcomp
undef
verify
vm
weakmem
abstract
svcomp

summary: 2471 passed, 5 skipped