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

Merge pull request #8461 from tautschnig/fix-aarch64-va_list CodeQL #6468: Commit 0831d00 pushed by tautschnig
September 19, 2024 16:26 51m 43s develop
develop
September 19, 2024 16:26 51m 43s
C library: Apple does not adhere to aarch64 ABI CodeQL #6467: Pull request #8461 synchronize by tautschnig
September 19, 2024 15:34 29m 59s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 15:34 29m 59s
C library: Apple does not adhere to aarch64 ABI CodeQL #6466: Pull request #8461 opened by tautschnig
September 19, 2024 12:49 29m 52s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 12:49 29m 52s
Merge pull request #8460 from tautschnig/release-6.3.0 CodeQL #6465: Commit 5bd494a pushed by tautschnig
September 19, 2024 09:29 51m 22s develop
develop
September 19, 2024 09:29 51m 22s
Release CBMC 6.3.0 CodeQL #6464: Pull request #8460 opened by tautschnig
September 19, 2024 08:37 30m 3s tautschnig:release-6.3.0
tautschnig:release-6.3.0
September 19, 2024 08:37 30m 3s
Merge pull request #8366 from tautschnig/fix-8357-va_list CodeQL #6463: Commit 9e883f5 pushed by tautschnig
September 19, 2024 08:12 52m 2s develop
develop
September 19, 2024 08:12 52m 2s
C library: fix use of va_list for AARCH64 CodeQL #6462: Pull request #8366 synchronize by tautschnig
September 18, 2024 10:51 29m 6s tautschnig:fix-8357-va_list
tautschnig:fix-8357-va_list
September 18, 2024 10:51 29m 6s
Clarify usage of history variables in error messages CodeQL #6461: Pull request #8456 synchronize by qinheping
September 18, 2024 05:18 31m 18s qinheping:issues/8453
qinheping:issues/8453
September 18, 2024 05:18 31m 18s
Clarify usage of history variables in error messages CodeQL #6460: Pull request #8456 synchronize by qinheping
September 17, 2024 23:28 30m 42s qinheping:issues/8453
qinheping:issues/8453
September 17, 2024 23:28 30m 42s
Merge pull request #8458 from tautschnig/loop-invariants-conjunction-… CodeQL #6459: Commit d87b506 pushed by tautschnig
September 17, 2024 21:04 51m 20s develop
develop
September 17, 2024 21:04 51m 20s
Contracts/DFCC: split conjunctions in loop invariants CodeQL #6458: Pull request #8458 synchronize by tautschnig
September 17, 2024 18:42 32m 23s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 18:42 32m 23s
Merge pull request #8459 from tautschnig/contracts-remove-do-while-0 CodeQL #6457: Commit f68cf8c pushed by tautschnig
September 17, 2024 17:33 54m 15s develop
develop
September 17, 2024 17:33 54m 15s
Merge pull request #8457 from diffblue/format_expr_bv_constant CodeQL #6456: Commit 46c1b0f pushed by kroening
September 17, 2024 13:42 53m 4s develop
develop
September 17, 2024 13:42 53m 4s
Contracts: always remove spurious do {... } while(0) loops CodeQL #6455: Pull request #8459 synchronize by tautschnig
September 17, 2024 13:23 49m 15s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 13:23 49m 15s
Contracts: always remove spurious do {... } while(0) loops CodeQL #6454: Pull request #8459 opened by tautschnig
September 17, 2024 12:59 50m 5s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 12:59 50m 5s
Contracts/DFCC: split conjunctions in loop invariants CodeQL #6453: Pull request #8458 opened by tautschnig
September 17, 2024 11:50 48m 16s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 11:50 48m 16s
format_expr now prints bv-typed constants CodeQL #6452: Pull request #8457 synchronize by kroening
September 16, 2024 23:55 48m 8s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 23:55 48m 8s
format_expr now prints bv-typed constants CodeQL #6451: Pull request #8457 opened by kroening
September 16, 2024 22:50 48m 2s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 22:50 48m 2s
Clarify usage of history variables in error messages CodeQL #6450: Pull request #8456 synchronize by qinheping
September 16, 2024 01:24 48m 5s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:24 48m 5s
Clarify usage of history variables in error messages CodeQL #6449: Pull request #8456 synchronize by qinheping
September 16, 2024 01:21 46m 49s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:21 46m 49s
Clarify usage of history variables in error messages CodeQL #6448: Pull request #8456 synchronize by qinheping
September 13, 2024 19:51 29m 58s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:51 29m 58s
Clarify usage of history variables in error messages CodeQL #6447: Pull request #8456 synchronize by qinheping
September 13, 2024 19:45 31m 0s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:45 31m 0s
Clarify usage of history variables in error messages CodeQL #6446: Pull request #8456 opened by qinheping
September 13, 2024 19:40 29m 47s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:40 29m 47s
Merge pull request #8449 from tautschnig/use-boolean_negate CodeQL #6445: Commit 5002f3b pushed by tautschnig
September 13, 2024 16:34 53m 30s develop
develop
September 13, 2024 16:34 53m 30s
Mark constant_exprt::value_is_zero_string protected CodeQL #6444: Pull request #8455 opened by tautschnig
September 13, 2024 15:49 2m 3s tautschnig:protect-value_is_zero_string
tautschnig:protect-value_is_zero_string
September 13, 2024 15:49 2m 3s