Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix SMT2 output determinism by using ordered maps CodeQL #7572: Pull request #8830 opened by tautschnig
33m 31s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
33m 31s
Merge pull request #8829 from diffblue/smt2-zero-width-concat CodeQL #7571: Commit 0b937eb pushed by kroening
55m 14s develop
develop
55m 14s
Merge pull request #8828 from diffblue/smt2-identity-typecast CodeQL #7570: Commit 36570bf pushed by kroening
52m 2s develop
develop
52m 2s
SMT2: concatenations with zero-width operands CodeQL #7569: Pull request #8829 opened by kroening
33m 23s smt2-zero-width-concat
smt2-zero-width-concat
33m 23s
SMT2: typecasts to the source type CodeQL #7568: Pull request #8828 synchronize by kroening
37m 14s smt2-identity-typecast
smt2-identity-typecast
37m 14s
SMT2: typecasts to the source type CodeQL #7567: Pull request #8828 opened by kroening
32m 33s smt2-identity-typecast
smt2-identity-typecast
32m 33s
Merge pull request #8827 from tautschnig/cnf-methods-public CodeQL #7566: Commit 05c2649 pushed by kroening
51m 41s develop
develop
51m 41s
Make cnft::gate_* methods public CodeQL #7565: Pull request #8827 opened by tautschnig
32m 9s tautschnig:cnf-methods-public
tautschnig:cnf-methods-public
32m 9s
Merge pull request #8826 from tautschnig/add-agents.md CodeQL #7564: Commit 221bca1 pushed by tautschnig
51m 30s develop
develop
51m 30s
Merge pull request #8823 from diffblue/deprecate-case_exprt CodeQL #7563: Commit 7ebf557 pushed by tautschnig
1h 15m 47s develop
develop
1h 15m 47s
Add AGENTS.md to guide AI coding assistants CodeQL #7562: Pull request #8826 synchronize by tautschnig
1h 22m 29s tautschnig:add-agents.md
tautschnig:add-agents.md
1h 22m 29s
Add AGENTS.md to guide AI coding assistants CodeQL #7561: Pull request #8826 synchronize by tautschnig
50m 28s tautschnig:add-agents.md
tautschnig:add-agents.md
50m 28s
Add AGENTS.md to guide AI coding assistants CodeQL #7560: Pull request #8826 opened by tautschnig
51m 33s tautschnig:add-agents.md
tautschnig:add-agents.md
51m 33s
Fix NetBSD CI job CodeQL #7559: Pull request #8825 synchronize by tautschnig
50m 4s tautschnig:netbsd-ci
tautschnig:netbsd-ci
50m 4s
Fix NetBSD CI job CodeQL #7558: Pull request #8825 opened by tautschnig
50m 43s tautschnig:netbsd-ci
tautschnig:netbsd-ci
50m 43s
symbol_exprt C++-style API CodeQL #7557: Pull request #8824 synchronize by kroening
51m 17s symbol_exprt_cleanup
symbol_exprt_cleanup
51m 17s
symbol_exprt C++-style API CodeQL #7556: Pull request #8824 synchronize by kroening
34m 39s symbol_exprt_cleanup
symbol_exprt_cleanup
34m 39s
symbol_exprt C++-style API CodeQL #7555: Pull request #8824 synchronize by kroening
52m 37s symbol_exprt_cleanup
symbol_exprt_cleanup
52m 37s
symbol_exprt C++-style API CodeQL #7554: Pull request #8824 opened by kroening
50m 16s symbol_exprt_cleanup
symbol_exprt_cleanup
50m 16s
Deprecate case_exprt CodeQL #7553: Pull request #8823 synchronize by kroening
48m 53s deprecate-case_exprt
deprecate-case_exprt
48m 53s
Deprecate case_exprt CodeQL #7552: Pull request #8823 opened by kroening
49m 59s deprecate-case_exprt
deprecate-case_exprt
49m 59s
Merge pull request #8822 from diffblue/post_depth_iterator CodeQL #7551: Commit 844c8e6 pushed by tautschnig
52m 38s develop
develop
52m 38s
post-order traversal range for expressions CodeQL #7550: Pull request #8822 synchronize by kroening
50m 39s post_depth_iterator
post_depth_iterator
50m 39s
post-order traversal range for expressions CodeQL #7549: Pull request #8822 opened by kroening
50m 29s post_depth_iterator
post_depth_iterator
50m 29s
Merge pull request #8765 from tautschnig/fix-727-better-oom-handling CodeQL #7548: Commit 35fbe06 pushed by tautschnig
51m 52s develop
develop
51m 52s