Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
960 workflow runs
960 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8551 from diffblue/ieee_floatt-protect-rounding_mode CodeQL #6717: Commit 6dc6dd5 pushed by kroening
50m 7s develop
develop
50m 7s
ieee_floatt::one(...) CodeQL #6716: Pull request #8552 synchronize by kroening
15m 7s ieee_floatt_one
ieee_floatt_one
15m 7s
ieee_floatt::one(...) CodeQL #6715: Pull request #8552 opened by kroening
15m 20s ieee_floatt_one
ieee_floatt_one
15m 20s
Split ieee_floatt into ieee_float_valuet and ieee_floatt CodeQL #6714: Pull request #8550 synchronize by kroening
34m 20s ieee_float_valuet
ieee_float_valuet
34m 20s
protect ieee_floatt::rounding_mode CodeQL #6713: Pull request #8551 opened by kroening
34m 2s ieee_floatt-protect-rounding_mode
ieee_floatt-protect-rounding_mode
34m 2s
Split ieee_floatt into ieee_float_valuet and ieee_floatt CodeQL #6712: Pull request #8550 opened by kroening
2m 18s ieee_float_valuet
ieee_float_valuet
2m 18s
Compile Java regression test sources (3/n) CodeQL #6711: Pull request #8549 opened by peterschrammel
30m 14s peterschrammel:ps/compile-java-regression-test-sources3
peterschrammel:ps/compile-java-regression-test-sources3
30m 14s
Compile Java regression test sources (2/n) CodeQL #6710: Pull request #8548 synchronize by peterschrammel
30m 26s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
30m 26s
Compile Java regression test sources (2/n) CodeQL #6709: Pull request #8548 synchronize by peterschrammel
30m 23s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
30m 23s
Compile Java regression test sources (1/n) CodeQL #6708: Pull request #8487 synchronize by peterschrammel
30m 10s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
30m 10s
Compile Java regression test sources (2/n) CodeQL #6707: Pull request #8548 opened by peterschrammel
30m 1s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
30m 1s
Use cmake for cleaning in cmake job CodeQL #6706: Pull request #8547 opened by peterschrammel
30m 54s peterschrammel:ps/cmake-clean
peterschrammel:ps/cmake-clean
30m 54s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) CodeQL #6705: Pull request #8465 synchronize by yvizel
13m 58s yvizel:develop
yvizel:develop
13m 58s
Compile Java regression test sources (1/n) CodeQL #6704: Pull request #8487 synchronize by peterschrammel
29m 45s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
29m 45s
Enable IPO / LTO and -O3 CodeQL #6703: Pull request #8146 synchronize by rurban
31m 33s rurban:lto
rurban:lto
31m 33s
library-check: fixup missing __builtin_ffs check CodeQL #6702: Pull request #8145 synchronize by rurban
30m 31s rurban:ffs
rurban:ffs
30m 31s
goto-analyzer: --show-local-bitvector CodeQL #6701: Pull request #8546 synchronize by kroening
31m 30s show-local-bitvector
show-local-bitvector
31m 30s
SMT2: range_type fixes CodeQL #6700: Pull request #8537 synchronize by kroening
46m 3s smt2-range-fix
smt2-range-fix
46m 3s
goto-analyzer: --show-local-bitvector CodeQL #6699: Pull request #8546 synchronize by kroening
30m 23s show-local-bitvector
show-local-bitvector
30m 23s
goto-analyzer: --show-local-bitvector CodeQL #6698: Pull request #8546 opened by kroening
29m 49s show-local-bitvector
show-local-bitvector
29m 49s
uninitialized check CodeQL #6697: Pull request #8545 synchronize by kroening
30m 59s uninitialized-check
uninitialized-check
30m 59s
uninitialized check CodeQL #6696: Pull request #8545 synchronize by kroening
30m 47s uninitialized-check
uninitialized-check
30m 47s
Merge pull request #8544 from diffblue/goto-check-c-is-assigned CodeQL #6695: Commit f9a7807 pushed by kroening
49m 34s develop
develop
49m 34s
fix enum-range check for LHSs CodeQL #6694: Pull request #8544 synchronize by kroening
30m 15s goto-check-c-is-assigned
goto-check-c-is-assigned
30m 15s
Merge pull request #8543 from diffblue/enum_lhs CodeQL #6693: Commit b71084c pushed by tautschnig
49m 52s develop
develop
49m 52s
ProTip! You can narrow down the results and go further in time using created:<2024-12-25 or the other filters available.