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,644 workflow runs
1,644 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix __float128 portability Build Linux partially with CPROVER tools #6081: Pull request #7843 opened by tautschnig
August 11, 2023 07:47 7m 43s tautschnig:bugfixes/__float128
tautschnig:bugfixes/__float128
August 11, 2023 07:47 7m 43s
Fix undefined shift on non-64-bit architectures Build Linux partially with CPROVER tools #6080: Pull request #7842 opened by tautschnig
August 11, 2023 07:46 6m 23s tautschnig:undefined-shift
tautschnig:undefined-shift
August 11, 2023 07:46 6m 23s
Add shadow memory get_field function Build Linux partially with CPROVER tools #6078: Pull request #7840 synchronize by esteffin
August 10, 2023 19:54 6m 31s esteffin:esteffin/shadow-memory-get-field-op
esteffin:esteffin/shadow-memory-get-field-op
August 10, 2023 19:54 6m 31s
Add shadow memory get_field function Build Linux partially with CPROVER tools #6077: Pull request #7840 synchronize by esteffin
August 10, 2023 18:32 7m 41s esteffin:esteffin/shadow-memory-get-field-op
esteffin:esteffin/shadow-memory-get-field-op
August 10, 2023 18:32 7m 41s
Add shadow memory get_field function Build Linux partially with CPROVER tools #6076: Pull request #7840 synchronize by esteffin
August 10, 2023 18:30 1m 17s esteffin:esteffin/shadow-memory-get-field-op
esteffin:esteffin/shadow-memory-get-field-op
August 10, 2023 18:30 1m 17s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6075: Pull request #7841 synchronize by tautschnig
August 10, 2023 09:01 8m 43s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 10, 2023 09:01 8m 43s
Add shadow memory get_field function Build Linux partially with CPROVER tools #6074: Pull request #7840 synchronize by esteffin
August 9, 2023 13:48 7m 46s esteffin:esteffin/shadow-memory-get-field-op
esteffin:esteffin/shadow-memory-get-field-op
August 9, 2023 13:48 7m 46s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6073: Pull request #7841 synchronize by tautschnig
August 9, 2023 13:24 6m 32s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 9, 2023 13:24 6m 32s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6072: Pull request #7841 synchronize by tautschnig
August 9, 2023 12:43 8m 11s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 9, 2023 12:43 8m 11s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6071: Pull request #7841 synchronize by tautschnig
August 9, 2023 11:17 7m 23s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 9, 2023 11:17 7m 23s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6070: Pull request #7841 synchronize by tautschnig
August 9, 2023 10:10 18m 6s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 9, 2023 10:10 18m 6s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6068: Pull request #7841 synchronize by tautschnig
August 9, 2023 08:29 15m 15s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 9, 2023 08:29 15m 15s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6067: Pull request #7841 synchronize by tautschnig
August 9, 2023 08:20 14m 43s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 9, 2023 08:20 14m 43s
Test 32-bit builds in CI and fix platform-specific code and tests Build Linux partially with CPROVER tools #6066: Pull request #7756 synchronize by tautschnig
August 9, 2023 08:16 7m 49s tautschnig:bugfixes/32-bit
tautschnig:bugfixes/32-bit
August 9, 2023 08:16 7m 49s
Switch GCC-12 CI job to GCC 13 Build Linux partially with CPROVER tools #6065: Pull request #7841 opened by tautschnig
August 9, 2023 08:07 8m 0s tautschnig:features/gcc-13
tautschnig:features/gcc-13
August 9, 2023 08:07 8m 0s
Add shadow memory get_field function Build Linux partially with CPROVER tools #6064: Pull request #7840 opened by esteffin
August 8, 2023 23:45 8m 51s esteffin:esteffin/shadow-memory-get-field-op
esteffin:esteffin/shadow-memory-get-field-op
August 8, 2023 23:45 8m 51s
Test 32-bit builds in CI and fix platform-specific code and tests Build Linux partially with CPROVER tools #6063: Pull request #7756 synchronize by tautschnig
August 8, 2023 14:07 21m 1s tautschnig:bugfixes/32-bit
tautschnig:bugfixes/32-bit
August 8, 2023 14:07 21m 1s
Test 32-bit builds in CI and fix platform-specific code and tests Build Linux partially with CPROVER tools #6062: Pull request #7756 synchronize by tautschnig
August 8, 2023 14:04 6m 57s tautschnig:bugfixes/32-bit
tautschnig:bugfixes/32-bit
August 8, 2023 14:04 6m 57s
Add empty struct support to incremental SMT decision procedure Build Linux partially with CPROVER tools #6060: Pull request #7839 synchronize by thomasspriggs
August 7, 2023 18:49 7m 59s thomasspriggs:tas/smt_empty_structs
thomasspriggs:tas/smt_empty_structs
August 7, 2023 18:49 7m 59s
Add empty struct support to incremental SMT decision procedure Build Linux partially with CPROVER tools #6059: Pull request #7839 opened by thomasspriggs
August 7, 2023 14:39 6m 44s thomasspriggs:tas/smt_empty_structs
thomasspriggs:tas/smt_empty_structs
August 7, 2023 14:39 6m 44s
Shadow memory initialization functions Build Linux partially with CPROVER tools #6058: Pull request #7836 synchronize by esteffin
August 7, 2023 11:25 7m 46s esteffin:esteffin/shadow-memory-init
esteffin:esteffin/shadow-memory-init
August 7, 2023 11:25 7m 46s
Shadow memory initialization functions Build Linux partially with CPROVER tools #6057: Pull request #7836 synchronize by esteffin
August 4, 2023 14:55 7m 41s esteffin:esteffin/shadow-memory-init
esteffin:esteffin/shadow-memory-init
August 4, 2023 14:55 7m 41s
Turns off using lambdas for array comprehension Build Linux partially with CPROVER tools #6055: Pull request #7838 synchronize by TGWDB
August 3, 2023 14:51 6m 33s 20230803-disable-z3-lambda-for-array-comprehension
20230803-disable-z3-lambda-for-array-comprehension
August 3, 2023 14:51 6m 33s
Turns off using lambdas for array comprehension Build Linux partially with CPROVER tools #6054: Pull request #7838 synchronize by TGWDB
August 3, 2023 14:28 6m 33s 20230803-disable-z3-lambda-for-array-comprehension
20230803-disable-z3-lambda-for-array-comprehension
August 3, 2023 14:28 6m 33s
Turns off using lambdas for array comprehension Build Linux partially with CPROVER tools #6053: Pull request #7838 synchronize by TGWDB
August 3, 2023 14:24 7m 55s 20230803-disable-z3-lambda-for-array-comprehension
20230803-disable-z3-lambda-for-array-comprehension
August 3, 2023 14:24 7m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-08-03 or the other filters available.