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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #8529 from diffblue/multi_ary_constructors Build and Test the Rust API #3452: Commit fd13d3a pushed by kroening
16m 34s develop
develop
16m 34s
SMT2: implement nand, nor, xnor Build and Test the Rust API #3451: Pull request #8530 opened by kroening
1m 50s smt2-nand-nor
smt2-nand-nor
1m 50s
add mulit-ary constructor for xor_exprt, bitxor_exprt, bitand_exprt, … Build and Test the Rust API #3450: Pull request #8529 opened by kroening
15m 58s multi_ary_constructors
multi_ary_constructors
15m 58s
introduce __CPROVER_map type Build and Test the Rust API #3449: Pull request #7096 synchronize by kroening
3m 57s map_type
map_type
3m 57s
introduce __CPROVER_map type Build and Test the Rust API #3448: Pull request #7096 synchronize by kroening
7m 51s map_type
map_type
7m 51s
introduce __CPROVER_map type Build and Test the Rust API #3447: Pull request #7096 synchronize by kroening
1m 59s map_type
map_type
1m 59s
introduce __CPROVER_map type Build and Test the Rust API #3446: Pull request #7096 synchronize by kroening
1m 55s map_type
map_type
1m 55s
introduce __CPROVER_map type Build and Test the Rust API #3445: Pull request #7096 synchronize by kroening
5m 34s map_type
map_type
5m 34s
introduce __CPROVER_map type Build and Test the Rust API #3444: Pull request #7096 synchronize by kroening
3m 47s map_type
map_type
3m 47s
Merge pull request #8525 from diffblue/cmdline-value_opt Build and Test the Rust API #3443: Commit e186314 pushed by tautschnig
2m 0s develop
develop
2m 0s
cmdlinet: add value_opt methods Build and Test the Rust API #3442: Pull request #8525 opened by kroening
3m 31s cmdline-value_opt
cmdline-value_opt
3m 31s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3441: Pull request #8515 synchronize by kroening
1m 42s TiesToAway
TiesToAway
1m 42s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3440: Pull request #8515 synchronize by kroening
2m 36s TiesToAway
TiesToAway
2m 36s
ProTip! You can narrow down the results and go further in time using created:<2024-12-06 or the other filters available.