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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Mark move operations of irept, dstringt and memory_sizet noexcept Build and Test the Rust API #5992: Pull request #9174 opened by kroening
17m 48s noexcept-move-irept
noexcept-move-irept
17m 48s
Merge pull request #9024 from StudyingFather/g++16-warning-fix Build and Test the Rust API #5991: Commit 4b26409 pushed by kroening
2m 53s develop
develop
2m 53s
Fix GCC 16 warning-as-error build failures Build and Test the Rust API #5990: Pull request #9024 synchronize by StudyingFather
2m 45s StudyingFather:g++16-warning-fix
StudyingFather:g++16-warning-fix
2m 45s
Fix GCC 16 warning-as-error build failures Build and Test the Rust API #5989: Pull request #9024 synchronize by StudyingFather
Action required StudyingFather:g++16-warning-fix
StudyingFather:g++16-warning-fix
Action required
Fix GCC 16 warning-as-error build failures Build and Test the Rust API #5988: Pull request #9024 synchronize by StudyingFather
7m 11s StudyingFather:g++16-warning-fix
StudyingFather:g++16-warning-fix
7m 11s
Merge pull request #9123 from diffblue/kroening/bitvector-expr-lower-… Build and Test the Rust API #5987: Commit fd5dcee pushed by kroening
17m 49s develop
develop
17m 49s
Add .lower() methods to reduction and replication expressions Build and Test the Rust API #5986: Pull request #9123 synchronize by kroening
3m 15s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
3m 15s
Add .lower() methods to reduction and replication expressions Build and Test the Rust API #5985: Pull request #9123 synchronize by kroening
1m 28s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
1m 28s
Add .lower() methods to reduction and replication expressions Build and Test the Rust API #5984: Pull request #9123 synchronize by kroening
5m 31s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
5m 31s
Add .lower() methods to reduction and replication expressions Build and Test the Rust API #5983: Pull request #9123 synchronize by kroening
2m 30s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
2m 30s
Add .lower() methods to reduction and replication expressions Build and Test the Rust API #5982: Pull request #9123 synchronize by kroening
6m 18s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
6m 18s
Merge pull request #9166 from tautschnig/kiro/fix-onehot0 Build and Test the Rust API #5981: Commit b31f61b pushed by kroening
22m 51s develop
develop
22m 51s
Keep unconstrained string models compact Build and Test the Rust API #5980: Pull request #9167 opened by lemmy
1h 7m 38s lemmy:mku-gh9165
lemmy:mku-gh9165
1h 7m 38s
Fix semantics of onehot0: at most one bit set Build and Test the Rust API #5979: Pull request #9166 opened by tautschnig
15m 56s tautschnig:kiro/fix-onehot0
tautschnig:kiro/fix-onehot0
15m 56s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build and Test the Rust API #5978: Pull request #8878 synchronize by tautschnig
3m 44s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
3m 44s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build and Test the Rust API #5977: Pull request #8878 synchronize by tautschnig
4m 25s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
4m 25s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build and Test the Rust API #5976: Pull request #8878 synchronize by tautschnig
10m 11s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
10m 11s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build and Test the Rust API #5975: Pull request #8878 synchronize by tautschnig
9m 48s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
9m 48s
Merge pull request #9164 from feliperodri/dfcc-skipped-loop-callee-lo… Build and Test the Rust API #5974: Commit 70d9def pushed by feliperodri
18m 40s develop
develop
18m 40s
DFCC: scope skipped inner-loop locals to their enclosing scope Build and Test the Rust API #5973: Pull request #9164 opened by feliperodri
16m 30s feliperodri:dfcc-skipped-loop-callee-locals
feliperodri:dfcc-skipped-loop-callee-locals
16m 30s
C front-end: rewrite array size when refined from unknown to defined Build and Test the Rust API #5972: Pull request #9163 synchronize by Th0rOnDoR
3m 13s Th0rOnDoR:develop
Th0rOnDoR:develop
3m 13s
C front-end: rewrite array size when refined from unknown to defined Build and Test the Rust API #5971: Pull request #9163 opened by Th0rOnDoR
21m 8s Th0rOnDoR:develop
Th0rOnDoR:develop
21m 8s
Detect binder origins in SMT value definitions Build and Test the Rust API #5970: Pull request #9162 opened by chaizhenhua
5m 49s chaizhenhua:fix/smt-binder-value-origin-20260910-upstream
chaizhenhua:fix/smt-binder-value-origin-20260910-upstream
5m 49s
Fix types of unavailable SMT array model values Build and Test the Rust API #5969: Pull request #9161 opened by chaizhenhua
Action required chaizhenhua:fix/smt-typed-unknown-array-20260910-upstream
chaizhenhua:fix/smt-typed-unknown-array-20260910-upstream
Action required
Batch Z3 model value requests and validate responses Build and Test the Rust API #5968: Pull request #9160 opened by chaizhenhua
5m 16s chaizhenhua:fix/smt-z3-model-batch-20260910-upstream
chaizhenhua:fix/smt-z3-model-batch-20260910-upstream
5m 16s