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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Field sensitivity: account for array size in all index expressions Build and Test the Rust API #3869: Pull request #8579 synchronize by tautschnig
4m 18s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
4m 18s
Simplify quantified expressions over constants Build and Test the Rust API #3868: Pull request #8608 synchronize by tautschnig
2m 22s tautschnig:simp-quant
tautschnig:simp-quant
2m 22s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3867: Pull request #8627 synchronize by tautschnig
1m 45s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
1m 45s
Merge pull request #8632 from tautschnig/release-6.6.0 Build and Test the Rust API #3866: Commit 3c915eb pushed by tautschnig
1m 58s develop
develop
1m 58s
Release CBMC 6.6.0 Build and Test the Rust API #3865: Pull request #8632 opened by tautschnig
2m 51s tautschnig:release-6.6.0
tautschnig:release-6.6.0
2m 51s
Merge pull request #8628 from tautschnig/do-not-instrument-unused-fun… Build and Test the Rust API #3864: Commit 7909d15 pushed by tautschnig
1m 45s develop
develop
1m 45s
DFCC instrumentation: skip unused functions Build and Test the Rust API #3863: Pull request #8628 synchronize by tautschnig
1m 57s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
1m 57s
Merge pull request #8631 from tautschnig/parallel-use-github-mirror Build and Test the Rust API #3862: Commit 9db5b1a pushed by tautschnig
17m 45s develop
develop
17m 45s
Use GitHub mirror to download GNU parallel Build and Test the Rust API #3861: Pull request #8631 synchronize by tautschnig
41m 44s tautschnig:parallel-use-github-mirror
tautschnig:parallel-use-github-mirror
41m 44s
Use GitHub mirror to download GNU parallel Build and Test the Rust API #3860: Pull request #8631 opened by tautschnig
34m 2s tautschnig:parallel-use-github-mirror
tautschnig:parallel-use-github-mirror
34m 2s
Simplify quantified expressions over constants Build and Test the Rust API #3859: Pull request #8608 synchronize by tautschnig
27m 51s tautschnig:simp-quant
tautschnig:simp-quant
27m 51s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3858: Pull request #8627 synchronize by tautschnig
16m 45s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
16m 45s
Simplify quantified expressions over constants Build and Test the Rust API #3857: Pull request #8608 synchronize by tautschnig
2m 54s tautschnig:simp-quant
tautschnig:simp-quant
2m 54s
DFCC instrumentation: skip unused functions Build and Test the Rust API #3856: Pull request #8628 synchronize by tautschnig
15m 30s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
15m 30s
prophecy_r_or_w_ok_exprt lowering: adjust for dynamic/static objects Build and Test the Rust API #3855: Pull request #8629 opened by tautschnig
4m 17s tautschnig:simp-r_ok
tautschnig:simp-r_ok
4m 17s
DFCC instrumentation: skip unused functions Build and Test the Rust API #3854: Pull request #8628 opened by tautschnig
2m 13s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
2m 13s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3853: Pull request #8627 opened by tautschnig
1m 52s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
1m 52s
Merge pull request #8623 from diffblue/c23-2 Build and Test the Rust API #3852: Commit 5dc709d pushed by kroening
15m 54s develop
develop
15m 54s
C23 keywords Build and Test the Rust API #3851: Pull request #8623 synchronize by kroening
1m 45s c23-2
c23-2
1m 45s
C23 keywords Build and Test the Rust API #3850: Pull request #8623 synchronize by kroening
35m 22s c23-2
c23-2
35m 22s
C23 keywords Build and Test the Rust API #3849: Pull request #8623 synchronize by kroening
2m 1s c23-2
c23-2
2m 1s
C23 keywords Build and Test the Rust API #3848: Pull request #8623 synchronize by kroening
1m 44s c23-2
c23-2
1m 44s
C23 keywords Build and Test the Rust API #3847: Pull request #8623 synchronize by kroening
1m 45s c23-2
c23-2
1m 45s
C23 keywords Build and Test the Rust API #3846: Pull request #8623 synchronize by kroening
1m 26s c23-2
c23-2
1m 26s
C23 keywords Build and Test the Rust API #3845: Pull request #8623 synchronize by kroening
11m 28s c23-2
c23-2
11m 28s
ProTip! You can narrow down the results and go further in time using created:<2025-04-10 or the other filters available.