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
885 workflow runs
885 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Contracts instrumentation: hide unhelpful "no body" warnings Build and Test the Rust API #4023: Pull request #8697 synchronize by tautschnig
1m 23s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
1m 23s
Contracts instrumentation: cleanup unnecessary includes Build and Test the Rust API #4022: Pull request #8696 synchronize by tautschnig
2m 49s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
2m 49s
Contracts instrumentation: hide unhelpful "no body" warnings Build and Test the Rust API #4021: Pull request #8697 opened by tautschnig
1m 40s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
1m 40s
Contracts instrumentation: cleanup unnecessary includes Build and Test the Rust API #4020: Pull request #8696 opened by tautschnig
1m 21s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
1m 21s
C front-end: do not warn when re-initialising a variable with the same value Build and Test the Rust API #4019: Pull request #8695 opened by tautschnig
1m 51s tautschnig:avoid-linking-warning
tautschnig:avoid-linking-warning
1m 51s
DFCC: do not surface confusing warning Build and Test the Rust API #4018: Pull request #8694 opened by tautschnig
3m 15s tautschnig:dfcc-generate-no-warn
tautschnig:dfcc-generate-no-warn
3m 15s
Merge pull request #8678 from tautschnig/fixup-typecast-simp Build and Test the Rust API #4017: Commit 4a1a325 pushed by tautschnig
3m 18s develop
develop
3m 18s
Merge pull request #8670 from tautschnig/convert-with Build and Test the Rust API #4016: Commit dc193c4 pushed by tautschnig
12m 19s develop
develop
12m 19s
Simplifier: do not create extractbits with pointer type Build and Test the Rust API #4015: Pull request #8678 synchronize by tautschnig
34m 40s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
34m 40s
SMT2 back-end: flatten with_exprt operands Build and Test the Rust API #4014: Pull request #8670 synchronize by tautschnig
1m 45s tautschnig:convert-with
tautschnig:convert-with
1m 45s
SMT2 back-end: flatten with_exprt operands Build and Test the Rust API #4013: Pull request #8670 synchronize by tautschnig
2m 7s tautschnig:convert-with
tautschnig:convert-with
2m 7s
SMT2 back-end: flatten with_exprt operands Build and Test the Rust API #4012: Pull request #8670 synchronize by tautschnig
1m 42s tautschnig:convert-with
tautschnig:convert-with
1m 42s
SMT2 back-end: flatten with_exprt operands Build and Test the Rust API #4011: Pull request #8670 synchronize by tautschnig
1m 59s tautschnig:convert-with
tautschnig:convert-with
1m 59s
SMT2 back-end: flatten with_exprt operands Build and Test the Rust API #4010: Pull request #8670 synchronize by tautschnig
1m 34s tautschnig:convert-with
tautschnig:convert-with
1m 34s
Merge pull request #8684 from tautschnig/bugfixes/goto-harness-allocate Build and Test the Rust API #4009: Commit 062962c pushed by tautschnig
12m 41s develop
develop
12m 41s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test the Rust API #4008: Pull request #8684 synchronize by tautschnig
1m 58s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
1m 58s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test the Rust API #4007: Pull request #8684 synchronize by tautschnig
2m 0s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
2m 0s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test the Rust API #4006: Pull request #8684 synchronize by tautschnig
1m 33s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
1m 33s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test the Rust API #4005: Pull request #8684 opened by tautschnig
2m 17s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
2m 17s
Simplifier: do not create extractbits with pointer type Build and Test the Rust API #4004: Pull request #8678 synchronize by tautschnig
2m 54s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
2m 54s
Simplifier: do not create extractbits with pointer type Build and Test the Rust API #4003: Pull request #8678 opened by tautschnig
1m 39s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
1m 39s
Merge pull request #8677 from tautschnig/release-6.7.1 Build and Test the Rust API #4002: Commit d148ae6 pushed by tautschnig
2m 5s develop
develop
2m 5s
Release CBMC 6.7.1 Build and Test the Rust API #4001: Pull request #8677 opened by tautschnig
13m 59s tautschnig:release-6.7.1
tautschnig:release-6.7.1
13m 59s
Merge pull request #8674 from tautschnig/three-operand-with Build and Test the Rust API #4000: Commit ea7b092 pushed by tautschnig
11m 42s develop
develop
11m 42s
Higher radix multiplier encoding Build and Test the Rust API #3999: Pull request #7991 synchronize by tautschnig
1m 2s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
1m 2s