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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ieee_floatt::one(...) Build and Test the Rust API #3535: Pull request #8552 synchronize by kroening
January 2, 2025 10:42 4m 7s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:42 4m 7s
Merge pull request #8551 from diffblue/ieee_floatt-protect-rounding_mode Build and Test the Rust API #3534: Commit 6dc6dd5 pushed by kroening
January 2, 2025 10:39 11m 18s develop
develop
January 2, 2025 10:39 11m 18s
ieee_floatt::one(...) Build and Test the Rust API #3533: Pull request #8552 synchronize by kroening
January 1, 2025 19:38 10m 58s ieee_floatt_one
ieee_floatt_one
January 1, 2025 19:38 10m 58s
ieee_floatt::one(...) Build and Test the Rust API #3532: Pull request #8552 opened by kroening
January 1, 2025 19:37 11m 53s ieee_floatt_one
ieee_floatt_one
January 1, 2025 19:37 11m 53s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3531: Pull request #8550 synchronize by kroening
January 1, 2025 18:03 10m 18s ieee_float_valuet
ieee_float_valuet
January 1, 2025 18:03 10m 18s
protect ieee_floatt::rounding_mode Build and Test the Rust API #3530: Pull request #8551 opened by kroening
December 31, 2024 14:13 12m 50s ieee_floatt-protect-rounding_mode
ieee_floatt-protect-rounding_mode
December 31, 2024 14:13 12m 50s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test the Rust API #3529: Pull request #8550 opened by kroening
December 31, 2024 14:01 2m 6s ieee_float_valuet
ieee_float_valuet
December 31, 2024 14:01 2m 6s
Compile Java regression test sources (3/n) Build and Test the Rust API #3528: Pull request #8549 opened by peterschrammel
December 31, 2024 13:28 11m 37s peterschrammel:ps/compile-java-regression-test-sources3
peterschrammel:ps/compile-java-regression-test-sources3
December 31, 2024 13:28 11m 37s
Compile Java regression test sources (2/n) Build and Test the Rust API #3527: Pull request #8548 synchronize by peterschrammel
December 31, 2024 13:13 1m 43s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 31, 2024 13:13 1m 43s
Compile Java regression test sources (2/n) Build and Test the Rust API #3526: Pull request #8548 synchronize by peterschrammel
December 30, 2024 17:18 2m 33s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 30, 2024 17:18 2m 33s
Compile Java regression test sources (1/n) Build and Test the Rust API #3525: Pull request #8487 synchronize by peterschrammel
December 30, 2024 16:28 1m 46s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
December 30, 2024 16:28 1m 46s
Compile Java regression test sources (2/n) Build and Test the Rust API #3524: Pull request #8548 opened by peterschrammel
December 30, 2024 16:21 1m 34s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 30, 2024 16:21 1m 34s
Use cmake for cleaning in cmake job Build and Test the Rust API #3523: Pull request #8547 opened by peterschrammel
December 30, 2024 16:01 1m 39s peterschrammel:ps/cmake-clean
peterschrammel:ps/cmake-clean
December 30, 2024 16:01 1m 39s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test the Rust API #3522: Pull request #8465 synchronize by yvizel
December 30, 2024 10:15 4m 16s yvizel:develop
yvizel:develop
December 30, 2024 10:15 4m 16s
Compile Java regression test sources (1/n) Build and Test the Rust API #3521: Pull request #8487 synchronize by peterschrammel
December 28, 2024 15:22 1m 46s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
December 28, 2024 15:22 1m 46s
Enable IPO / LTO and -O3 Build and Test the Rust API #3520: Pull request #8146 synchronize by rurban
December 28, 2024 09:45 9m 6s rurban:lto
rurban:lto
December 28, 2024 09:45 9m 6s
library-check: fixup missing __builtin_ffs check Build and Test the Rust API #3519: Pull request #8145 synchronize by rurban
December 28, 2024 09:45 1m 21s rurban:ffs
rurban:ffs
December 28, 2024 09:45 1m 21s
goto-analyzer: --show-local-bitvector Build and Test the Rust API #3518: Pull request #8546 synchronize by kroening
December 27, 2024 15:28 1m 36s show-local-bitvector
show-local-bitvector
December 27, 2024 15:28 1m 36s
SMT2: range_type fixes Build and Test the Rust API #3517: Pull request #8537 synchronize by kroening
December 26, 2024 13:06 10m 38s smt2-range-fix
smt2-range-fix
December 26, 2024 13:06 10m 38s
goto-analyzer: --show-local-bitvector Build and Test the Rust API #3516: Pull request #8546 synchronize by kroening
December 26, 2024 12:18 1m 36s show-local-bitvector
show-local-bitvector
December 26, 2024 12:18 1m 36s
goto-analyzer: --show-local-bitvector Build and Test the Rust API #3515: Pull request #8546 opened by kroening
December 26, 2024 10:37 2m 0s show-local-bitvector
show-local-bitvector
December 26, 2024 10:37 2m 0s
uninitialized check Build and Test the Rust API #3514: Pull request #8545 synchronize by kroening
December 26, 2024 10:26 2m 13s uninitialized-check
uninitialized-check
December 26, 2024 10:26 2m 13s
uninitialized check Build and Test the Rust API #3513: Pull request #8545 synchronize by kroening
December 26, 2024 09:49 4m 9s uninitialized-check
uninitialized-check
December 26, 2024 09:49 4m 9s
Merge pull request #8544 from diffblue/goto-check-c-is-assigned Build and Test the Rust API #3512: Commit f9a7807 pushed by kroening
December 26, 2024 09:45 1m 51s develop
develop
December 26, 2024 09:45 1m 51s
fix enum-range check for LHSs Build and Test the Rust API #3511: Pull request #8544 synchronize by kroening
December 25, 2024 08:57 1m 35s goto-check-c-is-assigned
goto-check-c-is-assigned
December 25, 2024 08:57 1m 35s