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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMT2: range_type fixes Build and Test the Rust API #3477: Pull request #8537 opened by kroening
2m 7s smt2-range-fix
smt2-range-fix
2m 7s
Merge pull request #8536 from diffblue/fix-boolbv-onehot Build and Test the Rust API #3476: Commit 857c88e pushed by tautschnig
1m 35s develop
develop
1m 35s
Fix onehot0 flattening Build and Test the Rust API #3475: Pull request #8536 synchronize by kroening
1m 41s fix-boolbv-onehot
fix-boolbv-onehot
1m 41s
Fix onehot0 flattening Build and Test the Rust API #3474: Pull request #8536 opened by kroening
1m 53s fix-boolbv-onehot
fix-boolbv-onehot
1m 53s
Merge pull request #8530 from diffblue/smt2-nand-nor Build and Test the Rust API #3473: Commit fb28475 pushed by kroening
5m 16s develop
develop
5m 16s
Merge pull request #8508 from diffblue/smt-bv Build and Test the Rust API #3472: Commit ce40fbd pushed by kroening
1h 19m 40s develop
develop
1h 19m 40s
implement xnor in prop_conv_solvert Build and Test the Rust API #3471: Pull request #8533 opened by kroening
1h 47m 6s prop-solve-xnor
prop-solve-xnor
1h 47m 6s
Merge pull request #8467 from diffblue/smt2-cond Build and Test the Rust API #3470: Commit 436ed5d pushed by kroening
2h 23m 57s develop
develop
2h 23m 57s
Merge pull request #8493 from diffblue/zero-extend-smt2 Build and Test the Rust API #3469: Commit ab22e9f pushed by kroening
2h 7m 5s develop
develop
2h 7m 5s
Merge pull request #8532 from diffblue/floatbv-mod-and-rem Build and Test the Rust API #3468: Commit 875fbd9 pushed by kroening
1h 46m 43s develop
develop
1h 46m 43s
SMT2: bvnor, bvnand are binary only; add bvxnor Build and Test the Rust API #3467: Pull request #8508 synchronize by kroening
2h 50m 53s smt-bv
smt-bv
2h 50m 53s
SMT2: implement nand, nor, xnor Build and Test the Rust API #3466: Pull request #8530 synchronize by kroening
2h 27m 23s smt2-nand-nor
smt2-nand-nor
2h 27m 23s
SMT2: implement nand, nor, xnor Build and Test the Rust API #3465: Pull request #8530 synchronize by kroening
1h 55m 59s smt2-nand-nor
smt2-nand-nor
1h 55m 59s
SMT2: implement cond Build and Test the Rust API #3464: Pull request #8467 synchronize by kroening
2h 7m 50s smt2-cond
smt2-cond
2h 7m 50s
use zero_extend_exprt in SMT2 front-end Build and Test the Rust API #3463: Pull request #8493 synchronize by kroening
1h 25m 0s zero-extend-smt2
zero-extend-smt2
1h 25m 0s
Merge pull request #8518 from diffblue/smt2-exception Build and Test the Rust API #3462: Commit fa299c5 pushed by kroening
1h 16m 26s develop
develop
1h 16m 26s
Merge pull request #8519 from diffblue/smt2-shift-distance-natural Build and Test the Rust API #3461: Commit 8803555 pushed by kroening
3m 23s develop
develop
3m 23s
Merge pull request #8523 from diffblue/range-type-relations Build and Test the Rust API #3460: Commit 15f755f pushed by kroening
3m 25s develop
develop
3m 25s
Merge pull request #8531 from diffblue/bitnand_bitnor Build and Test the Rust API #3459: Commit 1aa8d41 pushed by kroening
50m 41s develop
develop
50m 41s
Add floatbv_mod_exprt and floatbv_rem_exprt classes Build and Test the Rust API #3458: Pull request #8532 synchronize by kroening
5m 34s floatbv-mod-and-rem
floatbv-mod-and-rem
5m 34s
Add floatbv_mod_exprt and floatbv_rem_exprt classes Build and Test the Rust API #3457: Pull request #8532 opened by kroening
19m 10s floatbv-mod-and-rem
floatbv-mod-and-rem
19m 10s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Build and Test the Rust API #3456: Pull request #8531 synchronize by kroening
29m 53s bitnand_bitnor
bitnand_bitnor
29m 53s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Build and Test the Rust API #3455: Pull request #8531 synchronize by kroening
18m 5s bitnand_bitnor
bitnand_bitnor
18m 5s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Build and Test the Rust API #3454: Pull request #8531 synchronize by kroening
13m 22s bitnand_bitnor
bitnand_bitnor
13m 22s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Build and Test the Rust API #3453: Pull request #8531 opened by kroening
11m 51s bitnand_bitnor
bitnand_bitnor
11m 51s
ProTip! You can narrow down the results and go further in time using created:<2024-12-17 or the other filters available.