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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Value set: lift offset from numeric constants to expressions Build Xen with CPROVER tools #10081: Pull request #8647 opened by tautschnig
May 30, 2025 13:30 13m 16s tautschnig:value-set-offset
tautschnig:value-set-offset
May 30, 2025 13:30 13m 16s
C library: Refine and improve stdio models Build Xen with CPROVER tools #10080: Pull request #8043 synchronize by tautschnig
May 30, 2025 11:07 12m 46s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
May 30, 2025 11:07 12m 46s
C library: Refine and improve stdio models Build Xen with CPROVER tools #10079: Pull request #8043 synchronize by tautschnig
May 28, 2025 11:18 42m 18s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
May 28, 2025 11:18 42m 18s
C front-end: fix processing of alignment and packing attributes Build Xen with CPROVER tools #10078: Pull request #8454 synchronize by tautschnig
May 28, 2025 11:16 36m 54s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
May 28, 2025 11:16 36m 54s
Move unwindset.{h,cpp} to goto-programs Build Xen with CPROVER tools #10077: Pull request #8645 synchronize by tautschnig
May 28, 2025 11:12 28m 44s tautschnig:move-unwindsett
tautschnig:move-unwindsett
May 28, 2025 11:12 28m 44s
Introduce value-set supported simplifier for goto-symex Build Xen with CPROVER tools #10076: Pull request #8642 synchronize by tautschnig
May 28, 2025 11:09 15m 28s tautschnig:simp-value-set
tautschnig:simp-value-set
May 28, 2025 11:09 15m 28s
Make goto_symext::language_mode protected Build Xen with CPROVER tools #10075: Pull request #8646 opened by tautschnig
May 28, 2025 10:32 22m 50s tautschnig:language_mode-protected
tautschnig:language_mode-protected
May 28, 2025 10:32 22m 50s
Move unwindset.{h,cpp} to goto-programs Build Xen with CPROVER tools #10074: Pull request #8645 opened by tautschnig
May 28, 2025 10:29 11m 49s tautschnig:move-unwindsett
tautschnig:move-unwindsett
May 28, 2025 10:29 11m 49s
unwindsett: goto_model is only needed for options processing Build Xen with CPROVER tools #10073: Pull request #8643 synchronize by tautschnig
May 28, 2025 10:19 13m 19s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
May 28, 2025 10:19 13m 19s
Introduce value-set supported simplifier for goto-symex Build Xen with CPROVER tools #10072: Pull request #8642 synchronize by tautschnig
May 27, 2025 14:02 12m 20s tautschnig:simp-value-set
tautschnig:simp-value-set
May 27, 2025 14:02 12m 20s
goto-checker no longer depends on cbmc Build Xen with CPROVER tools #10071: Pull request #8644 opened by tautschnig
May 27, 2025 13:00 22m 21s tautschnig:goto-checker-dep
tautschnig:goto-checker-dep
May 27, 2025 13:00 22m 21s
unwindsett: goto_model is only needed for options processing Build Xen with CPROVER tools #10070: Pull request #8643 opened by tautschnig
May 27, 2025 12:59 22m 23s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
May 27, 2025 12:59 22m 23s
fix shell quoting Build Xen with CPROVER tools #10069: Pull request #8641 synchronize by kroening
May 27, 2025 10:41 12m 24s shell-quote-fix
shell-quote-fix
May 27, 2025 10:41 12m 24s
Introduce value-set supported simplifier for goto-symex Build Xen with CPROVER tools #10068: Pull request #8642 opened by tautschnig
May 27, 2025 09:50 22m 42s tautschnig:simp-value-set
tautschnig:simp-value-set
May 27, 2025 09:50 22m 42s
fix shell quoting Build Xen with CPROVER tools #10067: Pull request #8641 synchronize by kroening
May 27, 2025 00:35 13m 18s shell-quote-fix
shell-quote-fix
May 27, 2025 00:35 13m 18s
fix shell quoting Build Xen with CPROVER tools #10066: Pull request #8641 synchronize by kroening
May 26, 2025 23:50 12m 21s shell-quote-fix
shell-quote-fix
May 26, 2025 23:50 12m 21s
fix shell quoting Build Xen with CPROVER tools #10065: Pull request #8641 synchronize by kroening
May 26, 2025 19:42 22m 12s shell-quote-fix
shell-quote-fix
May 26, 2025 19:42 22m 12s
fix shell quoting Build Xen with CPROVER tools #10064: Pull request #8641 opened by kroening
May 26, 2025 19:34 22m 27s shell-quote-fix
shell-quote-fix
May 26, 2025 19:34 22m 27s
DRAFT: Control Flow Retrace feature Build Xen with CPROVER tools #10063: Pull request #8636 synchronize by lks9
May 9, 2025 13:54 12m 19s lks9:retrace_feature
lks9:retrace_feature
May 9, 2025 13:54 12m 19s
DRAFT: Control Flow Retrace feature Build Xen with CPROVER tools #10062: Pull request #8636 synchronize by lks9
May 9, 2025 13:40 12m 10s lks9:retrace_feature
lks9:retrace_feature
May 9, 2025 13:40 12m 10s
DRAFT: Control Flow Retrace feature Build Xen with CPROVER tools #10061: Pull request #8636 synchronize by lks9
May 9, 2025 13:35 12m 19s lks9:retrace_feature
lks9:retrace_feature
May 9, 2025 13:35 12m 19s
DRAFT: Control Flow Retrace feature Build Xen with CPROVER tools #10060: Pull request #8636 synchronize by lks9
May 9, 2025 13:26 12m 30s lks9:retrace_feature
lks9:retrace_feature
May 9, 2025 13:26 12m 30s
DRAFT: Control Flow Retrace feature Build Xen with CPROVER tools #10059: Pull request #8636 synchronize by lks9
May 8, 2025 18:19 15m 32s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 18:19 15m 32s
DRAFT: Control Flow Retrace feature Build Xen with CPROVER tools #10058: Pull request #8636 synchronize by lks9
May 8, 2025 17:58 12m 44s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 17:58 12m 44s
DRAFT: Control Flow Retrace feature Build Xen with CPROVER tools #10057: Pull request #8636 synchronize by lks9
May 8, 2025 11:56 12m 42s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 11:56 12m 42s