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
847 workflow runs
847 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix builtin function return hidden flag inconsistency Build Xen with CPROVER tools #10446: Pull request #8800 synchronize by tautschnig
In progress tautschnig:fix-5207-hidden
tautschnig:fix-5207-hidden
In progress
Fix builtin function return hidden flag inconsistency Build Xen with CPROVER tools #10445: Pull request #8800 synchronize by tautschnig
10m 57s tautschnig:fix-5207-hidden
tautschnig:fix-5207-hidden
10m 57s
Fix variable initialization order in snapshot-harness aliasing pointers Build Xen with CPROVER tools #10444: Pull request #8798 synchronize by tautschnig
12m 23s tautschnig:fix-4978-snapshot-init
tautschnig:fix-4978-snapshot-init
12m 23s
Fix goto-instrument --dump-c parameter/local variable name collision Build Xen with CPROVER tools #10443: Pull request #8804 synchronize by tautschnig
12m 28s tautschnig:fix-6268-dump-c-name-clash
tautschnig:fix-6268-dump-c-name-clash
12m 28s
Add regression test to ascertain struct hack support Build Xen with CPROVER tools #10442: Pull request #8801 synchronize by tautschnig
12m 53s tautschnig:fix-5213-structhack
tautschnig:fix-5213-structhack
12m 53s
Fix three-way-merge to be field-sensitive with --vsd-structs every-field Build Xen with CPROVER tools #10441: Pull request #8805 synchronize by tautschnig
12m 59s tautschnig:fix-6272-three-way-merge-field-sensitive
tautschnig:fix-6272-three-way-merge-field-sensitive
12m 59s
Fix XML rendering crash with non-printable characters Build Xen with CPROVER tools #10440: Pull request #8806 opened by tautschnig
12m 21s tautschnig:fix-7073-xml
tautschnig:fix-7073-xml
12m 21s
Fix three-way-merge to be field-sensitive with --vsd-structs every-field Build Xen with CPROVER tools #10439: Pull request #8805 opened by tautschnig
12m 5s tautschnig:fix-6272-three-way-merge-field-sensitive
tautschnig:fix-6272-three-way-merge-field-sensitive
12m 5s
Fix goto-instrument --dump-c parameter/local variable name collision Build Xen with CPROVER tools #10438: Pull request #8804 opened by tautschnig
12m 32s tautschnig:fix-6268-dump-c-name-clash
tautschnig:fix-6268-dump-c-name-clash
12m 32s
Fix segfault in k-induction step case with nested loops Build Xen with CPROVER tools #10437: Pull request #8803 opened by tautschnig
12m 11s tautschnig:fix-5357-k-induction
tautschnig:fix-5357-k-induction
12m 11s
Fix invalid assumptions and invariants in GraphML witness generation Build Xen with CPROVER tools #10436: Pull request #8802 opened by tautschnig
16m 49s tautschnig:fix-5264-graphml
tautschnig:fix-5264-graphml
16m 49s
Add regression test to ascertain struct hack support Build Xen with CPROVER tools #10435: Pull request #8801 opened by tautschnig
12m 15s tautschnig:fix-5213-structhack
tautschnig:fix-5213-structhack
12m 15s
Fix builtin function return hidden flag inconsistency Build Xen with CPROVER tools #10434: Pull request #8800 opened by tautschnig
12m 16s tautschnig:fix-5207-hidden
tautschnig:fix-5207-hidden
12m 16s
Fix C frontend array type sync in goto program Build Xen with CPROVER tools #10433: Pull request #8799 opened by tautschnig
11m 19s tautschnig:fix-5022-array-length
tautschnig:fix-5022-array-length
11m 19s
Fix variable initialization order in snapshot-harness aliasing pointers Build Xen with CPROVER tools #10432: Pull request #8798 opened by tautschnig
12m 0s tautschnig:fix-4978-snapshot-init
tautschnig:fix-4978-snapshot-init
12m 0s
Add edge case regression tests for --generate-function-body const handling Build Xen with CPROVER tools #10431: Pull request #8797 opened by tautschnig
11m 49s tautschnig:fix-1948-more-tests
tautschnig:fix-1948-more-tests
11m 49s
Enable Clang sanitizers in Linux/Clang CI pipeline Build Xen with CPROVER tools #10430: Pull request #8737 synchronize by tautschnig
12m 21s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
12m 21s
document non-binary case for Boolean and bit-wise operators Build Xen with CPROVER tools #10429: Pull request #8795 synchronize by kroening
21m 46s doc-boolean-ops
doc-boolean-ops
21m 46s
document non-binary case for Boolean and bit-wise operators Build Xen with CPROVER tools #10428: Pull request #8795 opened by kroening
20m 21s doc-boolean-ops
doc-boolean-ops
20m 21s
Enable Clang sanitizers in Linux/Clang CI pipeline Build Xen with CPROVER tools #10427: Pull request #8737 synchronize by tautschnig
13m 13s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
13m 13s
Enable Clang sanitizers in Linux/Clang CI pipeline Build Xen with CPROVER tools #10426: Pull request #8737 synchronize by tautschnig
12m 14s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
12m 14s
Enable Clang sanitizers in Linux/Clang CI pipeline Build Xen with CPROVER tools #10425: Pull request #8737 synchronize by tautschnig
13m 28s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
13m 28s
Refactor basic block detection into standalone utility module Build Xen with CPROVER tools #10424: Pull request #8781 synchronize by tautschnig
22m 34s tautschnig:fix-1686-basic-block-refactor
tautschnig:fix-1686-basic-block-refactor
22m 34s
Enable Clang sanitizers in Linux/Clang CI pipeline Build Xen with CPROVER tools #10423: Pull request #8737 synchronize by tautschnig
12m 20s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
12m 20s
Enable Clang sanitizers in Linux/Clang CI pipeline Build Xen with CPROVER tools #10422: Pull request #8737 synchronize by tautschnig
12m 26s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
12m 26s