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

Fix filename completion in bash autocompletion Build and Test the Rust API #3690: Pull request #8587 opened by tautschnig
10m 8s tautschnig:fix-bash-completion
tautschnig:fix-bash-completion
10m 8s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3689: Pull request #8572 synchronize by tautschnig
28m 15s tautschnig:arm-ci
tautschnig:arm-ci
28m 15s
Simplify typecast of zero-extension to just a typecast Build and Test the Rust API #3688: Pull request #8586 opened by tautschnig
23m 29s tautschnig:simp-zero-extend
tautschnig:simp-zero-extend
23m 29s
Upgrade CVC5 in CI to 1.2.1 Build and Test the Rust API #3687: Pull request #8585 opened by tautschnig
10m 28s tautschnig:cvc5-1.2.0
tautschnig:cvc5-1.2.0
10m 28s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3686: Pull request #8572 synchronize by tautschnig
9m 58s tautschnig:arm-ci
tautschnig:arm-ci
9m 58s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build and Test the Rust API #3684: Pull request #2452 synchronize by tautschnig
12m 53s tautschnig:vs-big-int
tautschnig:vs-big-int
12m 53s
Fix various type conversion and deprecation warnings reported by Visual studio Build and Test the Rust API #3683: Pull request #2310 synchronize by tautschnig
1m 25s tautschnig:visual-studio-warnings
tautschnig:visual-studio-warnings
1m 25s
Cleanup type conversions in java_bytecode_parsert::read Build and Test the Rust API #3682: Pull request #8584 synchronize by tautschnig
2m 44s tautschnig:signed-read
tautschnig:signed-read
2m 44s
Cleanup type conversions in java_bytecode_parsert::read Build and Test the Rust API #3681: Pull request #8584 synchronize by tautschnig
1m 36s tautschnig:signed-read
tautschnig:signed-read
1m 36s
Cleanup type conversions in java_bytecode_parsert::read Build and Test the Rust API #3680: Pull request #8584 opened by tautschnig
2m 9s tautschnig:signed-read
tautschnig:signed-read
2m 9s
Remove unused {c,java}_qualifierst::count Build and Test the Rust API #3679: Pull request #8583 opened by tautschnig
2m 33s tautschnig:remove-count
tautschnig:remove-count
2m 33s
Fix various type conversion and deprecation warnings reported by Visual studio Build and Test the Rust API #3678: Pull request #2310 synchronize by tautschnig
1m 16s tautschnig:visual-studio-warnings
tautschnig:visual-studio-warnings
1m 16s
Fix various type conversion and deprecation warnings reported by Visual studio Build and Test the Rust API #3677: Pull request #2310 synchronize by tautschnig
6m 45s tautschnig:visual-studio-warnings
tautschnig:visual-studio-warnings
6m 45s
Merge pull request #8563 from tautschnig/miniz-update Build and Test the Rust API #3676: Commit 66004dc pushed by tautschnig
15m 25s develop
develop
15m 25s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3675: Pull request #8538 synchronize by kroening
11m 4s round_to_integral
round_to_integral
11m 4s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3674: Pull request #8515 synchronize by kroening
10m 14s TiesToAway
TiesToAway
10m 14s
Merge pull request #8550 from diffblue/ieee_float_valuet Build and Test the Rust API #3673: Commit af4e2e4 pushed by kroening
43m 15s develop
develop
43m 15s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3672: Pull request #8515 synchronize by kroening
35m 30s TiesToAway
TiesToAway
35m 30s
Merge pull request #8537 from diffblue/smt2-range-fix Build and Test the Rust API #3671: Commit f2489e3 pushed by kroening
31m 18s develop
develop
31m 18s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3670: Pull request #8550 synchronize by kroening
21m 13s ieee_float_valuet
ieee_float_valuet
21m 13s
Merge pull request #8580 from diffblue/floatbv-codeowners Build and Test the Rust API #3669: Commit 3c4ffae pushed by kroening
18m 14s develop
develop
18m 14s
add @peterschrammel as code owner to /src/solvers/floatbv Build and Test the Rust API #3668: Pull request #8580 synchronize by kroening
17m 32s floatbv-codeowners
floatbv-codeowners
17m 32s
add @peterschrammel as code owner to /src/solvers/floatbv Build and Test the Rust API #3667: Pull request #8580 opened by kroening
18m 49s floatbv-codeowners
floatbv-codeowners
18m 49s
Field sensitivity: account for array size in all index expressions Build and Test the Rust API #3666: Pull request #8579 opened by tautschnig
23m 4s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
23m 4s
Value-set based dereferencing: fix simplified handling of *(p + i) Build and Test the Rust API #3665: Pull request #8578 synchronize by tautschnig
1m 31s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
1m 31s
ProTip! You can narrow down the results and go further in time using created:<2025-01-31 or the other filters available.