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

Add ADR outlining rationale for libcprover-cpp and goto-bmc integration Build Xen with CPROVER tools #7843: Pull request #7778 synchronize by NlightNFotis
June 30, 2023 13:56 14m 15s NlightNFotis:adr_libcprover_cpp_gotobmc
NlightNFotis:adr_libcprover_cpp_gotobmc
June 30, 2023 13:56 14m 15s
Add ADR outlining rationale for libcprover-cpp and goto-bmc integration Build Xen with CPROVER tools #7842: Pull request #7778 synchronize by NlightNFotis
June 30, 2023 10:01 13m 38s NlightNFotis:adr_libcprover_cpp_gotobmc
NlightNFotis:adr_libcprover_cpp_gotobmc
June 30, 2023 10:01 13m 38s
CONTRACTS: Add goto-level loop-contract annotation Build Xen with CPROVER tools #7841: Pull request #7788 synchronize by qinheping
June 30, 2023 08:51 18m 29s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
June 30, 2023 08:51 18m 29s
CONTRACTS: Add goto-level loop-contract annotation Build Xen with CPROVER tools #7840: Pull request #7788 opened by qinheping
June 30, 2023 08:15 2m 7s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
June 30, 2023 08:15 2m 7s
Add incremental SMT support for struct with and member expressions Build Xen with CPROVER tools #7838: Pull request #7787 opened by thomasspriggs
June 29, 2023 19:51 12m 30s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
June 29, 2023 19:51 12m 30s
CONTRACTS: fix fresh symbols for quantified vars Build Xen with CPROVER tools #7837: Pull request #7786 opened by remi-delmas-3000
June 28, 2023 20:39 11m 59s remi-delmas-3000:contracts-fix-quantifier-vars
remi-delmas-3000:contracts-fix-quantifier-vars
June 28, 2023 20:39 11m 59s
[REFACTOR] Move parse_options.cpp and cmdline.cpp under src/cli_utils/. Build Xen with CPROVER tools #7836: Pull request #7784 opened by NlightNFotis
June 28, 2023 15:45 1m 10s NlightNFotis:move_binutils
NlightNFotis:move_binutils
June 28, 2023 15:45 1m 10s
Adds an over-approximation model for sysconf Build Xen with CPROVER tools #7835: Pull request #7780 synchronize by feliperodri
June 28, 2023 04:14 11m 32s feliperodri:sysconf-model
feliperodri:sysconf-model
June 28, 2023 04:14 11m 32s
Adds an over-approximation model for sysconf Build Xen with CPROVER tools #7834: Pull request #7780 synchronize by feliperodri
June 28, 2023 04:04 12m 25s feliperodri:sysconf-model
feliperodri:sysconf-model
June 28, 2023 04:04 12m 25s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7832: Pull request #7762 synchronize by NlightNFotis
June 26, 2023 16:40 15m 27s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 26, 2023 16:40 15m 27s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7831: Pull request #7762 synchronize by NlightNFotis
June 26, 2023 16:37 12m 21s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 26, 2023 16:37 12m 21s
CONTRACTS: Move some functions from synthesizer_utils to contracts/utils Build Xen with CPROVER tools #7830: Pull request #7782 opened by qinheping
June 26, 2023 07:08 15m 14s qinheping:migrate_synthesizer_utils
qinheping:migrate_synthesizer_utils
June 26, 2023 07:08 15m 14s
Adds an over-approximation model for sysconf Build Xen with CPROVER tools #7828: Pull request #7780 synchronize by feliperodri
June 22, 2023 21:11 16m 5s feliperodri:sysconf-model
feliperodri:sysconf-model
June 22, 2023 21:11 16m 5s
Adds an over-approximation model for sysconf Build Xen with CPROVER tools #7827: Pull request #7780 opened by feliperodri
June 22, 2023 20:46 11m 17s feliperodri:sysconf-model
feliperodri:sysconf-model
June 22, 2023 20:46 11m 17s
Add ADR outlining rationale for libcprover-cpp and goto-bmc integration Build Xen with CPROVER tools #7826: Pull request #7778 opened by NlightNFotis
June 22, 2023 17:00 12m 45s NlightNFotis:adr_libcprover_cpp_gotobmc
NlightNFotis:adr_libcprover_cpp_gotobmc
June 22, 2023 17:00 12m 45s
Add lookup for unlowered form in get_identifier. Build Xen with CPROVER tools #7825: Pull request #7772 synchronize by esteffin
June 22, 2023 14:03 14m 16s NlightNFotis:enum_in_range
NlightNFotis:enum_in_range
June 22, 2023 14:03 14m 16s
Add lookup for unlowered form in get_identifier. Build Xen with CPROVER tools #7824: Pull request #7772 synchronize by esteffin
June 22, 2023 13:53 14m 59s NlightNFotis:enum_in_range
NlightNFotis:enum_in_range
June 22, 2023 13:53 14m 59s
Add lookup for unlowered form in get_identifier. Build Xen with CPROVER tools #7823: Pull request #7772 synchronize by esteffin
June 22, 2023 13:46 11m 40s NlightNFotis:enum_in_range
NlightNFotis:enum_in_range
June 22, 2023 13:46 11m 40s
Mark CBMC cbmc-5.86.0. Build Xen with CPROVER tools #7822: Pull request #7777 opened by esteffin
June 22, 2023 11:40 27m 36s esteffin:new_cbmc_release-5.86.0
esteffin:new_cbmc_release-5.86.0
June 22, 2023 11:40 27m 36s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7821: Pull request #7762 synchronize by esteffin
June 21, 2023 14:36 11m 37s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 21, 2023 14:36 11m 37s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7820: Pull request #7762 synchronize by esteffin
June 21, 2023 14:09 12m 26s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 21, 2023 14:09 12m 26s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7819: Pull request #7762 synchronize by esteffin
June 21, 2023 12:27 12m 26s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 21, 2023 12:27 12m 26s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7818: Pull request #7762 synchronize by esteffin
June 20, 2023 19:43 16m 19s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 20, 2023 19:43 16m 19s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7817: Pull request #7762 synchronize by esteffin
June 20, 2023 19:39 19m 25s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 20, 2023 19:39 19m 25s
Add goto-bmc, a new tool to run only the verifier Build Xen with CPROVER tools #7816: Pull request #7762 synchronize by NlightNFotis
June 20, 2023 15:18 28m 22s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 20, 2023 15:18 28m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-06-20 or the other filters available.