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

Avoid conversion check failure sysconf library model Build Xen with CPROVER tools #7921: Pull request #7824 opened by tautschnig
July 24, 2023 08:48 12m 55s tautschnig:bugfixes/sysconf
tautschnig:bugfixes/sysconf
July 24, 2023 08:48 12m 55s
Mark CBMC cbmc-5.88.0. Build Xen with CPROVER tools #7919: Pull request #7812 opened by NlightNFotis
July 20, 2023 10:18 13m 28s NlightNFotis:new_cbmc_release-5.88.0
NlightNFotis:new_cbmc_release-5.88.0
July 20, 2023 10:18 13m 28s
Fix big endian compatibility Build Xen with CPROVER tools #7918: Pull request #7811 opened by tautschnig
July 20, 2023 10:01 16m 20s tautschnig:bugfixes/big-endian
tautschnig:bugfixes/big-endian
July 20, 2023 10:01 16m 20s
Define coverage blocks so as to be terminated by assumptions Build Xen with CPROVER tools #7917: Pull request #7810 opened by thomasspriggs
July 19, 2023 17:48 15m 27s thomasspriggs:tas/cover_assume_blocks
thomasspriggs:tas/cover_assume_blocks
July 19, 2023 17:48 15m 27s
Add -Denable_marchnative=true option Build Xen with CPROVER tools #7916: Pull request #6029 synchronize by rurban
July 19, 2023 10:04 11m 44s rurban:march-native
rurban:march-native
July 19, 2023 10:04 11m 44s
Ensure hardening flags apply to all built binaries Build Xen with CPROVER tools #7914: Pull request #7801 synchronize by tautschnig
July 19, 2023 06:00 50m 27s tautschnig:cleanup/hardening
tautschnig:cleanup/hardening
July 19, 2023 06:00 50m 27s
Introduce bitst and bytest to avoid bit/byte mix-up Build Xen with CPROVER tools #7913: Pull request #7413 synchronize by tautschnig
July 19, 2023 05:51 21m 29s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
July 19, 2023 05:51 21m 29s
Move CPROVER_{r,w,rw}_ok processing to back-end Build Xen with CPROVER tools #7912: Pull request #7395 synchronize by tautschnig
July 19, 2023 05:46 23m 26s tautschnig:feature/rw_ok-back-end
tautschnig:feature/rw_ok-back-end
July 19, 2023 05:46 23m 26s
Value sets: make pointers nondet only once Build Xen with CPROVER tools #7911: Pull request #7716 synchronize by tautschnig
July 19, 2023 05:44 16m 45s tautschnig:cleanup/nondet-pointer-perf
tautschnig:cleanup/nondet-pointer-perf
July 19, 2023 05:44 16m 45s
Add missing cleanup Build Xen with CPROVER tools #7910: Pull request #7798 synchronize by tautschnig
July 18, 2023 20:53 12m 9s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 20:53 12m 9s
Extend expr_initializer to support byte-wise initialization Build Xen with CPROVER tools #7909: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 13m 14s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 13m 14s
Extend expr_initializer to support byte-wise initialization Build Xen with CPROVER tools #7908: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 15m 4s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 15m 4s
Add missing cleanup Build Xen with CPROVER tools #7907: Pull request #7798 synchronize by tautschnig
July 18, 2023 18:35 14m 12s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 18:35 14m 12s
Enable all struct tests under regression/cbmc/ for new SMT backend Build Xen with CPROVER tools #7906: Pull request #7809 synchronize by NlightNFotis
July 18, 2023 14:05 16m 33s NlightNFotis:address_of_field
NlightNFotis:address_of_field
July 18, 2023 14:05 16m 33s
Add string literal support to incremental SMT decision procedure Build Xen with CPROVER tools #7905: Pull request #7808 synchronize by thomasspriggs
July 18, 2023 11:18 12m 29s thomasspriggs:tas/smt_string_literals
thomasspriggs:tas/smt_string_literals
July 18, 2023 11:18 12m 29s
Add missing cleanup Build Xen with CPROVER tools #7904: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:29 11m 23s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:29 11m 23s
Add missing cleanup Build Xen with CPROVER tools #7903: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:14 11m 51s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:14 11m 51s
Add missing cleanup Build Xen with CPROVER tools #7902: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:45 14m 34s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:45 14m 34s
Add missing cleanup Build Xen with CPROVER tools #7901: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:33 13m 57s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:33 13m 57s
Add missing cleanup Build Xen with CPROVER tools #7900: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:16 12m 31s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:16 12m 31s
Add missing cleanup Build Xen with CPROVER tools #7899: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:59 14m 25s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:59 14m 25s
Add missing cleanup Build Xen with CPROVER tools #7898: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:46 13m 4s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:46 13m 4s
Add missing cleanup Build Xen with CPROVER tools #7897: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:40 12m 21s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:40 12m 21s
Enable all struct tests under regression/cbmc/ for new SMT backend Build Xen with CPROVER tools #7896: Pull request #7809 opened by NlightNFotis
July 17, 2023 09:54 11m 52s NlightNFotis:address_of_field
NlightNFotis:address_of_field
July 17, 2023 09:54 11m 52s
Add missing cleanup Build Xen with CPROVER tools #7895: Pull request #7798 synchronize by tautschnig
July 17, 2023 07:04 14m 20s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 07:04 14m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-07-17 or the other filters available.