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 #8438 from tautschnig/fix-8436-conversion CodeQL #6418: Commit d67648a pushed by tautschnig
September 5, 2024 14:49 54m 48s develop
develop
September 5, 2024 14:49 54m 48s
Merge pull request #8441 from diffblue/zero_expr CodeQL #6417: Commit 71ee177 pushed by kroening
September 5, 2024 14:10 51m 57s develop
develop
September 5, 2024 14:10 51m 57s
zero extension expression CodeQL #6416: Pull request #8442 synchronize by kroening
September 5, 2024 13:54 48m 20s zero_extend
zero_extend
September 5, 2024 13:54 48m 20s
zero extension expression CodeQL #6415: Pull request #8442 synchronize by kroening
September 5, 2024 13:52 47m 6s zero_extend
zero_extend
September 5, 2024 13:52 47m 6s
Fix Python syntax error in doxygen markdown preprocessor CodeQL #6414: Pull request #8440 synchronize by tautschnig
September 5, 2024 12:50 50m 39s tautschnig:fix-python-syntax-error
tautschnig:fix-python-syntax-error
September 5, 2024 12:50 50m 39s
zero extension expression CodeQL #6413: Pull request #8442 synchronize by kroening
September 5, 2024 12:38 1h 8m 35s zero_extend
zero_extend
September 5, 2024 12:38 1h 8m 35s
introduce zero_expr() and one_expr() for number types CodeQL #6412: Pull request #8441 synchronize by kroening
September 5, 2024 12:37 46m 44s zero_expr
zero_expr
September 5, 2024 12:37 46m 44s
Fix Alpine's assert-statement conversion special case CodeQL #6411: Pull request #8438 synchronize by tautschnig
September 5, 2024 12:36 33m 11s tautschnig:fix-8436-conversion
tautschnig:fix-8436-conversion
September 5, 2024 12:36 33m 11s
Merge pull request #8430 from tautschnig/no-bound-var-rewrite CodeQL #6410: Commit dd54106 pushed by tautschnig
September 5, 2024 12:35 51m 59s develop
develop
September 5, 2024 12:35 51m 59s
Merge pull request #8435 from tautschnig/debug-cmake-fail CodeQL #6409: Commit faf92c5 pushed by tautschnig
September 5, 2024 12:33 51m 31s develop
develop
September 5, 2024 12:33 51m 31s
zero extension expression CodeQL #6408: Pull request #8442 synchronize by kroening
September 5, 2024 10:30 48m 20s zero_extend
zero_extend
September 5, 2024 10:30 48m 20s
zero extension expression CodeQL #6407: Pull request #8442 synchronize by kroening
September 5, 2024 09:28 47m 21s zero_extend
zero_extend
September 5, 2024 09:28 47m 21s
zero extension expression CodeQL #6406: Pull request #8442 opened by kroening
September 5, 2024 09:25 47m 33s zero_extend
zero_extend
September 5, 2024 09:25 47m 33s
introduce zero_expr() and one_expr() for number types CodeQL #6405: Pull request #8441 opened by kroening
September 5, 2024 09:05 34m 47s zero_expr
zero_expr
September 5, 2024 09:05 34m 47s
Fix Python syntax error in doxygen markdown preprocessor CodeQL #6404: Pull request #8440 opened by tautschnig
September 4, 2024 12:12 30m 58s tautschnig:fix-python-syntax-error
tautschnig:fix-python-syntax-error
September 4, 2024 12:12 30m 58s
goto-symex: move level1 map to goto_statet CodeQL #6403: Pull request #8439 opened by tautschnig
September 3, 2024 20:28 32m 39s tautschnig:fix-8437-level1-merge
tautschnig:fix-8437-level1-merge
September 3, 2024 20:28 32m 39s
Fix Alpine's assert-statement conversion special case CodeQL #6402: Pull request #8438 opened by tautschnig
September 3, 2024 18:12 29m 35s tautschnig:fix-8436-conversion
tautschnig:fix-8436-conversion
September 3, 2024 18:12 29m 35s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6401: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:52 30m 12s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:52 30m 12s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6400: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:35 30m 27s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:35 30m 27s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6399: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:26 30m 16s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:26 30m 16s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6398: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:15 30m 42s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:15 30m 42s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6397: Pull request #8435 synchronize by tautschnig
September 3, 2024 12:08 30m 53s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 12:08 30m 53s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6396: Pull request #8435 synchronize by tautschnig
September 3, 2024 11:58 31m 12s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 11:58 31m 12s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6395: Pull request #8435 synchronize by tautschnig
September 3, 2024 11:18 29m 57s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 11:18 29m 57s
Do not define project(CBMC ...) twice to fix CMake failures CodeQL #6394: Pull request #8435 synchronize by tautschnig
September 3, 2024 10:13 29m 56s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 10:13 29m 56s