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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add clock_gettime model Build and Test the Rust API #4256: Pull request #8731 synchronize by tautschnig
7h 54m 24s tautschnig:clock_gettime
tautschnig:clock_gettime
7h 54m 24s
Add clock_gettime model Build and Test the Rust API #4255: Pull request #8731 synchronize by tautschnig
8h 19m 4s tautschnig:clock_gettime
tautschnig:clock_gettime
8h 19m 4s
Fix handling of empty intervals in interval_template.h Build and Test the Rust API #4254: Pull request #8779 synchronize by tautschnig
3h 24m 27s tautschnig:fix-8144-empty-interval
tautschnig:fix-8144-empty-interval
3h 24m 27s
C front-end: recognize __builtin_inff() as constant expression Build and Test the Rust API #4253: Pull request #8775 synchronize by tautschnig
1h 8m 20s tautschnig:fix-8710-builtin_inff
tautschnig:fix-8710-builtin_inff
1h 8m 20s
Merge pull request #8793 from tautschnig/fix-cover-help Build and Test the Rust API #4252: Commit 8640fc9 pushed by kroening
4h 16m 20s develop
develop
4h 16m 20s
Add case_exprt to std_expr.h and refactor code to use it Build and Test the Rust API #4251: Pull request #8741 synchronize by tautschnig
23h 25m 44s tautschnig:case_exprt
tautschnig:case_exprt
23h 25m 44s
Require explicit contract for --replace-call-with-contract Build and Test the Rust API #4250: Pull request #8739 synchronize by tautschnig
18h 27m 48s tautschnig:replace-call-with-contract-error
tautschnig:replace-call-with-contract-error
18h 27m 48s
Fix static lifetime pointer initialization dependency ordering Build and Test the Rust API #4249: Pull request #8748 synchronize by tautschnig
3h 30m 47s tautschnig:fix-8593-static-init-deps
tautschnig:fix-8593-static-init-deps
3h 30m 47s
Makefile builds: do not inherit SRC from environment in big-int Build and Test the Rust API #4248: Pull request #8742 synchronize by tautschnig
23h 27m 30s tautschnig:avoid-SRC-conflict
tautschnig:avoid-SRC-conflict
23h 27m 30s
Add case_exprt to std_expr.h and refactor code to use it Build and Test the Rust API #4247: Pull request #8741 synchronize by tautschnig
11h 35m 29s tautschnig:case_exprt
tautschnig:case_exprt
11h 35m 29s
Require explicit contract for --replace-call-with-contract Build and Test the Rust API #4246: Pull request #8739 synchronize by tautschnig
7h 0m 10s tautschnig:replace-call-with-contract-error
tautschnig:replace-call-with-contract-error
7h 0m 10s
Add cpplint warnings for exit() and abort() Build and Test the Rust API #4245: Pull request #8738 synchronize by tautschnig
13h 9m 5s tautschnig:cpplint-exit-abort
tautschnig:cpplint-exit-abort
13h 9m 5s
Implement incremental SMT2 support for bswap_exprt Build and Test the Rust API #4244: Pull request #8777 synchronize by tautschnig
4h 5m 22s tautschnig:fix-8064-inc-smt-bswap
tautschnig:fix-8064-inc-smt-bswap
4h 5m 22s
goto-analyzer: fix reachable-functions analysis for inline functions Build and Test the Rust API #4243: Pull request #8788 synchronize by tautschnig
17h 29m 25s tautschnig:fix-5173-goto-analyzer
tautschnig:fix-5173-goto-analyzer
17h 29m 25s
Refactor entry point validation towards symex-callers Build and Test the Rust API #4242: Pull request #8782 synchronize by tautschnig
8h 6m 52s tautschnig:fix-1847-entry-point-logic
tautschnig:fix-1847-entry-point-logic
8h 6m 52s
Fix misleading error message for --generate-function-body on existing bodies Build and Test the Rust API #4241: Pull request #8786 synchronize by tautschnig
17h 26m 12s tautschnig:fix-2974-generate-function-body-warning
tautschnig:fix-2974-generate-function-body-warning
17h 26m 12s
Support reordered pointer operands in local_bitvector_analysis Build and Test the Rust API #4240: Pull request #8785 synchronize by tautschnig
14h 22m 51s tautschnig:fix-2689-pointer-sum-ops
tautschnig:fix-2689-pointer-sum-ops
14h 22m 51s
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