Skip to content

Actions: diffblue/cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Syntactic checks #2773: Pull request #8465 opened by yvizel
September 22, 2024 12:19 Action required yvizel:develop
yvizel:develop
September 22, 2024 12:19 Action required
C library: fix build on FreeBSD Syntactic checks #2771: Pull request #8463 opened by melak
September 21, 2024 19:23 Action required melak:fbsd-build-fix
melak:fbsd-build-fix
September 21, 2024 19:23 Action required
Release CBMC 6.3.1 Syntactic checks #2770: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 1m 20s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 1m 20s
C library: Apple does not adhere to aarch64 ABI Syntactic checks #2769: Pull request #8461 synchronize by tautschnig
September 19, 2024 15:34 1m 23s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 15:34 1m 23s
C library: Apple does not adhere to aarch64 ABI Syntactic checks #2768: Pull request #8461 opened by tautschnig
September 19, 2024 12:49 1m 27s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 12:49 1m 27s
Release CBMC 6.3.0 Syntactic checks #2767: Pull request #8460 opened by tautschnig
September 19, 2024 08:37 1m 29s tautschnig:release-6.3.0
tautschnig:release-6.3.0
September 19, 2024 08:37 1m 29s
C library: fix use of va_list for AARCH64 Syntactic checks #2766: Pull request #8366 synchronize by tautschnig
September 18, 2024 10:51 1m 27s tautschnig:fix-8357-va_list
tautschnig:fix-8357-va_list
September 18, 2024 10:51 1m 27s
Clarify usage of history variables in error messages Syntactic checks #2765: Pull request #8456 synchronize by qinheping
September 18, 2024 05:18 1m 28s qinheping:issues/8453
qinheping:issues/8453
September 18, 2024 05:18 1m 28s
Clarify usage of history variables in error messages Syntactic checks #2764: Pull request #8456 synchronize by qinheping
September 17, 2024 23:28 1m 22s qinheping:issues/8453
qinheping:issues/8453
September 17, 2024 23:28 1m 22s
Contracts/DFCC: split conjunctions in loop invariants Syntactic checks #2763: Pull request #8458 synchronize by tautschnig
September 17, 2024 18:42 1m 25s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 18:42 1m 25s
Contracts: always remove spurious do {... } while(0) loops Syntactic checks #2762: Pull request #8459 synchronize by tautschnig
September 17, 2024 13:23 1m 29s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 13:23 1m 29s
Contracts: always remove spurious do {... } while(0) loops Syntactic checks #2761: Pull request #8459 opened by tautschnig
September 17, 2024 12:59 1m 40s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 12:59 1m 40s
Contracts/DFCC: split conjunctions in loop invariants Syntactic checks #2760: Pull request #8458 opened by tautschnig
September 17, 2024 11:50 1m 25s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 11:50 1m 25s
format_expr now prints bv-typed constants Syntactic checks #2759: Pull request #8457 synchronize by kroening
September 16, 2024 23:55 1m 51s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 23:55 1m 51s
format_expr now prints bv-typed constants Syntactic checks #2758: Pull request #8457 opened by kroening
September 16, 2024 22:50 1m 21s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 22:50 1m 21s
Clarify usage of history variables in error messages Syntactic checks #2757: Pull request #8456 synchronize by qinheping
September 16, 2024 01:24 1m 19s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:24 1m 19s
Clarify usage of history variables in error messages Syntactic checks #2756: Pull request #8456 synchronize by qinheping
September 16, 2024 01:21 1m 22s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:21 1m 22s
Clarify usage of history variables in error messages Syntactic checks #2755: Pull request #8456 synchronize by qinheping
September 13, 2024 19:51 1m 17s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:51 1m 17s
Clarify usage of history variables in error messages Syntactic checks #2754: Pull request #8456 synchronize by qinheping
September 13, 2024 19:45 1m 20s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:45 1m 20s
Clarify usage of history variables in error messages Syntactic checks #2753: Pull request #8456 opened by qinheping
September 13, 2024 19:40 1m 25s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:40 1m 25s
Mark constant_exprt::value_is_zero_string protected Syntactic checks #2752: Pull request #8455 opened by tautschnig
September 13, 2024 15:49 2m 12s tautschnig:protect-value_is_zero_string
tautschnig:protect-value_is_zero_string
September 13, 2024 15:49 2m 12s
Deprecate make_and in favour of conjunction(expr, expr) Syntactic checks #2751: Pull request #8450 synchronize by tautschnig
September 13, 2024 15:31 3m 38s tautschnig:no-make_and
tautschnig:no-make_and
September 13, 2024 15:31 3m 38s
Use boolean_negate for immediate simplification Syntactic checks #2750: Pull request #8449 synchronize by tautschnig
September 13, 2024 15:27 1m 33s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 15:27 1m 33s
C front-end: fix processing of alignment and packing attributes Syntactic checks #2749: Pull request #8454 opened by tautschnig
September 13, 2024 15:26 1m 29s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
September 13, 2024 15:26 1m 29s
Use boolean_negate for immediate simplification Syntactic checks #2748: Pull request #8449 synchronize by tautschnig
September 13, 2024 12:21 1m 36s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 12:21 1m 36s