Skip to content

Actions: diffblue/cbmc

Actions

Build Xen with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Xen.yaml
1,501 workflow runs
1,501 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: ignore __CPROVER_dead_object assignments Build Xen with CPROVER tools #9788: Pull request #8554 opened by remi-delmas-3000
January 3, 2025 17:45 12m 17s remi-delmas-3000:contracts-MIR-storage-live-dead
remi-delmas-3000:contracts-MIR-storage-live-dead
January 3, 2025 17:45 12m 17s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build Xen with CPROVER tools #9787: Pull request #8550 synchronize by kroening
January 3, 2025 14:34 14m 3s ieee_float_valuet
ieee_float_valuet
January 3, 2025 14:34 14m 3s
Compile Java regression test sources (4/n) Build Xen with CPROVER tools #9786: Pull request #8553 synchronize by peterschrammel
January 3, 2025 10:54 12m 5s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 3, 2025 10:54 12m 5s
Compile Java regression test sources (4/n) Build Xen with CPROVER tools #9785: Pull request #8553 synchronize by peterschrammel
January 3, 2025 09:54 21m 28s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 3, 2025 09:54 21m 28s
Compile Java regression test sources (3/n) Build Xen with CPROVER tools #9784: Pull request #8549 synchronize by peterschrammel
January 2, 2025 20:18 27m 43s peterschrammel:ps/compile-java-regression-test-sources3
peterschrammel:ps/compile-java-regression-test-sources3
January 2, 2025 20:18 27m 43s
Compile Java regression test sources (2/n) Build Xen with CPROVER tools #9783: Pull request #8548 synchronize by peterschrammel
January 2, 2025 20:18 19m 10s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
January 2, 2025 20:18 19m 10s
Compile Java regression test sources (4/n) Build Xen with CPROVER tools #9782: Pull request #8553 opened by peterschrammel
January 2, 2025 20:16 12m 11s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 2, 2025 20:16 12m 11s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build Xen with CPROVER tools #9781: Pull request #8550 synchronize by kroening
January 2, 2025 13:54 15m 29s ieee_float_valuet
ieee_float_valuet
January 2, 2025 13:54 15m 29s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build Xen with CPROVER tools #9780: Pull request #8550 synchronize by kroening
January 2, 2025 13:53 12m 28s ieee_float_valuet
ieee_float_valuet
January 2, 2025 13:53 12m 28s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build Xen with CPROVER tools #9779: Pull request #8550 synchronize by kroening
January 2, 2025 13:41 12m 37s ieee_float_valuet
ieee_float_valuet
January 2, 2025 13:41 12m 37s
Introduce floatbv_round_to_integral_exprt Build Xen with CPROVER tools #9778: Pull request #8538 synchronize by kroening
January 2, 2025 13:28 13m 43s round_to_integral
round_to_integral
January 2, 2025 13:28 13m 43s
Introduce floatbv_round_to_integral_exprt Build Xen with CPROVER tools #9777: Pull request #8538 synchronize by kroening
January 2, 2025 12:22 13m 52s round_to_integral
round_to_integral
January 2, 2025 12:22 13m 52s
Introduce floatbv_round_to_integral_exprt Build Xen with CPROVER tools #9776: Pull request #8538 synchronize by kroening
January 2, 2025 12:20 14m 8s round_to_integral
round_to_integral
January 2, 2025 12:20 14m 8s
Introduce floatbv_round_to_integral_exprt Build Xen with CPROVER tools #9775: Pull request #8538 synchronize by kroening
January 2, 2025 11:35 40m 11s round_to_integral
round_to_integral
January 2, 2025 11:35 40m 11s
Add IEEE 754 TiesToAway rounding mode Build Xen with CPROVER tools #9774: Pull request #8515 synchronize by kroening
January 2, 2025 11:01 50m 5s TiesToAway
TiesToAway
January 2, 2025 11:01 50m 5s
ieee_floatt::one(...) Build Xen with CPROVER tools #9773: Pull request #8552 synchronize by kroening
January 2, 2025 10:54 40m 0s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:54 40m 0s
ieee_floatt::one(...) Build Xen with CPROVER tools #9772: Pull request #8552 synchronize by kroening
January 2, 2025 10:49 38m 2s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:49 38m 2s
ieee_floatt::one(...) Build Xen with CPROVER tools #9771: Pull request #8552 synchronize by kroening
January 2, 2025 10:48 34m 58s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:48 34m 58s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build Xen with CPROVER tools #9770: Pull request #8550 synchronize by kroening
January 2, 2025 10:48 16m 46s ieee_float_valuet
ieee_float_valuet
January 2, 2025 10:48 16m 46s
ieee_floatt::one(...) Build Xen with CPROVER tools #9769: Pull request #8552 synchronize by kroening
January 2, 2025 10:42 14m 4s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:42 14m 4s
ieee_floatt::one(...) Build Xen with CPROVER tools #9768: Pull request #8552 synchronize by kroening
January 1, 2025 19:38 21m 38s ieee_floatt_one
ieee_floatt_one
January 1, 2025 19:38 21m 38s
ieee_floatt::one(...) Build Xen with CPROVER tools #9767: Pull request #8552 opened by kroening
January 1, 2025 19:37 20m 56s ieee_floatt_one
ieee_floatt_one
January 1, 2025 19:37 20m 56s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build Xen with CPROVER tools #9766: Pull request #8550 synchronize by kroening
January 1, 2025 18:03 21m 16s ieee_float_valuet
ieee_float_valuet
January 1, 2025 18:03 21m 16s
protect ieee_floatt::rounding_mode Build Xen with CPROVER tools #9765: Pull request #8551 opened by kroening
December 31, 2024 14:13 22m 2s ieee_floatt-protect-rounding_mode
ieee_floatt-protect-rounding_mode
December 31, 2024 14:13 22m 2s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build Xen with CPROVER tools #9764: Pull request #8550 opened by kroening
December 31, 2024 14:01 1m 36s ieee_float_valuet
ieee_float_valuet
December 31, 2024 14:01 1m 36s