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
981 workflow runs
981 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMT2: bvnor, bvnand are binary only; add bvxnor Build and Test the Rust API #3399: Pull request #8508 synchronize by kroening
20m 22s smt-bv
smt-bv
20m 22s
SMT2: bvnor, bvnand are binary only; add bvxnor Build and Test the Rust API #3398: Pull request #8508 synchronize by kroening
3m 25s smt-bv
smt-bv
3m 25s
SMT2: bvnor, bvnand are binary only; add bvxnor Build and Test the Rust API #3397: Pull request #8508 opened by kroening
1m 35s smt-bv
smt-bv
1m 35s
Merge pull request #8472 from tautschnig/rw_ok-documentation Build and Test the Rust API #3396: Commit 57be2aa pushed by kroening
1m 53s develop
develop
1m 53s
Bump codecov/codecov-action from 4 to 5 Build and Test the Rust API #3395: Pull request #8507 opened by dependabot bot
1m 26s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
1m 26s
library-check: fixup missing __builtin_ffs check Build and Test the Rust API #3394: Pull request #8145 synchronize by rurban
1m 11s rurban:ffs
rurban:ffs
1m 11s
Enable IPO / LTO and -O3 Build and Test the Rust API #3393: Pull request #8146 synchronize by rurban
9m 16s rurban:lto
rurban:lto
9m 16s
Merge pull request #8506 from diffblue/simplify-bitxnor Build and Test the Rust API #3392: Commit e8d3409 pushed by kroening
10m 47s develop
develop
10m 47s
simplify bitxnor Build and Test the Rust API #3391: Pull request #8506 opened by kroening
11m 22s simplify-bitxnor
simplify-bitxnor
11m 22s
Compile Java regression test sources (1/n) Build and Test the Rust API #3390: Pull request #8487 synchronize by peterschrammel
1m 52s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
1m 52s
Merge pull request #8501 from diffblue/cleanup-SATCHECK-defines Build and Test the Rust API #3389: Commit 0db546b pushed by tautschnig
14m 11s develop
develop
14m 11s
Cadical with preprocessor and local search Build and Test the Rust API #3388: Pull request #8502 synchronize by kroening
1m 33s cadical-preprocessor
cadical-preprocessor
1m 33s
Cadical with preprocessor and local search Build and Test the Rust API #3387: Pull request #8502 synchronize by kroening
1m 55s cadical-preprocessor
cadical-preprocessor
1m 55s
Cadical with preprocessor and local search Build and Test the Rust API #3386: Pull request #8502 synchronize by kroening
2m 17s cadical-preprocessor
cadical-preprocessor
2m 17s
Cadical with preprocessor and local search Build and Test the Rust API #3385: Pull request #8502 synchronize by kroening
1m 47s cadical-preprocessor
cadical-preprocessor
1m 47s
Cadical with preprocessor and local search Build and Test the Rust API #3384: Pull request #8502 opened by kroening
1m 51s cadical-preprocessor
cadical-preprocessor
1m 51s
Compile Java regression test sources (1/n) Build and Test the Rust API #3383: Pull request #8487 synchronize by peterschrammel
2m 7s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
2m 7s
Compile Java regression test sources (1/n) Build and Test the Rust API #3382: Pull request #8487 synchronize by peterschrammel
1m 40s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
1m 40s
remove duplicate SATCHECK_* defines Build and Test the Rust API #3381: Pull request #8501 opened by kroening
12m 59s cleanup-SATCHECK-defines
cleanup-SATCHECK-defines
12m 59s
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
ProTip! You can narrow down the results and go further in time using created:<2024-11-06 or the other filters available.