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] 1). 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
svcomp
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: 5 skipped, 2433 passed