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

C front-end: support constructor/destructor attribute with priority argument Build and Test the Rust API #4289: Pull request #8747 synchronize by tautschnig
3h 25m 24s tautschnig:fix-8688-constructor
tautschnig:fix-8688-constructor
3h 25m 24s
Fix pointer validity instrumentation for incomplete array types Build and Test the Rust API #4288: Pull request #8750 synchronize by tautschnig
2h 58m 4s tautschnig:fix-8700-pointer-validity
tautschnig:fix-8700-pointer-validity
2h 58m 4s
Fix pointer validity instrumentation for incomplete array types Build and Test the Rust API #4287: Pull request #8750 synchronize by tautschnig
7h 3m 31s tautschnig:fix-8700-pointer-validity
tautschnig:fix-8700-pointer-validity
7h 3m 31s
Fix pointer validity instrumentation for incomplete array types Build and Test the Rust API #4286: Pull request #8750 synchronize by tautschnig
5h 5m 35s tautschnig:fix-8700-pointer-validity
tautschnig:fix-8700-pointer-validity
5h 5m 35s
C front-end: support constructor/destructor attribute with priority argument Build and Test the Rust API #4285: Pull request #8747 synchronize by tautschnig
7h 51m 17s tautschnig:fix-8688-constructor
tautschnig:fix-8688-constructor
7h 51m 17s
Fix --nan-check false positive for finite/+INFINITY division Build and Test the Rust API #4284: Pull request #8745 synchronize by tautschnig
4h 56m 32s tautschnig:fix-8634-inf-nan
tautschnig:fix-8634-inf-nan
4h 56m 32s
Enable Clang sanitizers in Linux/Clang CI pipeline Build and Test the Rust API #4283: Pull request #8737 synchronize by tautschnig
6h 35m 53s tautschnig:address-sanitizer-ci
tautschnig:address-sanitizer-ci
6h 35m 53s
Fix --nan-check false positive for finite/+INFINITY division Build and Test the Rust API #4282: Pull request #8745 synchronize by tautschnig
2h 48m 4s tautschnig:fix-8634-inf-nan
tautschnig:fix-8634-inf-nan
2h 48m 4s
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