Skip to content

Actions: diffblue/cbmc

Actions

Build Xen with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Xen.yaml
1,676 workflow runs
1,676 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

goto-symex: move level1 map to goto_statet Build Xen with CPROVER tools #9530: Pull request #8439 synchronize by tautschnig
September 5, 2024 14:50 21m 53s tautschnig:fix-8437-level1-merge
tautschnig:fix-8437-level1-merge
September 5, 2024 14:50 21m 53s
zero extension expression Build Xen with CPROVER tools #9529: Pull request #8442 synchronize by kroening
September 5, 2024 13:54 12m 54s zero_extend
zero_extend
September 5, 2024 13:54 12m 54s
zero extension expression Build Xen with CPROVER tools #9528: Pull request #8442 synchronize by kroening
September 5, 2024 13:52 13m 32s zero_extend
zero_extend
September 5, 2024 13:52 13m 32s
Fix Python syntax error in doxygen markdown preprocessor Build Xen with CPROVER tools #9527: Pull request #8440 synchronize by tautschnig
September 5, 2024 12:50 31m 46s tautschnig:fix-python-syntax-error
tautschnig:fix-python-syntax-error
September 5, 2024 12:50 31m 46s
zero extension expression Build Xen with CPROVER tools #9526: Pull request #8442 synchronize by kroening
September 5, 2024 12:38 33m 30s zero_extend
zero_extend
September 5, 2024 12:38 33m 30s
introduce zero_expr() and one_expr() for number types Build Xen with CPROVER tools #9525: Pull request #8441 synchronize by kroening
September 5, 2024 12:37 27m 37s zero_expr
zero_expr
September 5, 2024 12:37 27m 37s
Fix Alpine's assert-statement conversion special case Build Xen with CPROVER tools #9524: Pull request #8438 synchronize by tautschnig
September 5, 2024 12:36 18m 51s tautschnig:fix-8436-conversion
tautschnig:fix-8436-conversion
September 5, 2024 12:36 18m 51s
zero extension expression Build Xen with CPROVER tools #9523: Pull request #8442 synchronize by kroening
September 5, 2024 10:30 12m 12s zero_extend
zero_extend
September 5, 2024 10:30 12m 12s
zero extension expression Build Xen with CPROVER tools #9522: Pull request #8442 synchronize by kroening
September 5, 2024 09:28 21m 28s zero_extend
zero_extend
September 5, 2024 09:28 21m 28s
zero extension expression Build Xen with CPROVER tools #9521: Pull request #8442 opened by kroening
September 5, 2024 09:25 21m 11s zero_extend
zero_extend
September 5, 2024 09:25 21m 11s
introduce zero_expr() and one_expr() for number types Build Xen with CPROVER tools #9520: Pull request #8441 opened by kroening
September 5, 2024 09:05 14m 18s zero_expr
zero_expr
September 5, 2024 09:05 14m 18s
Fix Python syntax error in doxygen markdown preprocessor Build Xen with CPROVER tools #9519: Pull request #8440 opened by tautschnig
September 4, 2024 12:12 12m 2s tautschnig:fix-python-syntax-error
tautschnig:fix-python-syntax-error
September 4, 2024 12:12 12m 2s
goto-symex: move level1 map to goto_statet Build Xen with CPROVER tools #9518: Pull request #8439 opened by tautschnig
September 3, 2024 20:28 13m 26s tautschnig:fix-8437-level1-merge
tautschnig:fix-8437-level1-merge
September 3, 2024 20:28 13m 26s
Fix Alpine's assert-statement conversion special case Build Xen with CPROVER tools #9517: Pull request #8438 opened by tautschnig
September 3, 2024 18:12 12m 54s tautschnig:fix-8436-conversion
tautschnig:fix-8436-conversion
September 3, 2024 18:12 12m 54s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9516: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:52 12m 4s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:52 12m 4s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9515: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:35 12m 11s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:35 12m 11s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9514: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:26 12m 32s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:26 12m 32s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9513: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:15 13m 49s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:15 13m 49s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9512: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:08 12m 33s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:08 12m 33s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9511: Pull request #8435 synchronize by tautschnig
September 3, 2024 11:58 12m 13s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 11:58 12m 13s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9510: Pull request #8435 synchronize by tautschnig
September 3, 2024 11:18 12m 30s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 11:18 12m 30s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9509: Pull request #8435 synchronize by tautschnig
September 3, 2024 10:13 13m 28s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 10:13 13m 28s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9508: Pull request #8435 synchronize by tautschnig
September 3, 2024 10:03 15m 46s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 10:03 15m 46s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9507: Pull request #8435 synchronize by tautschnig
September 3, 2024 09:59 12m 6s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 09:59 12m 6s
Do not define project(CBMC ...) twice to fix CMake failures Build Xen with CPROVER tools #9506: Pull request #8435 synchronize by tautschnig
September 3, 2024 09:54 13m 10s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 09:54 13m 10s