Skip to content

Actions: diffblue/cbmc

Actions

Build and Test the Rust API

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-check-rust-api.yaml
946 workflow runs
946 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test the Rust API #3380: Pull request #8465 synchronize by yvizel
10m 51s yvizel:develop
yvizel:develop
10m 51s
Bump com.cedarsoftware:json-io from 4.10.1 to 4.14.1 in /jbmc/regression/jbmc/deterministic_assignments_json Build and Test the Rust API #3378: Pull request #8500 opened by dependabot bot
2m 0s 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
2m 0s
Merge pull request #8497 from tautschnig/pointer-subtraction-back-end Build and Test the Rust API #3377: Commit 83f61a4 pushed by tautschnig
1m 28s develop
develop
1m 28s
Pointer subtraction in back-end: no need for bounds checking Build and Test the Rust API #3376: Pull request #8497 synchronize by tautschnig
2m 16s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
2m 16s
Pointer subtraction in back-end: no need for bounds checking Build and Test the Rust API #3375: Pull request #8497 synchronize by tautschnig
1m 40s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
1m 40s
Pointer subtraction in back-end: no need for bounds checking Build and Test the Rust API #3374: Pull request #8497 opened by tautschnig
2m 3s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
2m 3s
Merge pull request #8496 from diffblue/fix_update_bit Build and Test the Rust API #3373: Commit beebdda pushed by tautschnig
1m 48s develop
develop
1m 48s
fix update_bit lowering Build and Test the Rust API #3372: Pull request #8496 synchronize by kroening
1m 58s fix_update_bit
fix_update_bit
1m 58s
fix update_bit lowering Build and Test the Rust API #3371: Pull request #8496 synchronize by kroening
1m 54s fix_update_bit
fix_update_bit
1m 54s
fix update_bit lowering Build and Test the Rust API #3370: Pull request #8496 opened by kroening
1m 56s fix_update_bit
fix_update_bit
1m 56s
Merge pull request #8495 from tautschnig/release-6.4.0 Build and Test the Rust API #3369: Commit 4f56b6a pushed by tautschnig
1m 57s develop
develop
1m 57s
Release CBMC 6.4.0 Build and Test the Rust API #3368: Pull request #8495 opened by tautschnig
2m 4s tautschnig:release-6.4.0
tautschnig:release-6.4.0
2m 4s
Merge pull request #8490 from qinheping/DFCC_loop_assigns_infer Build and Test the Rust API #3367: Commit f5f0672 pushed by qinheping
1m 45s develop
develop
1m 45s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3366: Pull request #8490 synchronize by qinheping
1m 46s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1m 46s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3365: Pull request #8490 synchronize by qinheping
1m 46s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1m 46s
goto-symex: assumed pointer equalities must update value set Build and Test the Rust API #3364: Pull request #8494 synchronize by tautschnig
1m 43s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
1m 43s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3363: Pull request #8490 synchronize by qinheping
1m 32s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1m 32s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3362: Pull request #8490 synchronize by qinheping
1m 42s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1m 42s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3361: Pull request #8490 synchronize by qinheping
1m 44s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1m 44s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3360: Pull request #8490 synchronize by qinheping
1m 54s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1m 54s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3359: Pull request #8490 synchronize by qinheping
2m 55s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
2m 55s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test the Rust API #3358: Pull request #8490 synchronize by qinheping
1m 57s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1m 57s
goto-symex: assumed pointer equalities must update value set Build and Test the Rust API #3357: Pull request #8494 opened by tautschnig
1m 45s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
1m 45s
Merge pull request #8489 from qinheping/better_loop_locals_detect Build and Test the Rust API #3356: Commit 018c61c pushed by qinheping
20m 17s develop
develop
20m 17s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test the Rust API #3355: Pull request #8489 synchronize by qinheping
1m 20s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1m 20s
ProTip! You can narrow down the results and go further in time using created:<2024-11-04 or the other filters available.