Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
2,062 workflow runs
2,062 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cadical with preprocessor and local search Build and Test CBMC #10578: Pull request #8502 synchronize by kroening
November 11, 2024 11:32 33m 38s cadical-preprocessor
cadical-preprocessor
November 11, 2024 11:32 33m 38s
Cadical with preprocessor and local search Build and Test CBMC #10577: Pull request #8502 synchronize by kroening
November 11, 2024 09:49 50m 19s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:49 50m 19s
Cadical with preprocessor and local search Build and Test CBMC #10576: Pull request #8502 synchronize by kroening
November 11, 2024 09:47 50m 59s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:47 50m 59s
Cadical with preprocessor and local search Build and Test CBMC #10575: Pull request #8502 opened by kroening
November 11, 2024 09:44 48m 46s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:44 48m 46s
Compile Java regression test sources (1/n) Build and Test CBMC #10574: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:25 47m 23s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:25 47m 23s
Compile Java regression test sources (1/n) Build and Test CBMC #10573: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:19 55m 14s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:19 55m 14s
remove duplicate SATCHECK_* defines Build and Test CBMC #10572: Pull request #8501 opened by kroening
November 10, 2024 19:39 54m 17s cleanup-SATCHECK-defines
cleanup-SATCHECK-defines
November 10, 2024 19:39 54m 17s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10571: Pull request #8465 synchronize by yvizel
November 10, 2024 12:48 48m 31s yvizel:develop
yvizel:develop
November 10, 2024 12:48 48m 31s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10570: Pull request #8465 synchronize by yvizel
November 10, 2024 12:48 Action required yvizel:develop
yvizel:develop
November 10, 2024 12:48 Action required
Bump com.cedarsoftware:json-io from 4.10.1 to 4.14.1 in /jbmc/regression/jbmc/deterministic_assignments_json Build and Test CBMC #10569: Pull request #8500 opened by dependabot bot
November 8, 2024 17:57 1h 10m 20s dependabot/maven/jbmc/regression/jbmc/deterministic_assignments_json/com.cedarsoftware-json-io-4.14.1
dependabot/maven/jbmc/regression/jbmc/deterministic_assignments_json/com.cedarsoftware-json-io-4.14.1
November 8, 2024 17:57 1h 10m 20s
Merge pull request #8497 from tautschnig/pointer-subtraction-back-end Build and Test CBMC #10568: Commit 83f61a4 pushed by tautschnig
November 7, 2024 10:23 55m 6s develop
develop
November 7, 2024 10:23 55m 6s
Pointer subtraction in back-end: no need for bounds checking Build and Test CBMC #10567: Pull request #8497 synchronize by tautschnig
November 7, 2024 09:20 59m 1s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:20 59m 1s
Pointer subtraction in back-end: no need for bounds checking Build and Test CBMC #10566: Pull request #8497 synchronize by tautschnig
November 7, 2024 09:14 1h 8m 33s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:14 1h 8m 33s
Pointer subtraction in back-end: no need for bounds checking Build and Test CBMC #10565: Pull request #8497 opened by tautschnig
November 6, 2024 21:46 1h 4m 18s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 6, 2024 21:46 1h 4m 18s
Merge pull request #8496 from diffblue/fix_update_bit Build and Test CBMC #10564: Commit beebdda pushed by tautschnig
November 6, 2024 19:00 45m 23s develop
develop
November 6, 2024 19:00 45m 23s
fix update_bit lowering Build and Test CBMC #10563: Pull request #8496 synchronize by kroening
November 6, 2024 18:04 1h 13m 34s fix_update_bit
fix_update_bit
November 6, 2024 18:04 1h 13m 34s
fix update_bit lowering Build and Test CBMC #10562: Pull request #8496 synchronize by kroening
November 6, 2024 16:53 1h 8m 55s fix_update_bit
fix_update_bit
November 6, 2024 16:53 1h 8m 55s
fix update_bit lowering Build and Test CBMC #10561: Pull request #8496 opened by kroening
November 6, 2024 16:50 53m 54s fix_update_bit
fix_update_bit
November 6, 2024 16:50 53m 54s
Merge pull request #8495 from tautschnig/release-6.4.0 Build and Test CBMC #10560: Commit 4f56b6a pushed by tautschnig
November 6, 2024 11:11 55m 39s develop
develop
November 6, 2024 11:11 55m 39s
Release CBMC 6.4.0 Build and Test CBMC #10559: Pull request #8495 opened by tautschnig
November 6, 2024 10:19 49m 26s tautschnig:release-6.4.0
tautschnig:release-6.4.0
November 6, 2024 10:19 49m 26s
Merge pull request #8490 from qinheping/DFCC_loop_assigns_infer Build and Test CBMC #10558: Commit f5f0672 pushed by qinheping
November 5, 2024 16:09 57m 24s develop
develop
November 5, 2024 16:09 57m 24s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10557: Pull request #8490 synchronize by qinheping
November 5, 2024 15:38 54m 37s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:38 54m 37s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10556: Pull request #8490 synchronize by qinheping
November 5, 2024 15:27 9m 56s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:27 9m 56s
goto-symex: assumed pointer equalities must update value set Build and Test CBMC #10555: Pull request #8494 synchronize by tautschnig
November 5, 2024 08:01 1h 19m 34s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
November 5, 2024 08:01 1h 19m 34s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10554: Pull request #8490 synchronize by qinheping
November 5, 2024 06:34 58m 22s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:34 58m 22s