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

fixup! fix exprt::opX accesses in linker_script_merge Build and Test the Rust API #3919: Pull request #8657 synchronize by tautschnig
30m 50s tautschnig:fixup-linker-script-merge
tautschnig:fixup-linker-script-merge
30m 50s
fixup! fix exprt::opX accesses in linker_script_merge Build and Test the Rust API #3918: Pull request #8657 opened by tautschnig
1m 46s tautschnig:fixup-linker-script-merge
tautschnig:fixup-linker-script-merge
1m 46s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3917: Pull request #8572 synchronize by tautschnig
2m 23s tautschnig:arm-ci
tautschnig:arm-ci
2m 23s
Fix statement-expression expansion for Kani-provided quantifiers Build and Test the Rust API #3916: Pull request #8649 synchronize by tautschnig
2m 28s tautschnig:fix-quantifier-conversion
tautschnig:fix-quantifier-conversion
2m 28s
Merge pull request #8655 from rod-chapman/less_verbose_contract_warnings Build and Test the Rust API #3915: Commit 34dc8dc pushed by kroening
1m 24s develop
develop
1m 24s
Change the "no assigns..." and "no decreases..." warnings to higher verbosity Build and Test the Rust API #3914: Pull request #8655 opened by rod-chapman
1m 53s rod-chapman:less_verbose_contract_warnings
rod-chapman:less_verbose_contract_warnings
1m 53s
Value set: remove array-of-array special case Build and Test the Rust API #3913: Pull request #8653 opened by tautschnig
1m 35s tautschnig:no-special-case
tautschnig:no-special-case
1m 35s
Merge pull request #8608 from tautschnig/simp-quant Build and Test the Rust API #3912: Commit e81ad69 pushed by kroening
15m 50s develop
develop
15m 50s
Flow-insensitive value set: don't create index expressions over non-array objects Build and Test the Rust API #3911: Pull request #8651 opened by tautschnig
1m 23s tautschnig:value-set-fi-fix
tautschnig:value-set-fi-fix
1m 23s
Merge pull request #8650 from diffblue/run-with-pipe Build and Test the Rust API #3910: Commit beb96b9 pushed by tautschnig
24m 42s develop
develop
24m 42s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3909: Pull request #8627 synchronize by tautschnig
26m 18s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
26m 18s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3908: Pull request #8627 synchronize by tautschnig
38m 3s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
38m 3s
Introduce value-set supported simplifier for goto-symex Build and Test the Rust API #3907: Pull request #8642 synchronize by tautschnig
42m 39s tautschnig:simp-value-set
tautschnig:simp-value-set
42m 39s
Value set: lift offset from numeric constants to expressions Build and Test the Rust API #3906: Pull request #8647 synchronize by tautschnig
3m 25s tautschnig:value-set-offset
tautschnig:value-set-offset
3m 25s
run(..., std::ostream &, ...) with pipe Build and Test the Rust API #3905: Pull request #8650 synchronize by tautschnig
2m 18s run-with-pipe
run-with-pipe
2m 18s
Value set: lift offset from numeric constants to expressions Build and Test the Rust API #3904: Pull request #8647 synchronize by tautschnig
3m 6s tautschnig:value-set-offset
tautschnig:value-set-offset
3m 6s
run(..., std::ostream &, ...) with pipe Build and Test the Rust API #3903: Pull request #8650 opened by kroening
1m 32s run-with-pipe
run-with-pipe
1m 32s
Fix statement-expression expansion for Kani-provided quantifiers Build and Test the Rust API #3902: Pull request #8649 opened by tautschnig
1m 51s tautschnig:fix-quantifier-conversion
tautschnig:fix-quantifier-conversion
1m 51s
Merge pull request #8648 from diffblue/use-size_t Build and Test the Rust API #3901: Commit f1faa61 pushed by tautschnig
1m 49s develop
develop
1m 49s
Use std::size_t Build and Test the Rust API #3900: Pull request #8648 opened by kroening
1m 58s use-size_t
use-size_t
1m 58s
Value set: lift offset from numeric constants to expressions Build and Test the Rust API #3899: Pull request #8647 opened by tautschnig
4m 35s tautschnig:value-set-offset
tautschnig:value-set-offset
4m 35s
C library: Refine and improve stdio models Build and Test the Rust API #3898: Pull request #8043 synchronize by tautschnig
10m 7s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
10m 7s
Merge pull request #8644 from tautschnig/goto-checker-dep Build and Test the Rust API #3897: Commit fc412c7 pushed by kroening
1h 13m 48s develop
develop
1h 13m 48s
C library: Refine and improve stdio models Build and Test the Rust API #3896: Pull request #8043 synchronize by tautschnig
1h 43m 2s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
1h 43m 2s
C front-end: fix processing of alignment and packing attributes Build and Test the Rust API #3895: Pull request #8454 synchronize by tautschnig
1h 43m 44s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
1h 43m 44s
ProTip! You can narrow down the results and go further in time using created:<2025-05-28 or the other filters available.