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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix misleading error message for --generate-function-body on existing bodies Build and Test the Rust API #4239: Pull request #8786 synchronize by tautschnig
9h 10m 35s tautschnig:fix-2974-generate-function-body-warning
tautschnig:fix-2974-generate-function-body-warning
9h 10m 35s
Refine symex pointer unsoundness Build and Test the Rust API #4238: Pull request #8780 synchronize by tautschnig
17h 0m 26s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
17h 0m 26s
Fix --cover help Build and Test the Rust API #4237: Pull request #8793 opened by tautschnig
14h 4m 11s tautschnig:fix-cover-help
tautschnig:fix-cover-help
14h 4m 11s
Refine symex pointer unsoundness Build and Test the Rust API #4236: Pull request #8780 synchronize by tautschnig
15h 29m 11s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
15h 29m 11s
Fix basic block coverage with unsatisfiable ASSUME statements Build and Test the Rust API #4235: Pull request #8791 synchronize by tautschnig
14h 36m 59s tautschnig:fix-826-basic-block-assumes
tautschnig:fix-826-basic-block-assumes
14h 36m 59s
Fix C++ ternary operator type checking for bitfield operands Build and Test the Rust API #4234: Pull request #8792 opened by tautschnig
13h 41m 46s tautschnig:fix-933-ternary-cpp
tautschnig:fix-933-ternary-cpp
13h 41m 46s
Fix basic block coverage with unsatisfiable ASSUME statements Build and Test the Rust API #4233: Pull request #8791 opened by tautschnig
13h 45m 46s tautschnig:fix-826-basic-block-assumes
tautschnig:fix-826-basic-block-assumes
13h 45m 46s
Implement fixedbv/floatbv conversions in SAT and SMT2 back-ends Build and Test the Rust API #4232: Pull request #8790 opened by tautschnig
7h 58m 27s tautschnig:fix-2158-fixedbv-floatbv
tautschnig:fix-2158-fixedbv-floatbv
7h 58m 27s
Refine symex pointer unsoundness Build and Test the Rust API #4231: Pull request #8780 synchronize by tautschnig
16h 31m 32s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
16h 31m 32s
Fix Xen CI job by moving to GitHub mirror Build and Test the Rust API #4230: Pull request #8789 opened by tautschnig
5h 58m 44s tautschnig:use-github-xen-mirror
tautschnig:use-github-xen-mirror
5h 58m 44s
goto-analyzer: fix reachable-functions analysis for inline functions Build and Test the Rust API #4229: Pull request #8788 opened by tautschnig
22h 5m 55s tautschnig:fix-5173-goto-analyzer
tautschnig:fix-5173-goto-analyzer
22h 5m 55s
Add remove_java_new pass to jdiff and janalyzer tools Build and Test the Rust API #4228: Pull request #8787 opened by tautschnig
13h 57m 13s tautschnig:fix-3094-remove_java_new
tautschnig:fix-3094-remove_java_new
13h 57m 13s
Fix misleading error message for --generate-function-body on existing bodies Build and Test the Rust API #4227: Pull request #8786 opened by tautschnig
13h 13m 14s tautschnig:fix-2974-generate-function-body-warning
tautschnig:fix-2974-generate-function-body-warning
13h 13m 14s
Support reordered pointer operands in local_bitvector_analysis Build and Test the Rust API #4226: Pull request #8785 opened by tautschnig
13h 42m 32s tautschnig:fix-2689-pointer-sum-ops
tautschnig:fix-2689-pointer-sum-ops
13h 42m 32s
goto-instrument: add early output file validation Build and Test the Rust API #4225: Pull request #8784 opened by tautschnig
10h 50m 10s tautschnig:fix-2593-goto-instrument-args
tautschnig:fix-2593-goto-instrument-args
10h 50m 10s
Remove undefined-function-is-assume-false from goto-instrument Build and Test the Rust API #4224: Pull request #8783 opened by tautschnig
15h 53m 28s tautschnig:fix-2070-undefined-function
tautschnig:fix-2070-undefined-function
15h 53m 28s
Refactor entry point validation towards symex-callers Build and Test the Rust API #4223: Pull request #8782 opened by tautschnig
1h 21m 25s tautschnig:fix-1847-entry-point-logic
tautschnig:fix-1847-entry-point-logic
1h 21m 25s
Refactor basic block detection into standalone utility module Build and Test the Rust API #4222: Pull request #8781 opened by tautschnig
48m 15s tautschnig:fix-1686-basic-block-refactor
tautschnig:fix-1686-basic-block-refactor
48m 15s
Refine symex pointer unsoundness Build and Test the Rust API #4221: Pull request #8780 opened by tautschnig
3h 4m 25s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
3h 4m 25s
Fix handling of empty intervals in interval_template.h Build and Test the Rust API #4220: Pull request #8779 opened by tautschnig
1d 0h 0m 1s tautschnig:fix-8144-empty-interval
tautschnig:fix-8144-empty-interval
1d 0h 0m 1s
Fix array_exprt handling in incremental SMT2 procedure Build and Test the Rust API #4219: Pull request #8778 opened by tautschnig
14h 16m 55s tautschnig:fix-8080-inc-smt-array
tautschnig:fix-8080-inc-smt-array
14h 16m 55s
Implement incremental SMT2 support for bswap_exprt Build and Test the Rust API #4218: Pull request #8777 opened by tautschnig
16h 58m 33s tautschnig:fix-8064-inc-smt-bswap
tautschnig:fix-8064-inc-smt-bswap
16h 58m 33s
Implement SMT2 incremental support for arithmetic integers Build and Test the Rust API #4217: Pull request #8776 opened by tautschnig
10h 58m 58s tautschnig:fix-8074-inc-smt-integer
tautschnig:fix-8074-inc-smt-integer
10h 58m 58s
C front-end: recognize __builtin_inff() as constant expression Build and Test the Rust API #4216: Pull request #8775 opened by tautschnig
22h 13m 10s tautschnig:fix-8710-builtin_inff
tautschnig:fix-8710-builtin_inff
22h 13m 10s
Add saturating arithmetic support to SMT2 incremental solver Build and Test the Rust API #4215: Pull request #8774 opened by tautschnig
11h 33m 34s tautschnig:fix-8070-inc-smt-saturating
tautschnig:fix-8070-inc-smt-saturating
11h 33m 34s