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 downloads). 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

make semidbg-divine make1: Entering directory ‘/home/xrockai/src/divine/nightly’ make /var/obj/divine-nightly/semidbg/cmake.stamp CONFDEP1=ls _darcs/hashed_inventory 2>/dev/null CONFDEP2=ls _darcs/patches/pending 2> /dev/null FLAVOUR=semidbg make[2]: Entering directory ‘/home/xrockai/src/divine/nightly’ make[2]: ‘/var/obj/divine-nightly/semidbg/cmake.stamp’ is up to date. make[2]: Leaving directory ‘/home/xrockai/src/divine/nightly’ env BUILD_RPATH=/var/obj/divine-nightly/toolchain/runtime/libunwind/src:/var/obj/divine-nightly/toolchain/lib TESTHOOK=“” cmake –build /var/obj/divine-nightly/semidbg –target divine – ninja: warning: multiple rules generate divine/version-generated.cpp. builds involving this target will not be correct; continuing anyway [-w dupbuild=warn][1/4] Generating version-generated.cpp.check, version-generated.cpp 1c4ee336d2d6e0fd776e35300080bc908e7afe59 a6c23a31d596db5cb240b7b672c948e2dfcc83ab [2/4] Building CXX object divine/CMakeFiles/divine-ui.dir/version-generated.cpp.o FAILED: divine/CMakeFiles/divine-ui.dir/version-generated.cpp.o /var/obj/divine-nightly/toolchain/clang//bin/clang++ -DALG_CSDR=1 -DALG_EXPLICIT=0 -DALG_MAP=0 -DALG_METRICS=1 -DALG_NDFS=0 -DALG_OWCTY=1 -DALG_REACHABILITY=1 -DALG_WEAKREACHABILITY=0 -DBRICKS_HAVE_DIRENT_D_TYPE -DBRICKS_HAVE_LLVM -DDIVINE_RELAX_WARNINGS=“_Pragma( "GCC diagnostic push" ) _Pragma( "GCC diagnostic ignored \"-Wold-style-cast\"" ) _Pragma( "GCC diagnostic ignored \"-Wunused-parameter\"" )" -DDIVINE_UNRELAX_WARNINGS=“_Pragma( "GCC diagnostic pop" )" -DOPT_ASSERT=1 -DOPT_SIM=1 -DOPT_SQL=0 -DOPT_TBBMALLOC=0 -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Ddivine_ui_EXPORTS -I/home/xrockai/src/divine/nightly/llvm/include -Illvm/include -I/home/xrockai/src/divine/nightly/clang/include -Iclang/include -I/home/xrockai/src/divine/nightly/bricks -I/usr/include/valgrind -I/home/xrockai/src/divine/nightly -I. -isystem /home/xrockai/src/divine/nightly/runtime/libcxxabi/include -isystem /home/xrockai/src/divine/nightly/runtime/libcxx/include -isystem /home/xrockai/src/divine/nightly/runtime/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -std=c++1z -O2 -g -fPIC -Wno-c99-extensions -Wno-vla-extension -Wno-gnu-conditional-omitted-operand -Wno-c++1z-extensions -Wno-gnu-anonymous-struct -Wno-zero-length-array -fcolor-diagnostics -Wall -Wold-style-cast -Wno-unused-function -Wno-gnu-zero-variadic-macro-arguments -Wextra -Werror -MD -MT divine/CMakeFiles/divine-ui.dir/version-generated.cpp.o -MF divine/CMakeFiles/divine-ui.dir/version-generated.cpp.o.d -o divine/CMakeFiles/divine-ui.dir/version-generated.cpp.o -c divine/version-generated.cpp divine/version-generated.cpp:6:34: error: missing terminating ’“’ character [-Werror,-Winvalid-pp-token] const char *DIVINE_RELEASE_SHA = “v v v v v v v ^ divine/version-generated.cpp:6:34: error: expected expression divine/version-generated.cpp:12:14: error: missing terminating ’”‘character [-Werror,-Winvalid-pp-token] ^ ^ ^ ^ ^ ^ “; ^ divine/version-generated.cpp:12:16: error: expected ’;’ after top level declarator ^ ^ ^ ^ ^ ^ ^”; ; 4 errors generated. ninja: build stopped: subcommand failed. make1: *** [Makefile:100: semidbg-divine] Error 1 make1: Leaving directory’/home/xrockai/src/divine/nightly’ make: *** [Makefile:72: semidbg] Error 2

Build failed. Stopping here.

summary: 690 passed, 103 skipped

abstract
bricks
c
cc
cpp
demo
dios
lart
libc
libcxx
pdclib
posix
pthread
pts
sim
undef
verify
vm
weakmem