Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
831 workflow runs
831 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Compile Java regression test sources (1/n) Build Linux partially with CPROVER tools #7754: Pull request #8487 synchronize by peterschrammel
4m 15s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
4m 15s
Compile Java regression test sources (1/n) Build Linux partially with CPROVER tools #7753: Pull request #8487 synchronize by peterschrammel
4m 4s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
4m 4s
remove duplicate SATCHECK_* defines Build Linux partially with CPROVER tools #7752: Pull request #8501 opened by kroening
4m 45s cleanup-SATCHECK-defines
cleanup-SATCHECK-defines
4m 45s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build Linux partially with CPROVER tools #7751: Pull request #8465 synchronize by yvizel
4m 28s yvizel:develop
yvizel:develop
4m 28s
Bump com.cedarsoftware:json-io from 4.10.1 to 4.14.1 in /jbmc/regression/jbmc/deterministic_assignments_json Build Linux partially with CPROVER tools #7749: Pull request #8500 opened by dependabot bot
4m 11s 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
4m 11s
Pointer subtraction in back-end: no need for bounds checking Build Linux partially with CPROVER tools #7748: Pull request #8497 synchronize by tautschnig
4m 26s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
4m 26s
Pointer subtraction in back-end: no need for bounds checking Build Linux partially with CPROVER tools #7747: Pull request #8497 synchronize by tautschnig
4m 43s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
4m 43s
Pointer subtraction in back-end: no need for bounds checking Build Linux partially with CPROVER tools #7746: Pull request #8497 opened by tautschnig
4m 22s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
4m 22s
fix update_bit lowering Build Linux partially with CPROVER tools #7745: Pull request #8496 synchronize by kroening
4m 14s fix_update_bit
fix_update_bit
4m 14s
fix update_bit lowering Build Linux partially with CPROVER tools #7744: Pull request #8496 synchronize by kroening
4m 8s fix_update_bit
fix_update_bit
4m 8s
fix update_bit lowering Build Linux partially with CPROVER tools #7743: Pull request #8496 opened by kroening
4m 19s fix_update_bit
fix_update_bit
4m 19s
Release CBMC 6.4.0 Build Linux partially with CPROVER tools #7742: Pull request #8495 opened by tautschnig
4m 26s tautschnig:release-6.4.0
tautschnig:release-6.4.0
4m 26s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7741: Pull request #8490 synchronize by qinheping
4m 11s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 11s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7740: Pull request #8490 synchronize by qinheping
4m 31s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 31s
goto-symex: assumed pointer equalities must update value set Build Linux partially with CPROVER tools #7739: Pull request #8494 synchronize by tautschnig
4m 17s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
4m 17s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7738: Pull request #8490 synchronize by qinheping
4m 13s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 13s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7737: Pull request #8490 synchronize by qinheping
4m 16s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 16s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7736: Pull request #8490 synchronize by qinheping
4m 16s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 16s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7735: Pull request #8490 synchronize by qinheping
4m 32s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 32s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7734: Pull request #8490 synchronize by qinheping
4m 8s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 8s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7733: Pull request #8490 synchronize by qinheping
4m 16s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
4m 16s
goto-symex: assumed pointer equalities must update value set Build Linux partially with CPROVER tools #7732: Pull request #8494 opened by tautschnig
4m 14s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
4m 14s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build Linux partially with CPROVER tools #7731: Pull request #8489 synchronize by qinheping
4m 17s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
4m 17s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build Linux partially with CPROVER tools #7730: Pull request #8489 synchronize by qinheping
4m 23s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
4m 23s
use zero_extend_exprt in SMT2 front-end Build Linux partially with CPROVER tools #7729: Pull request #8493 synchronize by kroening
13m 17s zero-extend-smt2
zero-extend-smt2
13m 17s
ProTip! You can narrow down the results and go further in time using created:<2024-11-04 or the other filters available.