complete reference to Esparza/Křetínský/Sickert LICS'18 paper
* NEWS, bin/man/spot-x.x, bin/spot-x.cc, spot/twaalgos/gfguarantee.hh: Add the conference.
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#4166
|
arch-clang |
00:43:46
|
|
|||||
| passed |
#4167
|
arch-gcc-glibcxxdebug |
00:37:13
|
|
|||||
| passed |
#4165
|
debian-gcc-snapshot |
01:03:46
|
|
|||||
| passed |
#4163
|
debian-stable-gcc |
00:32:03
|
|
|||||
| passed |
#4164
|
debian-unstable-gcc-coverage |
00:23:57
|
88.9% |
|
||||
| passed |
#4170
|
debpkg-stable |
01:53:30
|
|
|||||
| passed |
#4173
|
debpkg-unstable |
02:00:51
|
|
|||||
| passed |
#4168
|
mingw-shared |
00:15:26
|
|
|||||
| passed |
#4169
|
mingw-static |
00:14:38
|
|
|||||
| failed |
#4171
|
debpkg-unstable |
00:36:53
|
|
|||||
| Publish | |||||||||
| passed |
#4172
dput
|
publish-unstable |
00:01:32
|
|
|||||