Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
1,651 workflow runs
1,651 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GOTO conversion: create temporaries with minimal scope Build Linux partially with CPROVER tools #7487: Pull request #8363 synchronize by tautschnig
July 9, 2024 12:26 4m 46s tautschnig:temporaries-minimal-scope
tautschnig:temporaries-minimal-scope
July 9, 2024 12:26 4m 46s
GOTO conversion: create temporaries with minimal scope Build Linux partially with CPROVER tools #7486: Pull request #8363 synchronize by tautschnig
July 9, 2024 09:24 13m 2s tautschnig:temporaries-minimal-scope
tautschnig:temporaries-minimal-scope
July 9, 2024 09:24 13m 2s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7485: Pull request #8368 synchronize by tautschnig
July 5, 2024 19:20 4m 8s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 19:20 4m 8s
C library: __fcntl_time64 for Debian/ARM Build Linux partially with CPROVER tools #7484: Pull request #8371 opened by tautschnig
July 5, 2024 18:49 12m 57s tautschnig:fnctl
tautschnig:fnctl
July 5, 2024 18:49 12m 57s
Regression test: support big and little endian Build Linux partially with CPROVER tools #7483: Pull request #8370 opened by tautschnig
July 5, 2024 18:44 12m 52s tautschnig:endianness-tests
tautschnig:endianness-tests
July 5, 2024 18:44 12m 52s
Regression cleanup: don't repeatedly remove the same file Build Linux partially with CPROVER tools #7482: Pull request #8369 opened by tautschnig
July 5, 2024 18:30 13m 45s tautschnig:fix-cleanup
tautschnig:fix-cleanup
July 5, 2024 18:30 13m 45s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7481: Pull request #8368 synchronize by tautschnig
July 5, 2024 18:13 4m 6s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 18:13 4m 6s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7480: Pull request #8368 synchronize by tautschnig
July 5, 2024 15:13 10m 40s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 15:13 10m 40s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7479: Pull request #8368 synchronize by tautschnig
July 5, 2024 15:03 3m 55s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 15:03 3m 55s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7478: Pull request #8368 synchronize by tautschnig
July 5, 2024 14:47 4m 0s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 14:47 4m 0s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7477: Pull request #8368 synchronize by tautschnig
July 5, 2024 14:44 15m 17s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 14:44 15m 17s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7476: Pull request #8368 synchronize by tautschnig
July 5, 2024 14:34 12m 49s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 14:34 12m 49s
Add support for building with GCC 14 Build Linux partially with CPROVER tools #7475: Pull request #8368 opened by tautschnig
July 5, 2024 13:18 1m 4s tautschnig:gcc-14-compat
tautschnig:gcc-14-compat
July 5, 2024 13:18 1m 4s
Make sure free symbols are declared in SMT2_conv after quantifier rewriting Build Linux partially with CPROVER tools #7474: Pull request #8361 synchronize by qinheping
July 5, 2024 03:15 4m 21s qinheping:issue/8329
qinheping:issue/8329
July 5, 2024 03:15 4m 21s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build Linux partially with CPROVER tools #7473: Pull request #8360 synchronize by qinheping
July 3, 2024 20:41 4m 13s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 3, 2024 20:41 4m 13s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build Linux partially with CPROVER tools #7472: Pull request #8360 synchronize by qinheping
July 3, 2024 20:24 3m 45s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 3, 2024 20:24 3m 45s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build Linux partially with CPROVER tools #7471: Pull request #8360 synchronize by qinheping
July 3, 2024 19:51 4m 28s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 3, 2024 19:51 4m 28s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build Linux partially with CPROVER tools #7470: Pull request #8360 synchronize by qinheping
July 3, 2024 19:46 4m 36s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 3, 2024 19:46 4m 36s
Make sure free symbols are declared in SMT2_conv after quantifier rewriting Build Linux partially with CPROVER tools #7469: Pull request #8361 synchronize by qinheping
July 2, 2024 18:56 3m 59s qinheping:issue/8329
qinheping:issue/8329
July 2, 2024 18:56 3m 59s
C library: fix use of va_list for AARCH64 Build Linux partially with CPROVER tools #7468: Pull request #8366 opened by tautschnig
July 2, 2024 11:14 3m 55s tautschnig:fix-8357-va_list
tautschnig:fix-8357-va_list
July 2, 2024 11:14 3m 55s
Replace expired key for signing the MSI Installer Build Linux partially with CPROVER tools #7467: Pull request #8364 synchronize by JohnLBergqvist
July 1, 2024 11:07 3m 55s update-expired-signing-key-for-msi-installer
update-expired-signing-key-for-msi-installer
July 1, 2024 11:07 3m 55s
Replace expired key for signing the MSI Installer Build Linux partially with CPROVER tools #7466: Pull request #8364 synchronize by JohnLBergqvist
July 1, 2024 11:05 4m 0s update-expired-signing-key-for-msi-installer
update-expired-signing-key-for-msi-installer
July 1, 2024 11:05 4m 0s
Replace expired key for signing the MSI Installer Build Linux partially with CPROVER tools #7465: Pull request #8364 synchronize by JohnLBergqvist
July 1, 2024 10:34 3m 54s update-expired-signing-key-for-msi-installer
update-expired-signing-key-for-msi-installer
July 1, 2024 10:34 3m 54s
Replace expired key for signing the MSI Installer Build Linux partially with CPROVER tools #7464: Pull request #8364 synchronize by JohnLBergqvist
July 1, 2024 09:50 3m 43s update-expired-signing-key-for-msi-installer
update-expired-signing-key-for-msi-installer
July 1, 2024 09:50 3m 43s
Replace expired key for signing the MSI Installer Build Linux partially with CPROVER tools #7463: Pull request #8364 synchronize by JohnLBergqvist
July 1, 2024 09:49 3m 55s update-expired-signing-key-for-msi-installer
update-expired-signing-key-for-msi-installer
July 1, 2024 09:49 3m 55s