Skip to content

Actions: diffblue/cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
syntax-checks.yaml
1,380 workflow runs
1,380 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixup #8538 -- correct rounding modes for floor, trunc Syntactic checks #3149: Pull request #8597 synchronize by kroening
February 20, 2025 14:43 1m 31s fixup-8538
fixup-8538
February 20, 2025 14:43 1m 31s
fixup #8538 -- correct rounding modes for floor, trunc Syntactic checks #3148: Pull request #8597 synchronize by kroening
February 20, 2025 14:40 1m 36s fixup-8538
fixup-8538
February 20, 2025 14:40 1m 36s
fixup #8538 -- correct rounding modes for floor, trunc Syntactic checks #3147: Pull request #8597 synchronize by kroening
February 20, 2025 14:02 1m 49s fixup-8538
fixup-8538
February 20, 2025 14:02 1m 49s
fixup #8538 -- correct rounding modes for floor, trunc Syntactic checks #3146: Pull request #8597 synchronize by kroening
February 20, 2025 10:31 1m 34s fixup-8538
fixup-8538
February 20, 2025 10:31 1m 34s
fixup #8538 -- correct rounding modes for floor, trunc Syntactic checks #3145: Pull request #8597 synchronize by kroening
February 20, 2025 10:29 1m 41s fixup-8538
fixup-8538
February 20, 2025 10:29 1m 41s
fixup #8538 -- correct rounding modes for floor, trunc Syntactic checks #3144: Pull request #8597 opened by kroening
February 19, 2025 22:10 1m 40s fixup-8538
fixup-8538
February 19, 2025 22:10 1m 40s
line number for files with no newline Syntactic checks #3143: Pull request #8558 synchronize by kroening
February 19, 2025 17:38 2m 12s parser_line_no
parser_line_no
February 19, 2025 17:38 2m 12s
Remove set but not used variables Syntactic checks #3142: Pull request #8595 opened by mgudemann
February 18, 2025 13:56 1m 40s mgudemann:fix/remove_set_but_unused_variables
mgudemann:fix/remove_set_but_unused_variables
February 18, 2025 13:56 1m 40s
line number for files with no newline Syntactic checks #3141: Pull request #8558 synchronize by kroening
February 18, 2025 10:53 1m 31s parser_line_no
parser_line_no
February 18, 2025 10:53 1m 31s
simplify: rewrite bitxnor on booleans to equal Syntactic checks #3140: Pull request #8594 opened by kroening
February 17, 2025 16:59 1m 36s simplify-bitxnor2
simplify-bitxnor2
February 17, 2025 16:59 1m 36s
Introduce floatbv_round_to_integral_exprt Syntactic checks #3139: Pull request #8538 synchronize by kroening
February 15, 2025 17:26 1m 30s round_to_integral
round_to_integral
February 15, 2025 17:26 1m 30s
Introduce floatbv_round_to_integral_exprt Syntactic checks #3138: Pull request #8538 synchronize by kroening
February 15, 2025 17:21 1m 28s round_to_integral
round_to_integral
February 15, 2025 17:21 1m 28s
uninitialized check Syntactic checks #3137: Pull request #8545 synchronize by kroening
February 13, 2025 16:44 1m 46s uninitialized-check
uninitialized-check
February 13, 2025 16:44 1m 46s
line number for files with no newline Syntactic checks #3136: Pull request #8558 synchronize by kroening
February 11, 2025 20:14 1m 29s parser_line_no
parser_line_no
February 11, 2025 20:14 1m 29s
Introduce floatbv_round_to_integral_exprt Syntactic checks #3135: Pull request #8538 synchronize by kroening
February 11, 2025 19:28 1m 44s round_to_integral
round_to_integral
February 11, 2025 19:28 1m 44s
Introduce floatbv_round_to_integral_exprt Syntactic checks #3134: Pull request #8538 synchronize by kroening
February 11, 2025 19:23 1m 34s round_to_integral
round_to_integral
February 11, 2025 19:23 1m 34s
Introduce floatbv_round_to_integral_exprt Syntactic checks #3133: Pull request #8538 synchronize by kroening
February 11, 2025 16:15 1m 43s round_to_integral
round_to_integral
February 11, 2025 16:15 1m 43s
Introduce floatbv_round_to_integral_exprt Syntactic checks #3132: Pull request #8538 synchronize by kroening
February 11, 2025 16:13 1m 45s round_to_integral
round_to_integral
February 11, 2025 16:13 1m 45s
Remove namespace_baset::follow(typet) Syntactic checks #3131: Pull request #8590 synchronize by kroening
February 11, 2025 15:33 2m 39s remove-namespace_baset-follow
remove-namespace_baset-follow
February 11, 2025 15:33 2m 39s
Introduce floatbv_round_to_integral_exprt Syntactic checks #3130: Pull request #8538 synchronize by kroening
February 11, 2025 13:27 11m 1s round_to_integral
round_to_integral
February 11, 2025 13:27 11m 1s
bump clang-format to clang-15 Syntactic checks #3129: Pull request #8561 synchronize by kroening
February 11, 2025 13:16 1m 30s bump-clang-format
bump-clang-format
February 11, 2025 13:16 1m 30s
Remove namespace_baset::follow(typet) Syntactic checks #3128: Pull request #8590 synchronize by kroening
February 11, 2025 13:14 1m 25s remove-namespace_baset-follow
remove-namespace_baset-follow
February 11, 2025 13:14 1m 25s
line number for files with no newline Syntactic checks #3127: Pull request #8558 synchronize by kroening
February 11, 2025 11:46 24m 24s parser_line_no
parser_line_no
February 11, 2025 11:46 24m 24s
Remove namespace_baset::follow(typet) Syntactic checks #3126: Pull request #8590 opened by kroening
February 11, 2025 11:38 13m 40s remove-namespace_baset-follow
remove-namespace_baset-follow
February 11, 2025 11:38 13m 40s
Add IEEE 754 TiesToAway rounding mode Syntactic checks #3125: Pull request #8515 synchronize by kroening
February 11, 2025 11:29 12m 53s TiesToAway
TiesToAway
February 11, 2025 11:29 12m 53s