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

Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4281: Pull request #8737 synchronize by tautschnig
6h 24m 4s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
6h 24m 4s
Fix --nan-check false positive for finite/+INFINITY division Build and Test the Rust API #4280: Pull request #8745 synchronize by tautschnig
3h 57m 35s tautschnig:fix-8634-inf-nan
tautschnig:fix-8634-inf-nan
3h 57m 35s
Add ADR for command-line option handling best practices Build and Test the Rust API #4279: Pull request #8758 synchronize by tautschnig
54m 4s tautschnig:fix-1521-opts-handling-docs
tautschnig:fix-1521-opts-handling-docs
54m 4s
Merge pull request #8731 from tautschnig/clock_gettime Build and Test the Rust API #4278: Commit 1505c36 pushed by tautschnig
5h 0m 42s develop
develop
5h 0m 42s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4277: Pull request #8737 synchronize by tautschnig
7h 45m 48s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
7h 45m 48s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4276: Pull request #8737 synchronize by tautschnig
7h 11m 53s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
7h 11m 53s
Fix --nan-check false positive for finite/+INFINITY division Build and Test the Rust API #4275: Pull request #8745 synchronize by tautschnig
4h 19m 20s tautschnig:fix-8634-inf-nan
tautschnig:fix-8634-inf-nan
4h 19m 20s
Merge pull request #8779 from tautschnig/fix-8144-empty-interval Build and Test the Rust API #4274: Commit 99345cb pushed by tautschnig
1h 0m 46s develop
develop
1h 0m 46s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4273: Pull request #8737 synchronize by tautschnig
6h 4m 31s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
6h 4m 31s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4272: Pull request #8737 synchronize by tautschnig
5h 16m 42s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
5h 16m 42s
Makefile builds: do not inherit SRC from environment in big-int Build and Test the Rust API #4271: Pull request #8742 synchronize by tautschnig
3h 32m 18s tautschnig:avoid-SRC-conflict
tautschnig:avoid-SRC-conflict
3h 32m 18s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4270: Pull request #8737 synchronize by tautschnig
7h 19m 24s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
7h 19m 24s
SMT2: allow unary bitand, bitor, bitxor Build and Test the Rust API #4269: Pull request #8794 synchronize by kroening
11h 13m 4s smt2-unary-bitwise
smt2-unary-bitwise
11h 13m 4s
SMT2: allow unary bitand, bitor, bitxor Build and Test the Rust API #4268: Pull request #8794 opened by kroening
6h 49m 10s smt2-unary-bitwise
smt2-unary-bitwise
6h 49m 10s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4267: Pull request #8737 synchronize by tautschnig
8h 52m 20s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
8h 52m 20s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4266: Pull request #8737 synchronize by tautschnig
4h 55m 3s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
4h 55m 3s
Refactor entry point validation towards symex-callers Build and Test the Rust API #4265: Pull request #8782 synchronize by tautschnig
4h 39m 25s tautschnig:fix-1847-entry-point-logic
tautschnig:fix-1847-entry-point-logic
4h 39m 25s
Refine symex pointer unsoundness Build and Test the Rust API #4264: Pull request #8780 synchronize by tautschnig
2h 11m 17s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
2h 11m 17s
Require explicit contract for --replace-call-with-contract Build and Test the Rust API #4263: Pull request #8739 synchronize by tautschnig
9h 49m 23s tautschnig:replace-call-with-contract-error
tautschnig:replace-call-with-contract-error
9h 49m 23s
Require explicit contract for --replace-call-with-contract Build and Test the Rust API #4262: Pull request #8739 synchronize by tautschnig
4h 13m 42s tautschnig:replace-call-with-contract-error
tautschnig:replace-call-with-contract-error
4h 13m 42s
Add clock_gettime model Build and Test the Rust API #4261: Pull request #8731 synchronize by tautschnig
10h 17m 51s tautschnig:clock_gettime
tautschnig:clock_gettime
10h 17m 51s
Merge pull request #8775 from tautschnig/fix-8710-builtin_inff Build and Test the Rust API #4260: Commit 0985044 pushed by kroening
3h 39m 34s develop
develop
3h 39m 34s
Merge pull request #8741 from tautschnig/case_exprt Build and Test the Rust API #4259: Commit 18d1197 pushed by kroening
2h 48m 1s develop
develop
2h 48m 1s
Add clock_gettime model Build and Test the Rust API #4258: Pull request #8731 synchronize by tautschnig
7h 21m 10s tautschnig:clock_gettime
tautschnig:clock_gettime
7h 21m 10s
Fix static lifetime pointer initialization dependency ordering Build and Test the Rust API #4257: Pull request #8748 synchronize by tautschnig
19m 14s tautschnig:fix-8593-static-init-deps
tautschnig:fix-8593-static-init-deps
19m 14s