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

Extend expr_initializer to support byte-wise initialization CodeQL #4407: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 1h 15m 44s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 1h 15m 44s
Extend expr_initializer to support byte-wise initialization CodeQL #4406: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 1h 3m 22s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 1h 3m 22s
Add missing cleanup CodeQL #4405: Pull request #7798 synchronize by tautschnig
July 18, 2023 18:35 1h 27m 26s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 18:35 1h 27m 26s
Enable all struct tests under regression/cbmc/ for new SMT backend CodeQL #4404: Pull request #7809 synchronize by NlightNFotis
July 18, 2023 14:05 1h 4m 58s NlightNFotis:address_of_field
NlightNFotis:address_of_field
July 18, 2023 14:05 1h 4m 58s
Merge pull request #7808 from thomasspriggs/tas/smt_string_literals CodeQL #4403: Commit eb20424 pushed by thomasspriggs
July 18, 2023 13:40 1h 10m 45s develop
develop
July 18, 2023 13:40 1h 10m 45s
Add string literal support to incremental SMT decision procedure CodeQL #4402: Pull request #7808 synchronize by thomasspriggs
July 18, 2023 11:18 1h 3m 23s thomasspriggs:tas/smt_string_literals
thomasspriggs:tas/smt_string_literals
July 18, 2023 11:18 1h 3m 23s
Add missing cleanup CodeQL #4401: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:29 1h 3m 17s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:29 1h 3m 17s
Add missing cleanup CodeQL #4400: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:14 1h 2m 33s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:14 1h 2m 33s
Add missing cleanup CodeQL #4399: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:45 1h 8m 49s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:45 1h 8m 49s
Add missing cleanup CodeQL #4398: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:33 1h 8m 28s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:33 1h 8m 28s
Add missing cleanup CodeQL #4397: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:16 1h 14m 2s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:16 1h 14m 2s
Add missing cleanup CodeQL #4396: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:59 1h 3m 15s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:59 1h 3m 15s
Add missing cleanup CodeQL #4395: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:46 1h 18m 51s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:46 1h 18m 51s
Add missing cleanup CodeQL #4394: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:40 19m 23s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:40 19m 23s
Enable all struct tests under regression/cbmc/ for new SMT backend CodeQL #4393: Pull request #7809 opened by NlightNFotis
July 17, 2023 09:54 1h 5m 32s NlightNFotis:address_of_field
NlightNFotis:address_of_field
July 17, 2023 09:54 1h 5m 32s
Add missing cleanup CodeQL #4392: Pull request #7798 synchronize by tautschnig
July 17, 2023 07:04 17m 26s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 07:04 17m 26s
Add missing cleanup CodeQL #4391: Pull request #7798 synchronize by tautschnig
July 17, 2023 06:39 1h 16m 36s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 06:39 1h 16m 36s
Add missing cleanup CodeQL #4390: Pull request #7798 synchronize by tautschnig
July 17, 2023 06:20 1h 2m 53s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 06:20 1h 2m 53s
Add missing cleanup CodeQL #4389: Pull request #7798 synchronize by tautschnig
July 17, 2023 06:11 1h 7m 7s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 06:11 1h 7m 7s
Add string literal support to incremental SMT decision procedure CodeQL #4387: Pull request #7808 opened by thomasspriggs
July 14, 2023 18:22 46m 58s thomasspriggs:tas/smt_string_literals
thomasspriggs:tas/smt_string_literals
July 14, 2023 18:22 46m 58s
Merge pull request #7787 from thomasspriggs/tas/smt_struct_with_member CodeQL #4386: Commit cafe331 pushed by thomasspriggs
July 13, 2023 10:27 1h 10m 21s develop
develop
July 13, 2023 10:27 1h 10m 21s
Merge pull request #7788 from qinheping/features/goto-level-loop-cont… CodeQL #4385: Commit ba0c1bb pushed by qinheping
July 13, 2023 08:29 1h 24m 32s develop
develop
July 13, 2023 08:29 1h 24m 32s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4384: Pull request #7788 synchronize by qinheping
July 13, 2023 06:41 1h 29m 21s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 13, 2023 06:41 1h 29m 21s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4383: Pull request #7788 synchronize by qinheping
July 12, 2023 21:04 1h 25m 58s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 12, 2023 21:04 1h 25m 58s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4382: Pull request #7788 synchronize by qinheping
July 12, 2023 21:02 1h 15m 39s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 12, 2023 21:02 1h 15m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-07-12 or the other filters available.