Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify pointer casts of pointer arithmetic CodeQL #7597: Pull request #8836 opened by tautschnig
50m 51s tautschnig:simp-tc-pointer-arith
tautschnig:simp-tc-pointer-arith
50m 51s
Add SARIF output support via --sarif-ui option CodeQL #7596: Pull request #8835 opened by tautschnig
48m 58s tautschnig:sarif-ui
tautschnig:sarif-ui
48m 58s
SMT-LIB2: shifts with wider shift distances CodeQL #7595: Pull request #8834 synchronize by kroening
50m 36s smt2-shift
smt2-shift
50m 36s
SMT-LIB2: shifts with wider shift distances CodeQL #7594: Pull request #8834 synchronize by kroening
51m 41s smt2-shift
smt2-shift
51m 41s
SMT-LIB2: shifts with wider shift distances CodeQL #7593: Pull request #8834 synchronize by kroening
17m 50s smt2-shift
smt2-shift
17m 50s
SMT-LIB2: shifts with wider shift distances CodeQL #7592: Pull request #8834 synchronize by kroening
51m 2s smt2-shift
smt2-shift
51m 2s
SMT-LIB2: shifts with wider shift distances CodeQL #7591: Pull request #8834 synchronize by kroening
31m 43s smt2-shift
smt2-shift
31m 43s
SMT-LIB2: shifts with wider shift distances CodeQL #7590: Pull request #8834 opened by kroening
30m 57s smt2-shift
smt2-shift
30m 57s
Merge pull request #8833 from diffblue/boolbv-power CodeQL #7589: Commit 15eb10a pushed by tautschnig
51m 41s develop
develop
51m 41s
use power_exprt in boolbvt CodeQL #7588: Pull request #8833 opened by kroening
52m 20s boolbv-power
boolbv-power
52m 20s
fix SMT-LIB2 nor CodeQL #7587: Pull request #8832 opened by kroening
50m 55s smt-lib-nor-fix
smt-lib-nor-fix
50m 55s
Fix NetBSD and FreeBSD CI jobs CodeQL #7586: Pull request #8825 synchronize by tautschnig
50m 44s tautschnig:netbsd-ci
tautschnig:netbsd-ci
50m 44s
Fix SMT2 output determinism by using ordered maps CodeQL #7585: Pull request #8830 synchronize by tautschnig
50m 50s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
50m 50s
Fix SMT2 output determinism by using ordered maps CodeQL #7584: Pull request #8830 synchronize by tautschnig
48m 36s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
48m 36s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) CodeQL #7583: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Fix SMT2 output determinism by using ordered maps CodeQL #7582: Pull request #8830 synchronize by tautschnig
34m 4s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
34m 4s
Merge pull request #8736 from tautschnig/cadical-2.2.0 CodeQL #7581: Commit 74fd5bd pushed by tautschnig
53m 6s develop
develop
53m 6s
Merge pull request #8831 from diffblue/std_expr_cleanup CodeQL #7580: Commit af0b511 pushed by tautschnig
49m 59s develop
develop
49m 59s
std_expr.h: use exprt::check consistently CodeQL #7579: Pull request #8831 synchronize by kroening
51m 1s std_expr_cleanup
std_expr_cleanup
51m 1s
std_expr.h: use exprt::check consistently CodeQL #7578: Pull request #8831 opened by kroening
50m 19s std_expr_cleanup
std_expr_cleanup
50m 19s
Fix SMT2 output determinism by using ordered maps CodeQL #7577: Pull request #8830 synchronize by tautschnig
50m 29s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
50m 29s
Fix SMT2 output determinism by using ordered maps CodeQL #7576: Pull request #8830 synchronize by tautschnig
58m 57s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
58m 57s
Fix SMT2 output determinism by using ordered maps CodeQL #7575: Pull request #8830 synchronize by tautschnig
50m 54s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
50m 54s
Fix SMT2 output determinism by using ordered maps CodeQL #7574: Pull request #8830 synchronize by tautschnig
31m 42s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
31m 42s
Fix SMT2 output determinism by using ordered maps CodeQL #7573: Pull request #8830 synchronize by tautschnig
33m 1s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
33m 1s