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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3489: Pull request #8538 synchronize by kroening
4m 15s round_to_integral
round_to_integral
4m 15s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3488: Pull request #8538 synchronize by kroening
4m 1s round_to_integral
round_to_integral
4m 1s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3487: Pull request #8538 synchronize by kroening
3m 55s round_to_integral
round_to_integral
3m 55s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3486: Pull request #8538 synchronize by kroening
4m 46s round_to_integral
round_to_integral
4m 46s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3485: Pull request #8538 synchronize by kroening
2m 37s round_to_integral
round_to_integral
2m 37s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3484: Pull request #8538 synchronize by kroening
11m 38s round_to_integral
round_to_integral
11m 38s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3483: Pull request #8538 synchronize by kroening
8m 2s round_to_integral
round_to_integral
8m 2s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3482: Pull request #8538 synchronize by kroening
6m 59s round_to_integral
round_to_integral
6m 59s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3481: Pull request #8538 synchronize by kroening
5m 30s round_to_integral
round_to_integral
5m 30s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3480: Pull request #8538 opened by kroening
5m 27s round_to_integral
round_to_integral
5m 27s
SMT2: range_type fixes Build and Test the Rust API #3479: Pull request #8537 synchronize by kroening
1m 35s smt2-range-fix
smt2-range-fix
1m 35s
Merge pull request #8533 from diffblue/prop-solve-xnor Build and Test the Rust API #3478: Commit d5cf498 pushed by tautschnig
1m 42s develop
develop
1m 42s
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
ProTip! You can narrow down the results and go further in time using created:<2024-12-17 or the other filters available.