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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Work around Z3 not producing models for some quantified expressions Build and Test the Rust API #4067: Pull request #8703 synchronize by tautschnig
1m 35s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
1m 35s
Work around Z3 not producing models for some quantified expressions Build and Test the Rust API #4066: Pull request #8703 opened by tautschnig
2m 57s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
2m 57s
Merge pull request #7584 from tautschnig/features/asm-renaming-type-c… Build and Test the Rust API #4065: Commit 6b6c8d3 pushed by tautschnig
1m 32s develop
develop
1m 32s
C front-end: tolerate type differences with asm renaming Build and Test the Rust API #4064: Pull request #7584 synchronize by tautschnig
1m 22s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
1m 22s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #4063: Pull request #8041 synchronize by tautschnig
53m 32s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
53m 32s
Value set dereferencing: do not treat struct prefixes as equal Build and Test the Rust API #4062: Pull request #5876 synchronize by tautschnig
2h 43m 31s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
2h 43m 31s
Move rounding_mode_identifier() to configt Build and Test the Rust API #4061: Pull request #6555 synchronize by tautschnig
2h 53m 38s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
2h 53m 38s
goto-symex: apply_condition should not change L2 index Build and Test the Rust API #4060: Pull request #6993 synchronize by tautschnig
1h 29m 49s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
1h 29m 49s
C front-end: tolerate type differences with asm renaming Build and Test the Rust API #4059: Pull request #7584 synchronize by tautschnig
4h 30m 12s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
4h 30m 12s
Linking: fix up all types before handling functions or objects Build and Test the Rust API #4058: Pull request #7579 synchronize by tautschnig
5h 2m 1s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
5h 2m 1s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test the Rust API #4057: Pull request #7959 synchronize by tautschnig
2h 46m 50s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
2h 46m 50s
Merge pull request #8701 from tautschnig/extend-timeout Build and Test the Rust API #4056: Commit 22d25d1 pushed by tautschnig
3h 2m 29s develop
develop
3h 2m 29s
C front-end: tolerate type differences with asm renaming Build and Test the Rust API #4055: Pull request #7584 synchronize by tautschnig
5h 54m 17s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
5h 54m 17s
Linking: fix up all types before handling functions or objects Build and Test the Rust API #4054: Pull request #7579 synchronize by tautschnig
3h 38m 32s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
3h 38m 32s
Add support for MergeSat Build and Test the Rust API #4053: Pull request #6439 synchronize by tautschnig
53m 47s tautschnig:mergesat
tautschnig:mergesat
53m 47s
Introduce bitst and bytest to avoid bit/byte mix-up Build and Test the Rust API #4052: Pull request #7413 synchronize by tautschnig
1h 12m 25s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
1h 12m 25s
Extend cbmc-incr-oneloop timeout with CMake Build and Test the Rust API #4051: Pull request #8701 opened by tautschnig
2m 1s tautschnig:extend-timeout
tautschnig:extend-timeout
2m 1s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build and Test the Rust API #4050: Pull request #2452 synchronize by tautschnig
4h 2m 6s tautschnig:vs-big-int
tautschnig:vs-big-int
4h 2m 6s
Message handler: add quote_begin, quote_end commands Build and Test the Rust API #4049: Pull request #5696 synchronize by tautschnig
2h 51m 20s tautschnig:quote-command
tautschnig:quote-command
2h 51m 20s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build and Test the Rust API #4048: Pull request #2452 synchronize by tautschnig
3h 14m 44s tautschnig:vs-big-int
tautschnig:vs-big-int
3h 14m 44s
Value set dereferencing: do not treat struct prefixes as equal Build and Test the Rust API #4047: Pull request #5876 synchronize by tautschnig
4h 31m 31s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
4h 31m 31s
Move rounding_mode_identifier() to configt Build and Test the Rust API #4046: Pull request #6555 synchronize by tautschnig
5h 23m 50s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
5h 23m 50s
Reading/writing goto binaries: consistently use return values Build and Test the Rust API #4045: Pull request #7643 synchronize by tautschnig
1h 35m 44s tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
1h 35m 44s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test the Rust API #4044: Pull request #7959 synchronize by tautschnig
4h 40m 48s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
4h 40m 48s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #4043: Pull request #8041 synchronize by tautschnig
4h 16m 21s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
4h 16m 21s
ProTip! You can narrow down the results and go further in time using created:<2025-07-28 or the other filters available.