Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,186 workflow runs
1,186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Operator equals CodeQL #7171: Pull request #8675 synchronize by tautschnig
July 6, 2025 10:41 In progress tautschnig:operator-equals
tautschnig:operator-equals
July 6, 2025 10:41 In progress
Operator equals CodeQL #7170: Pull request #8675 opened by tautschnig
July 5, 2025 18:36 50m 3s tautschnig:operator-equals
tautschnig:operator-equals
July 5, 2025 18:36 50m 3s
Restrict with_exprt to exactly three operands CodeQL #7169: Pull request #8674 synchronize by tautschnig
July 5, 2025 17:23 50m 26s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 17:23 50m 26s
Restrict with_exprt to exactly three operands CodeQL #7168: Pull request #8674 synchronize by tautschnig
July 5, 2025 15:37 48m 45s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 15:37 48m 45s
Restrict with_exprt to exactly three operands CodeQL #7167: Pull request #8674 synchronize by tautschnig
July 5, 2025 11:23 49m 32s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 11:23 49m 32s
Restrict with_exprt to exactly three operands CodeQL #7166: Pull request #8674 opened by tautschnig
July 5, 2025 11:00 49m 46s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 11:00 49m 46s
Support C17, C23 standards with goto-cc CodeQL #7165: Pull request #8673 synchronize by tautschnig
July 5, 2025 09:27 48m 42s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 5, 2025 09:27 48m 42s
Support C17, C23 standards with goto-cc CodeQL #7164: Pull request #8673 synchronize by tautschnig
July 5, 2025 00:13 48m 14s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 5, 2025 00:13 48m 14s
Support C17, C23 standards with goto-cc CodeQL #7163: Pull request #8673 opened by tautschnig
July 4, 2025 23:27 49m 33s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 4, 2025 23:27 49m 33s
C library: Refine and improve stdio models CodeQL #7162: Pull request #8043 synchronize by tautschnig
July 4, 2025 21:41 48m 46s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 21:41 48m 46s
C library: Refine and improve stdio models CodeQL #7161: Pull request #8043 synchronize by tautschnig
July 4, 2025 20:18 49m 34s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 20:18 49m 34s
C library: Refine and improve stdio models CodeQL #7160: Pull request #8043 synchronize by tautschnig
July 4, 2025 20:01 48m 48s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 20:01 48m 48s
Higher radix multiplier encoding CodeQL #7159: Pull request #7991 synchronize by tautschnig
July 3, 2025 09:45 10m 18s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
July 3, 2025 09:45 10m 18s
SMT2 back-end: flatten with_exprt operands CodeQL #7158: Pull request #8670 synchronize by tautschnig
July 2, 2025 11:49 30m 48s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:49 30m 48s
SMT2 back-end: flatten with_exprt operands CodeQL #7157: Pull request #8670 opened by tautschnig
July 2, 2025 11:43 30m 42s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:43 30m 42s
Merge pull request #8665 from tautschnig/remove-is_null_pointer CodeQL #7156: Commit 48490fb pushed by kroening
June 30, 2025 10:02 49m 59s develop
develop
June 30, 2025 10:02 49m 59s
Stop using GNU parallel on windows-2022 runner CodeQL #7155: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 29m 28s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 29m 28s
Stop using GNU parallel on windows-2022 runner CodeQL #7154: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 29m 45s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 29m 45s
Stop using GNU parallel on windows-2022 runner CodeQL #7153: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 30m 55s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 30m 55s
Stop using GNU parallel on windows-2022 runner CodeQL #7152: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 29m 53s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 29m 53s
Merge pull request #8666 from tautschnig/remove-make_with_expr CodeQL #7151: Commit 4cc3f54 pushed by kroening
June 27, 2025 04:53 48m 10s develop
develop
June 27, 2025 04:53 48m 10s
Fix support for with_exprt with more than 3 operands CodeQL #7150: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 29m 57s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 29m 57s
Merge pull request #8667 from tautschnig/release-6.7.0 CodeQL #7149: Commit 5d1438a pushed by tautschnig
June 26, 2025 11:52 49m 2s develop
develop
June 26, 2025 11:52 49m 2s
Release CBMC 6.7.0 CodeQL #7148: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 29m 58s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 29m 58s
Release CBMC 6.7.0 CodeQL #7147: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 29m 54s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 29m 54s