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
741 workflow run results
741 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify byte_extract(byte_update(...)) when extracting from update Build Xen with CPROVER tools #8293: Pull request #7933 synchronize by tautschnig
October 13, 2023 09:57 12m 28s tautschnig:features/simplify-be-bu
tautschnig:features/simplify-be-bu
October 13, 2023 09:57 12m 28s
Restrict memory-analyzer build to Linux x86_64/i386 Build Xen with CPROVER tools #8292: Pull request #7958 opened by tautschnig
October 13, 2023 09:28 11m 15s tautschnig:bugfixes/memory-analyzer-config
tautschnig:bugfixes/memory-analyzer-config
October 13, 2023 09:28 11m 15s
C front-end: typecheck conditional operator over string literal and 0 Build Xen with CPROVER tools #8291: Pull request #7946 synchronize by tautschnig
October 13, 2023 09:07 12m 48s tautschnig:bugfixes/null-ptr
tautschnig:bugfixes/null-ptr
October 13, 2023 09:07 12m 48s
std::sort requires strict weak ordering Build Xen with CPROVER tools #8289: Pull request #7956 opened by tautschnig
October 12, 2023 14:32 12m 20s tautschnig:bugfixes/7949-comparison
tautschnig:bugfixes/7949-comparison
October 12, 2023 14:32 12m 20s
update CHANGELOG for last minute bug fixes Build Xen with CPROVER tools #8288: Pull request #7955 opened by TGWDB
October 12, 2023 11:47 11m 52s 20231012-CHANGELOG-update
20231012-CHANGELOG-update
October 12, 2023 11:47 11m 52s
Simplification towards singleton intervals requires single variable Build Xen with CPROVER tools #8287: Pull request #7954 opened by tautschnig
October 12, 2023 08:56 33m 12s tautschnig:bugfixes/7953-interval-simp
tautschnig:bugfixes/7953-interval-simp
October 12, 2023 08:56 33m 12s
20231011 cbmc 5.94.0 Build Xen with CPROVER tools #8285: Pull request #7948 synchronize by TGWDB
October 11, 2023 22:55 13m 28s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 22:55 13m 28s
20231011 cbmc 5.94.0 Build Xen with CPROVER tools #8284: Pull request #7948 synchronize by TGWDB
October 11, 2023 22:54 12m 47s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 22:54 12m 47s
Add missing lowering of symbol values in new SMT backend Build Xen with CPROVER tools #8283: Pull request #7952 opened by thomasspriggs
October 11, 2023 20:37 13m 35s thomasspriggs:tas/smt_lower_symbol_values
thomasspriggs:tas/smt_lower_symbol_values
October 11, 2023 20:37 13m 35s
Fix SMT encoding of structs which contain a single struct field Build Xen with CPROVER tools #8282: Pull request #7951 opened by thomasspriggs
October 11, 2023 19:50 11m 46s thomasspriggs:tas/smt_struct_of_struct
thomasspriggs:tas/smt_struct_of_struct
October 11, 2023 19:50 11m 46s
Fix book regression tests handling of smt test runs Build Xen with CPROVER tools #8281: Pull request #7950 opened by thomasspriggs
October 11, 2023 18:13 13m 39s thomasspriggs:tas/fix_book_examples_smt
thomasspriggs:tas/fix_book_examples_smt
October 11, 2023 18:13 13m 39s
20231011 cbmc 5.94.0 Build Xen with CPROVER tools #8280: Pull request #7948 opened by TGWDB
October 11, 2023 14:36 14m 24s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 14:36 14m 24s
C front-end: support vector expressions as compile-time constants Build Xen with CPROVER tools #8279: Pull request #7947 opened by tautschnig
October 11, 2023 10:27 12m 25s tautschnig:bugfixes/vector-constant
tautschnig:bugfixes/vector-constant
October 11, 2023 10:27 12m 25s
C front-end: typecheck conditional operator over string literal and 0 Build Xen with CPROVER tools #8278: Pull request #7946 opened by tautschnig
October 11, 2023 09:44 11m 51s tautschnig:bugfixes/null-ptr
tautschnig:bugfixes/null-ptr
October 11, 2023 09:44 11m 51s
Define coverage blocks so as to be terminated by all assumptions Build Xen with CPROVER tools #8276: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 11m 48s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 11m 48s
Define coverage blocks so as to be terminated by all assumptions Build Xen with CPROVER tools #8275: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 11m 28s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 11m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.