Skip to content

Actions: diffblue/cbmc

Actions

Run CSmith

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csmith.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 Run CSmith #8991: Pull request #8502 synchronize by kroening
November 11, 2024 11:32 7m 27s cadical-preprocessor
cadical-preprocessor
November 11, 2024 11:32 7m 27s
Cadical with preprocessor and local search Run CSmith #8990: Pull request #8502 synchronize by kroening
November 11, 2024 09:49 3m 43s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:49 3m 43s
Cadical with preprocessor and local search Run CSmith #8989: Pull request #8502 synchronize by kroening
November 11, 2024 09:47 5m 41s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:47 5m 41s
Cadical with preprocessor and local search Run CSmith #8988: Pull request #8502 opened by kroening
November 11, 2024 09:44 4m 31s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:44 4m 31s
Compile Java regression test sources (1/n) Run CSmith #8987: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:25 3m 5s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:25 3m 5s
Compile Java regression test sources (1/n) Run CSmith #8986: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:19 3m 4s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:19 3m 4s
remove duplicate SATCHECK_* defines Run CSmith #8985: Pull request #8501 opened by kroening
November 10, 2024 19:39 4m 1s cleanup-SATCHECK-defines
cleanup-SATCHECK-defines
November 10, 2024 19:39 4m 1s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Run CSmith #8984: Pull request #8465 synchronize by yvizel
November 10, 2024 12:48 4m 55s yvizel:develop
yvizel:develop
November 10, 2024 12:48 4m 55s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Run CSmith #8983: 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 Run CSmith #8982: Pull request #8500 opened by dependabot bot
November 8, 2024 17:57 5m 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 5m 20s
Pointer subtraction in back-end: no need for bounds checking Run CSmith #8981: Pull request #8497 synchronize by tautschnig
November 7, 2024 09:20 13m 39s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:20 13m 39s
Pointer subtraction in back-end: no need for bounds checking Run CSmith #8980: Pull request #8497 synchronize by tautschnig
November 7, 2024 09:14 7m 24s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:14 7m 24s
Pointer subtraction in back-end: no need for bounds checking Run CSmith #8979: Pull request #8497 opened by tautschnig
November 6, 2024 21:46 4m 17s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 6, 2024 21:46 4m 17s
fix update_bit lowering Run CSmith #8978: Pull request #8496 synchronize by kroening
November 6, 2024 18:04 4m 47s fix_update_bit
fix_update_bit
November 6, 2024 18:04 4m 47s
fix update_bit lowering Run CSmith #8977: Pull request #8496 synchronize by kroening
November 6, 2024 16:53 4m 23s fix_update_bit
fix_update_bit
November 6, 2024 16:53 4m 23s
fix update_bit lowering Run CSmith #8976: Pull request #8496 opened by kroening
November 6, 2024 16:50 4m 5s fix_update_bit
fix_update_bit
November 6, 2024 16:50 4m 5s
Release CBMC 6.4.0 Run CSmith #8975: Pull request #8495 opened by tautschnig
November 6, 2024 10:19 5m 26s tautschnig:release-6.4.0
tautschnig:release-6.4.0
November 6, 2024 10:19 5m 26s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Run CSmith #8974: Pull request #8490 synchronize by qinheping
November 5, 2024 15:38 4m 33s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:38 4m 33s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Run CSmith #8973: Pull request #8490 synchronize by qinheping
November 5, 2024 15:27 4m 36s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:27 4m 36s
goto-symex: assumed pointer equalities must update value set Run CSmith #8972: Pull request #8494 synchronize by tautschnig
November 5, 2024 08:01 2m 57s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
November 5, 2024 08:01 2m 57s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Run CSmith #8971: Pull request #8490 synchronize by qinheping
November 5, 2024 06:34 3m 9s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:34 3m 9s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Run CSmith #8970: Pull request #8490 synchronize by qinheping
November 5, 2024 06:17 3m 57s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:17 3m 57s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Run CSmith #8969: Pull request #8490 synchronize by qinheping
November 5, 2024 06:02 3m 32s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:02 3m 32s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Run CSmith #8968: Pull request #8490 synchronize by qinheping
November 5, 2024 05:34 4m 24s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 05:34 4m 24s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Run CSmith #8967: Pull request #8490 synchronize by qinheping
November 5, 2024 05:18 4m 56s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 05:18 4m 56s