Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,872 workflow runs
1,872 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ieee_floatt::one(...) CodeQL #6721: Pull request #8552 synchronize by kroening
January 2, 2025 10:49 1h 1m 0s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:49 1h 1m 0s
ieee_floatt::one(...) CodeQL #6720: Pull request #8552 synchronize by kroening
January 2, 2025 10:48 40m 3s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:48 40m 3s
Split ieee_floatt into ieee_float_valuet and ieee_floatt CodeQL #6719: Pull request #8550 synchronize by kroening
January 2, 2025 10:48 37m 36s ieee_float_valuet
ieee_float_valuet
January 2, 2025 10:48 37m 36s
ieee_floatt::one(...) CodeQL #6718: Pull request #8552 synchronize by kroening
January 2, 2025 10:42 34m 5s ieee_floatt_one
ieee_floatt_one
January 2, 2025 10:42 34m 5s
Merge pull request #8551 from diffblue/ieee_floatt-protect-rounding_mode CodeQL #6717: Commit 6dc6dd5 pushed by kroening
January 2, 2025 10:39 50m 7s develop
develop
January 2, 2025 10:39 50m 7s
ieee_floatt::one(...) CodeQL #6716: Pull request #8552 synchronize by kroening
January 1, 2025 19:38 15m 7s ieee_floatt_one
ieee_floatt_one
January 1, 2025 19:38 15m 7s
ieee_floatt::one(...) CodeQL #6715: Pull request #8552 opened by kroening
January 1, 2025 19:37 15m 20s ieee_floatt_one
ieee_floatt_one
January 1, 2025 19:37 15m 20s
Split ieee_floatt into ieee_float_valuet and ieee_floatt CodeQL #6714: Pull request #8550 synchronize by kroening
January 1, 2025 18:03 34m 20s ieee_float_valuet
ieee_float_valuet
January 1, 2025 18:03 34m 20s
protect ieee_floatt::rounding_mode CodeQL #6713: Pull request #8551 opened by kroening
December 31, 2024 14:13 34m 2s ieee_floatt-protect-rounding_mode
ieee_floatt-protect-rounding_mode
December 31, 2024 14:13 34m 2s
Split ieee_floatt into ieee_float_valuet and ieee_floatt CodeQL #6712: Pull request #8550 opened by kroening
December 31, 2024 14:01 2m 18s ieee_float_valuet
ieee_float_valuet
December 31, 2024 14:01 2m 18s
Compile Java regression test sources (3/n) CodeQL #6711: Pull request #8549 opened by peterschrammel
December 31, 2024 13:28 30m 14s peterschrammel:ps/compile-java-regression-test-sources3
peterschrammel:ps/compile-java-regression-test-sources3
December 31, 2024 13:28 30m 14s
Compile Java regression test sources (2/n) CodeQL #6710: Pull request #8548 synchronize by peterschrammel
December 31, 2024 13:13 30m 26s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 31, 2024 13:13 30m 26s
Compile Java regression test sources (2/n) CodeQL #6709: Pull request #8548 synchronize by peterschrammel
December 30, 2024 17:18 30m 23s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 30, 2024 17:18 30m 23s
Compile Java regression test sources (1/n) CodeQL #6708: Pull request #8487 synchronize by peterschrammel
December 30, 2024 16:28 30m 10s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
December 30, 2024 16:28 30m 10s
Compile Java regression test sources (2/n) CodeQL #6707: Pull request #8548 opened by peterschrammel
December 30, 2024 16:21 30m 1s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 30, 2024 16:21 30m 1s
Use cmake for cleaning in cmake job CodeQL #6706: Pull request #8547 opened by peterschrammel
December 30, 2024 16:01 30m 54s peterschrammel:ps/cmake-clean
peterschrammel:ps/cmake-clean
December 30, 2024 16:01 30m 54s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) CodeQL #6705: Pull request #8465 synchronize by yvizel
December 30, 2024 10:15 13m 58s yvizel:develop
yvizel:develop
December 30, 2024 10:15 13m 58s
Compile Java regression test sources (1/n) CodeQL #6704: Pull request #8487 synchronize by peterschrammel
December 28, 2024 15:22 29m 45s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
December 28, 2024 15:22 29m 45s
Enable IPO / LTO and -O3 CodeQL #6703: Pull request #8146 synchronize by rurban
December 28, 2024 09:45 31m 33s rurban:lto
rurban:lto
December 28, 2024 09:45 31m 33s
library-check: fixup missing __builtin_ffs check CodeQL #6702: Pull request #8145 synchronize by rurban
December 28, 2024 09:45 30m 31s rurban:ffs
rurban:ffs
December 28, 2024 09:45 30m 31s
goto-analyzer: --show-local-bitvector CodeQL #6701: Pull request #8546 synchronize by kroening
December 27, 2024 15:28 31m 30s show-local-bitvector
show-local-bitvector
December 27, 2024 15:28 31m 30s
SMT2: range_type fixes CodeQL #6700: Pull request #8537 synchronize by kroening
December 26, 2024 13:06 46m 3s smt2-range-fix
smt2-range-fix
December 26, 2024 13:06 46m 3s
goto-analyzer: --show-local-bitvector CodeQL #6699: Pull request #8546 synchronize by kroening
December 26, 2024 12:18 30m 23s show-local-bitvector
show-local-bitvector
December 26, 2024 12:18 30m 23s
goto-analyzer: --show-local-bitvector CodeQL #6698: Pull request #8546 opened by kroening
December 26, 2024 10:37 29m 49s show-local-bitvector
show-local-bitvector
December 26, 2024 10:37 29m 49s
uninitialized check CodeQL #6697: Pull request #8545 synchronize by kroening
December 26, 2024 10:26 30m 59s uninitialized-check
uninitialized-check
December 26, 2024 10:26 30m 59s