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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cadical with preprocessor and local search Build Linux partially with CPROVER tools #7758: Pull request #8502 synchronize by kroening
November 11, 2024 11:32 4m 11s cadical-preprocessor
cadical-preprocessor
November 11, 2024 11:32 4m 11s
Cadical with preprocessor and local search Build Linux partially with CPROVER tools #7757: Pull request #8502 synchronize by kroening
November 11, 2024 09:49 5m 5s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:49 5m 5s
Cadical with preprocessor and local search Build Linux partially with CPROVER tools #7756: Pull request #8502 synchronize by kroening
November 11, 2024 09:47 4m 43s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:47 4m 43s
Cadical with preprocessor and local search Build Linux partially with CPROVER tools #7755: Pull request #8502 opened by kroening
November 11, 2024 09:44 4m 28s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:44 4m 28s
Compile Java regression test sources (1/n) Build Linux partially with CPROVER tools #7754: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:25 4m 15s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:25 4m 15s
Compile Java regression test sources (1/n) Build Linux partially with CPROVER tools #7753: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:19 4m 4s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:19 4m 4s
remove duplicate SATCHECK_* defines Build Linux partially with CPROVER tools #7752: Pull request #8501 opened by kroening
November 10, 2024 19:39 4m 45s cleanup-SATCHECK-defines
cleanup-SATCHECK-defines
November 10, 2024 19:39 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
November 10, 2024 12:48 4m 28s yvizel:develop
yvizel:develop
November 10, 2024 12:48 4m 28s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build Linux partially with CPROVER tools #7750: 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 Linux partially with CPROVER tools #7749: Pull request #8500 opened by dependabot bot
November 8, 2024 17:57 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
November 8, 2024 17:57 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
November 7, 2024 09:20 4m 26s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:20 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
November 7, 2024 09:14 4m 43s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:14 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
November 6, 2024 21:46 4m 22s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 6, 2024 21:46 4m 22s
fix update_bit lowering Build Linux partially with CPROVER tools #7745: Pull request #8496 synchronize by kroening
November 6, 2024 18:04 4m 14s fix_update_bit
fix_update_bit
November 6, 2024 18:04 4m 14s
fix update_bit lowering Build Linux partially with CPROVER tools #7744: Pull request #8496 synchronize by kroening
November 6, 2024 16:53 4m 8s fix_update_bit
fix_update_bit
November 6, 2024 16:53 4m 8s
fix update_bit lowering Build Linux partially with CPROVER tools #7743: Pull request #8496 opened by kroening
November 6, 2024 16:50 4m 19s fix_update_bit
fix_update_bit
November 6, 2024 16:50 4m 19s
Release CBMC 6.4.0 Build Linux partially with CPROVER tools #7742: Pull request #8495 opened by tautschnig
November 6, 2024 10:19 4m 26s tautschnig:release-6.4.0
tautschnig:release-6.4.0
November 6, 2024 10:19 4m 26s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7741: Pull request #8490 synchronize by qinheping
November 5, 2024 15:38 4m 11s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:38 4m 11s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7740: Pull request #8490 synchronize by qinheping
November 5, 2024 15:27 4m 31s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:27 4m 31s
goto-symex: assumed pointer equalities must update value set Build Linux partially with CPROVER tools #7739: Pull request #8494 synchronize by tautschnig
November 5, 2024 08:01 4m 17s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
November 5, 2024 08:01 4m 17s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7738: Pull request #8490 synchronize by qinheping
November 5, 2024 06:34 4m 13s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:34 4m 13s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7737: Pull request #8490 synchronize by qinheping
November 5, 2024 06:17 4m 16s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:17 4m 16s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7736: Pull request #8490 synchronize by qinheping
November 5, 2024 06:02 4m 16s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:02 4m 16s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7735: Pull request #8490 synchronize by qinheping
November 5, 2024 05:34 4m 32s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 05:34 4m 32s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build Linux partially with CPROVER tools #7734: Pull request #8490 synchronize by qinheping
November 5, 2024 05:18 4m 8s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 05:18 4m 8s