Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update *BSD CI actions to the latest OS versions CodeQL #7319: Pull request #8719 synchronize by tautschnig
31m 0s tautschnig:bsd-actions
tautschnig:bsd-actions
31m 0s
Update *BSD CI actions to the latest OS versions CodeQL #7318: Pull request #8719 synchronize by tautschnig
32m 44s tautschnig:bsd-actions
tautschnig:bsd-actions
32m 44s
Update *BSD CI actions to the latest OS versions CodeQL #7317: Pull request #8719 synchronize by tautschnig
31m 26s tautschnig:bsd-actions
tautschnig:bsd-actions
31m 26s
Update *BSD CI actions to the latest OS versions CodeQL #7316: Pull request #8719 synchronize by tautschnig
30m 47s tautschnig:bsd-actions
tautschnig:bsd-actions
30m 47s
Update *BSD CI actions to the latest OS versions CodeQL #7315: Pull request #8719 synchronize by tautschnig
34m 8s tautschnig:bsd-actions
tautschnig:bsd-actions
34m 8s
Update *BSD CI actions to the latest OS versions CodeQL #7314: Pull request #8719 synchronize by tautschnig
37m 25s tautschnig:bsd-actions
tautschnig:bsd-actions
37m 25s
Update *BSD CI actions to the latest OS versions CodeQL #7313: Pull request #8719 opened by tautschnig
34m 30s tautschnig:bsd-actions
tautschnig:bsd-actions
34m 30s
Merge pull request #8717 from tautschnig/popcount-flattening CodeQL #7312: Commit 724f2f7 pushed by tautschnig
51m 25s develop
develop
51m 25s
Implement popcount in flattening back-end CodeQL #7311: Pull request #8717 synchronize by tautschnig
54m 24s tautschnig:popcount-flattening
tautschnig:popcount-flattening
54m 24s
Merge pull request #8718 from tautschnig/less-than-flattening CodeQL #7310: Commit 558ef2f pushed by tautschnig
51m 48s develop
develop
51m 48s
Merge pull request #8716 from tautschnig/use-sign_bit CodeQL #7309: Commit 4ed00e1 pushed by tautschnig
52m 20s develop
develop
52m 20s
Implement popcount in flattening back-end CodeQL #7308: Pull request #8717 synchronize by tautschnig
1h 3m 2s tautschnig:popcount-flattening
tautschnig:popcount-flattening
1h 3m 2s
Improve bv_utilst less-than-or-less-or-equals CodeQL #7307: Pull request #8718 opened by tautschnig
56m 45s tautschnig:less-than-flattening
tautschnig:less-than-flattening
56m 45s
Implement popcount in flattening back-end CodeQL #7306: Pull request #8717 opened by tautschnig
43m 25s tautschnig:popcount-flattening
tautschnig:popcount-flattening
43m 25s
Use bv_utilst::sign_bit CodeQL #7305: Pull request #8716 opened by tautschnig
34m 25s tautschnig:use-sign_bit
tautschnig:use-sign_bit
34m 25s
Higher radix multiplier encoding CodeQL #7304: Pull request #7991 synchronize by tautschnig
34m 36s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
34m 36s
Merge pull request #8715 from diffblue/dependabot/github_actions/gith… CodeQL #7303: Commit 46f9d54 pushed by tautschnig
51m 44s develop
develop
51m 44s
Bump github/codeql-action from 3 to 4 CodeQL #7302: Pull request #8715 opened by dependabot bot
31m 19s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
31m 19s
Merge pull request #8324 from tautschnig/bugfixes/mathematical-types CodeQL #7301: Commit 8896f3d pushed by tautschnig
51m 22s develop
develop
51m 22s
Fix support for mathematical types CodeQL #7300: Pull request #8324 synchronize by tautschnig
49m 47s tautschnig:bugfixes/mathematical-types
tautschnig:bugfixes/mathematical-types
49m 47s
Fix support for mathematical types CodeQL #7299: Pull request #8324 synchronize by tautschnig
51m 19s tautschnig:bugfixes/mathematical-types
tautschnig:bugfixes/mathematical-types
51m 19s
Fix support for mathematical types CodeQL #7298: Pull request #8324 synchronize by tautschnig
50m 4s tautschnig:bugfixes/mathematical-types
tautschnig:bugfixes/mathematical-types
50m 4s
Fix support for mathematical types CodeQL #7297: Pull request #8324 synchronize by tautschnig
50m 2s tautschnig:bugfixes/mathematical-types
tautschnig:bugfixes/mathematical-types
50m 2s
Fix support for mathematical types CodeQL #7296: Pull request #8324 synchronize by tautschnig
49m 49s tautschnig:bugfixes/mathematical-types
tautschnig:bugfixes/mathematical-types
49m 49s
Fix support for mathematical types CodeQL #7295: Pull request #8324 synchronize by tautschnig
53m 24s tautschnig:bugfixes/mathematical-types
tautschnig:bugfixes/mathematical-types
53m 24s