Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
2,073 workflow runs
2,073 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

zero extension expression CodeQL #6494: Pull request #8442 synchronize by kroening
October 3, 2024 00:32 47m 13s zero_extend
zero_extend
October 3, 2024 00:32 47m 13s
Clarify usage of history variables in error messages CodeQL #6493: Pull request #8456 reopened by qinheping
October 2, 2024 14:26 30m 2s qinheping:issues/8453
qinheping:issues/8453
October 2, 2024 14:26 30m 2s
Merge pull request #8477 from diffblue/bitvector_width_biginteger CodeQL #6492: Commit 83922b2 pushed by kroening
September 29, 2024 20:08 52m 35s develop
develop
September 29, 2024 20:08 52m 35s
bitvector_typet: set width from mp_integer CodeQL #6491: Pull request #8477 synchronize by kroening
September 28, 2024 17:25 46m 3s bitvector_width_biginteger
bitvector_width_biginteger
September 28, 2024 17:25 46m 3s
bitvector_typet: set width from mp_integer CodeQL #6490: Pull request #8477 opened by kroening
September 27, 2024 23:11 11m 42s bitvector_width_biginteger
bitvector_width_biginteger
September 27, 2024 23:11 11m 42s
Merge pull request #8470 from tautschnig/loop_entry-arrays CodeQL #6489: Commit 4bd5c0a pushed by tautschnig
September 27, 2024 20:36 51m 11s develop
develop
September 27, 2024 20:36 51m 11s
Merge pull request #8473 from diffblue/format-range_typet CodeQL #6488: Commit bcda5a9 pushed by kroening
September 26, 2024 12:36 52m 14s develop
develop
September 26, 2024 12:36 52m 14s
format_type can now format range_typet CodeQL #6487: Pull request #8473 synchronize by kroening
September 25, 2024 17:39 29m 3s format-range_typet
format-range_typet
September 25, 2024 17:39 29m 3s
format_type can now format range_typet CodeQL #6486: Pull request #8473 opened by kroening
September 25, 2024 14:20 12m 28s format-range_typet
format-range_typet
September 25, 2024 14:20 12m 28s
Merge pull request #8471 from tautschnig/loops-man-pages CodeQL #6485: Commit 4c59d28 pushed by kroening
September 25, 2024 13:59 52m 32s develop
develop
September 25, 2024 13:59 52m 32s
Man pages: improve wording of unwinding-related options CodeQL #6484: Pull request #8471 synchronize by tautschnig
September 25, 2024 12:42 30m 28s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 25, 2024 12:42 30m 28s
Reword documentation of __CPROVER_{r,w,rw}_ok CodeQL #6483: Pull request #8472 opened by tautschnig
September 25, 2024 11:36 32m 5s tautschnig:rw_ok-documentation
tautschnig:rw_ok-documentation
September 25, 2024 11:36 32m 5s
Man pages: improve wording of unwinding-related options CodeQL #6482: Pull request #8471 opened by tautschnig
September 24, 2024 21:45 30m 23s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 24, 2024 21:45 30m 23s
Contracts: document use of __CPROVER_loop_entry with arrays CodeQL #6481: Pull request #8470 opened by tautschnig
September 24, 2024 20:36 29m 41s tautschnig:loop_entry-arrays
tautschnig:loop_entry-arrays
September 24, 2024 20:36 29m 41s
Remove infinity_exprt CodeQL #6480: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:18 52m 39s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:18 52m 39s
Remove infinity_exprt CodeQL #6479: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:14 47m 57s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:14 47m 57s
Remove infinity_exprt CodeQL #6478: Pull request #8469 opened by tautschnig
September 24, 2024 14:05 48m 31s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:05 48m 31s
Re-enable array theory as default for array size above threshold CodeQL #6477: Pull request #8468 opened by tautschnig
September 24, 2024 12:48 32m 33s tautschnig:arrays-uf-auto-default
tautschnig:arrays-uf-auto-default
September 24, 2024 12:48 32m 33s
SMT2: implement cond CodeQL #6476: Pull request #8467 opened by kroening
September 23, 2024 18:56 47m 14s smt2-cond
smt2-cond
September 23, 2024 18:56 47m 14s
Merge pull request #8466 from diffblue/smt2-range CodeQL #6475: Commit a209b44 pushed by kroening
September 23, 2024 17:42 52m 14s develop
develop
September 23, 2024 17:42 52m 14s
SMT2: implement range type CodeQL #6474: Pull request #8466 opened by kroening
September 22, 2024 13:47 48m 11s smt2-range
smt2-range
September 22, 2024 13:47 48m 11s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) CodeQL #6473: Pull request #8465 opened by yvizel
September 22, 2024 12:19 15m 47s yvizel:develop
yvizel:develop
September 22, 2024 12:19 15m 47s
C library: fix build on FreeBSD CodeQL #6471: Pull request #8463 opened by melak
September 21, 2024 19:23 Action required melak:fbsd-build-fix
melak:fbsd-build-fix
September 21, 2024 19:23 Action required
Merge pull request #8462 from tautschnig/release-6.3.1 CodeQL #6470: Commit d2b4455 pushed by tautschnig
September 19, 2024 18:45 50m 58s develop
develop
September 19, 2024 18:45 50m 58s
Release CBMC 6.3.1 CodeQL #6469: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 29m 34s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 29m 34s