Skip to content

Actions: diffblue/cbmc

Actions

Publish CBMC documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yaml
2,397 workflow runs
2,397 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mark CBMC cbmc-5.87.0. Publish CBMC documentation #2767: Pull request #7794 opened by esteffin
July 6, 2023 09:49 3m 1s esteffin:new_cbmc_release-5.87.0
esteffin:new_cbmc_release-5.87.0
July 6, 2023 09:49 3m 1s
Add std::move to reduce redundant copies Publish CBMC documentation #2766: Pull request #7793 opened by sdingcn
July 6, 2023 01:46 3m 16s sdingcn:develop
sdingcn:develop
July 6, 2023 01:46 3m 16s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2765: Pull request #7788 synchronize by qinheping
July 5, 2023 23:17 3m 59s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 5, 2023 23:17 3m 59s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2764: Pull request #7788 synchronize by qinheping
July 5, 2023 23:16 3m 21s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 5, 2023 23:16 3m 21s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2763: Pull request #7788 synchronize by qinheping
July 5, 2023 22:38 3m 14s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 5, 2023 22:38 3m 14s
Add incremental SMT support for struct with and member expressions Publish CBMC documentation #2762: Pull request #7787 synchronize by thomasspriggs
July 5, 2023 19:53 2m 34s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
July 5, 2023 19:53 2m 34s
Add goto-bmc, a new tool to run only the verifier Publish CBMC documentation #2761: Pull request #7762 synchronize by esteffin
July 5, 2023 11:33 2m 41s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
July 5, 2023 11:33 2m 41s
Add goto-bmc, a new tool to run only the verifier Publish CBMC documentation #2760: Pull request #7762 synchronize by thomasspriggs
July 4, 2023 16:03 3m 22s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
July 4, 2023 16:03 3m 22s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2759: Pull request #7788 synchronize by qinheping
July 3, 2023 22:05 2m 31s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 3, 2023 22:05 2m 31s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2758: Pull request #7788 synchronize by qinheping
July 3, 2023 22:03 4m 9s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 3, 2023 22:03 4m 9s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2757: Pull request #7788 synchronize by qinheping
June 30, 2023 21:35 2m 39s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
June 30, 2023 21:35 2m 39s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2756: Pull request #7788 synchronize by qinheping
June 30, 2023 18:28 2m 56s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
June 30, 2023 18:28 2m 56s
Merge pull request #7617 from tautschnig/bugfixes/7616-float-conversion Publish CBMC documentation #2755: Commit 6066b34 pushed by kroening
June 30, 2023 17:02 4m 24s develop
develop
June 30, 2023 17:02 4m 24s
Merge pull request #7778 from NlightNFotis/adr_libcprover_cpp_gotobmc Publish CBMC documentation #2754: Commit dd427f9 pushed by NlightNFotis
June 30, 2023 14:59 3m 19s develop
develop
June 30, 2023 14:59 3m 19s
Add ADR outlining rationale for libcprover-cpp and goto-bmc integration Publish CBMC documentation #2753: Pull request #7778 synchronize by NlightNFotis
June 30, 2023 14:00 3m 16s NlightNFotis:adr_libcprover_cpp_gotobmc
NlightNFotis:adr_libcprover_cpp_gotobmc
June 30, 2023 14:00 3m 16s
Add ADR outlining rationale for libcprover-cpp and goto-bmc integration Publish CBMC documentation #2752: Pull request #7778 synchronize by NlightNFotis
June 30, 2023 13:56 2m 52s NlightNFotis:adr_libcprover_cpp_gotobmc
NlightNFotis:adr_libcprover_cpp_gotobmc
June 30, 2023 13:56 2m 52s
Add ADR outlining rationale for libcprover-cpp and goto-bmc integration Publish CBMC documentation #2751: Pull request #7778 synchronize by NlightNFotis
June 30, 2023 10:01 2m 36s NlightNFotis:adr_libcprover_cpp_gotobmc
NlightNFotis:adr_libcprover_cpp_gotobmc
June 30, 2023 10:01 2m 36s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2750: Pull request #7788 synchronize by qinheping
June 30, 2023 08:51 2m 50s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
June 30, 2023 08:51 2m 50s
CONTRACTS: Add goto-level loop-contract annotation Publish CBMC documentation #2749: Pull request #7788 opened by qinheping
June 30, 2023 08:15 3m 53s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
June 30, 2023 08:15 3m 53s
Merge pull request #7786 from remi-delmas-3000/contracts-fix-quantifi… Publish CBMC documentation #2747: Commit b62358b pushed by tautschnig
June 29, 2023 21:09 3m 2s develop
develop
June 29, 2023 21:09 3m 2s
Add incremental SMT support for struct with and member expressions Publish CBMC documentation #2746: Pull request #7787 opened by thomasspriggs
June 29, 2023 19:51 2m 43s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
June 29, 2023 19:51 2m 43s
CONTRACTS: fix fresh symbols for quantified vars Publish CBMC documentation #2745: Pull request #7786 opened by remi-delmas-3000
June 28, 2023 20:39 3m 32s remi-delmas-3000:contracts-fix-quantifier-vars
remi-delmas-3000:contracts-fix-quantifier-vars
June 28, 2023 20:39 3m 32s
[REFACTOR] Move parse_options.cpp and cmdline.cpp under src/cli_utils/. Publish CBMC documentation #2744: Pull request #7784 opened by NlightNFotis
June 28, 2023 15:45 4m 34s NlightNFotis:move_binutils
NlightNFotis:move_binutils
June 28, 2023 15:45 4m 34s
Adds an over-approximation model for sysconf Publish CBMC documentation #2743: Pull request #7780 synchronize by feliperodri
June 28, 2023 04:14 4m 27s feliperodri:sysconf-model
feliperodri:sysconf-model
June 28, 2023 04:14 4m 27s
Adds an over-approximation model for sysconf Publish CBMC documentation #2742: Pull request #7780 synchronize by feliperodri
June 28, 2023 04:04 6m 20s feliperodri:sysconf-model
feliperodri:sysconf-model
June 28, 2023 04:04 6m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-06-28 or the other filters available.