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,644 workflow runs
1,644 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Turns off using lambdas for array comprehension Build Xen with CPROVER tools #7946: Pull request #7838 opened by TGWDB
August 3, 2023 12:40 13m 31s 20230803-disable-z3-lambda-for-array-comprehension
20230803-disable-z3-lambda-for-array-comprehension
August 3, 2023 12:40 13m 31s
20230803-cbmc-5.89.0 Build Xen with CPROVER tools #7945: Pull request #7837 opened by TGWDB
August 3, 2023 09:42 16m 22s 20230803-cbmc-5.89.0
20230803-cbmc-5.89.0
August 3, 2023 09:42 16m 22s
Shadow memory initialization functions Build Xen with CPROVER tools #7944: Pull request #7836 synchronize by esteffin
August 2, 2023 17:10 11m 37s esteffin:esteffin/shadow-memory-init
esteffin:esteffin/shadow-memory-init
August 2, 2023 17:10 11m 37s
Shadow memory initialization functions Build Xen with CPROVER tools #7943: Pull request #7836 synchronize by esteffin
August 2, 2023 17:01 13m 54s esteffin:esteffin/shadow-memory-init
esteffin:esteffin/shadow-memory-init
August 2, 2023 17:01 13m 54s
Shadow memory initialization functions Build Xen with CPROVER tools #7942: Pull request #7836 opened by esteffin
August 2, 2023 14:00 1m 44s esteffin:esteffin/shadow-memory-init
esteffin:esteffin/shadow-memory-init
August 2, 2023 14:00 1m 44s
Extend expr_initializer to support byte-wise initialization Build Xen with CPROVER tools #7938: Pull request #7392 synchronize by esteffin
July 31, 2023 23:59 11m 34s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 31, 2023 23:59 11m 34s
Extend expr_initializer to support byte-wise initialization Build Xen with CPROVER tools #7937: Pull request #7392 synchronize by esteffin
July 31, 2023 16:58 12m 41s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 31, 2023 16:58 12m 41s
Extend expr_initializer to support byte-wise initialization Build Xen with CPROVER tools #7936: Pull request #7392 synchronize by esteffin
July 31, 2023 16:55 13m 47s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 31, 2023 16:55 13m 47s
SYNTHESIZER: add array-uf options Build Xen with CPROVER tools #7935: Pull request #7834 opened by qinheping
July 29, 2023 23:52 12m 7s qinheping:features/array_theory_in_synthesizer
qinheping:features/array_theory_in_synthesizer
July 29, 2023 23:52 12m 7s
Fix havoc guards Build Xen with CPROVER tools #7933: Pull request #7831 synchronize by thomasspriggs
July 27, 2023 21:03 11m 32s thomasspriggs:tas/fix_havoc_guards
thomasspriggs:tas/fix_havoc_guards
July 27, 2023 21:03 11m 32s
Fix havoc guards Build Xen with CPROVER tools #7932: Pull request #7831 opened by thomasspriggs
July 27, 2023 20:40 13m 26s thomasspriggs:tas/fix_havoc_guards
thomasspriggs:tas/fix_havoc_guards
July 27, 2023 20:40 13m 26s
--refine-arrays actually supports simplifier Build Xen with CPROVER tools #7931: Pull request #7828 opened by peterschrammel
July 26, 2023 17:51 11m 25s peterschrammel:ps/refine-arrays-with-simplifier
peterschrammel:ps/refine-arrays-with-simplifier
July 26, 2023 17:51 11m 25s
Fix ENABLE_ARRAY_FIELD_SENSITIVITY Build Xen with CPROVER tools #7930: Pull request #7827 synchronize by peterschrammel
July 26, 2023 17:45 12m 23s peterschrammel:ps/fix-array-sensitivity-switch
peterschrammel:ps/fix-array-sensitivity-switch
July 26, 2023 17:45 12m 23s
Fix ENABLE_ARRAY_FIELD_SENSITIVITY Build Xen with CPROVER tools #7929: Pull request #7827 opened by peterschrammel
July 26, 2023 17:34 1m 16s peterschrammel:ps/fix-array-sensitivity-switch
peterschrammel:ps/fix-array-sensitivity-switch
July 26, 2023 17:34 1m 16s
preconditions for abs, labs, llabs, imaxabs Build Xen with CPROVER tools #7927: Pull request #7825 synchronize by kroening
July 24, 2023 18:32 12m 24s abs-preconditions
abs-preconditions
July 24, 2023 18:32 12m 24s
preconditions for abs, labs, llabs, imaxabs Build Xen with CPROVER tools #7926: Pull request #7825 synchronize by kroening
July 24, 2023 18:04 16m 54s abs-preconditions
abs-preconditions
July 24, 2023 18:04 16m 54s
Mark CBMC cbmc-5.88.1. Build Xen with CPROVER tools #7925: Pull request #7826 opened by NlightNFotis
July 24, 2023 16:53 16m 39s NlightNFotis:new_cbmc_release-5.88.1
NlightNFotis:new_cbmc_release-5.88.1
July 24, 2023 16:53 16m 39s
preconditions for abs, labs, llabs, imaxabs Build Xen with CPROVER tools #7924: Pull request #7825 synchronize by kroening
July 24, 2023 11:52 11m 30s abs-preconditions
abs-preconditions
July 24, 2023 11:52 11m 30s
preconditions for abs, labs, llabs, imaxabs Build Xen with CPROVER tools #7923: Pull request #7825 opened by kroening
July 24, 2023 11:47 13m 43s abs-preconditions
abs-preconditions
July 24, 2023 11:47 13m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-07-24 or the other filters available.