Skip to content

Actions: diffblue/cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Solver factory: all solvers are stack_decision_proceduret Syntactic checks #2673: Pull request #8408 synchronize by tautschnig
August 20, 2024 08:23 2m 4s tautschnig:solver-factory-no-dynamic_cast
tautschnig:solver-factory-no-dynamic_cast
August 20, 2024 08:23 2m 4s
Library functions: mark them as compiled Syntactic checks #2672: Pull request #8412 synchronize by tautschnig
August 20, 2024 08:21 1m 32s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 20, 2024 08:21 1m 32s
Maintain loop invariant annotation when converting do .. while Syntactic checks #2671: Pull request #8417 synchronize by tautschnig
August 20, 2024 08:16 1m 24s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 08:16 1m 24s
Maintain loop invariant annotation when converting do .. while Syntactic checks #2670: Pull request #8417 synchronize by tautschnig
August 20, 2024 07:55 1m 35s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 07:55 1m 35s
Maintain loop invariant annotation when converting do .. while Syntactic checks #2669: Pull request #8417 synchronize by tautschnig
August 20, 2024 07:20 2m 43s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 07:20 2m 43s
CONTRACTS: redirect checks to outer write set for loops that get skipped Syntactic checks #2668: Pull request #8416 synchronize by remi-delmas-3000
August 19, 2024 20:02 1m 26s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 19, 2024 20:02 1m 26s
Maintain loop invariant annotation when converting do .. while Syntactic checks #2667: Pull request #8417 opened by tautschnig
August 19, 2024 19:04 1m 35s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 19, 2024 19:04 1m 35s
CONTRACTS: redirect checks to outer write set for loops that get skipped Syntactic checks #2666: Pull request #8416 synchronize by remi-delmas-3000
August 17, 2024 00:04 1m 42s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 17, 2024 00:04 1m 42s
CONTRACTS: redirect checks to outer write set for loops that get skipped Syntactic checks #2665: Pull request #8416 opened by remi-delmas-3000
August 16, 2024 23:07 1m 23s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 16, 2024 23:07 1m 23s
SMT2 parser with explicit stack Syntactic checks #2664: Pull request #8415 opened by kroening
August 15, 2024 00:10 1m 39s smt2_parser_with_stack
smt2_parser_with_stack
August 15, 2024 00:10 1m 39s
Contracts (DFCC) regression tests: use CaDiCaL Syntactic checks #2663: Pull request #8414 opened by tautschnig
August 14, 2024 10:54 1m 46s tautschnig:contracts-dfcc-cadical
tautschnig:contracts-dfcc-cadical
August 14, 2024 10:54 1m 46s
Library functions: mark them as compiled Syntactic checks #2662: Pull request #8412 synchronize by tautschnig
August 14, 2024 09:48 1m 24s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 14, 2024 09:48 1m 24s
Library functions: mark them as compiled Syntactic checks #2661: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:43 1m 27s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:43 1m 27s
Library functions: mark them as compiled Syntactic checks #2660: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:11 1m 42s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:11 1m 42s
Dynamic frames: do not add trivial properties Syntactic checks #2659: Pull request #8413 synchronize by tautschnig
August 13, 2024 15:36 1m 23s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:36 1m 23s
Dynamic frames: do not add trivial properties Syntactic checks #2658: Pull request #8413 opened by tautschnig
August 13, 2024 15:25 1m 27s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:25 1m 27s
Library functions: mark them as compiled Syntactic checks #2657: Pull request #8412 opened by tautschnig
August 13, 2024 15:21 1m 26s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 15:21 1m 26s
Solver factory: make_satcheck_prop does not require dynamic_cast Syntactic checks #2656: Pull request #8410 opened by tautschnig
August 7, 2024 11:06 1m 22s tautschnig:solver-factory-no-dynamic_cast3
tautschnig:solver-factory-no-dynamic_cast3
August 7, 2024 11:06 1m 22s
Solver factory: set_decision_procedure_time_limit does not require dynamic_cast Syntactic checks #2655: Pull request #8409 opened by tautschnig
August 7, 2024 10:26 1m 21s tautschnig:solver-factory-no-dynamic_cast2
tautschnig:solver-factory-no-dynamic_cast2
August 7, 2024 10:26 1m 21s
Solver factory: all solvers are stack_decision_proceduret Syntactic checks #2654: Pull request #8408 opened by tautschnig
August 7, 2024 09:57 1m 23s tautschnig:solver-factory-no-dynamic_cast
tautschnig:solver-factory-no-dynamic_cast
August 7, 2024 09:57 1m 23s
Remove Java's unnecessary languaget::parse peculiarity Syntactic checks #2653: Pull request #8407 opened by tautschnig
August 7, 2024 07:58 1m 25s tautschnig:java-no-dynamic_cast
tautschnig:java-no-dynamic_cast
August 7, 2024 07:58 1m 25s
Remove dynamic_cast from bv_dimacst Syntactic checks #2652: Pull request #8406 opened by tautschnig
August 6, 2024 20:27 1m 28s tautschnig:dimacs_cnft-no-dynamic_cast
tautschnig:dimacs_cnft-no-dynamic_cast
August 6, 2024 20:27 1m 28s
Remove uses of dynamic_cast from qualifierst hierarchy Syntactic checks #2651: Pull request #8405 synchronize by tautschnig
August 6, 2024 17:23 1m 56s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:23 1m 56s
Remove uses of dynamic_cast from qualifierst hierarchy Syntactic checks #2650: Pull request #8405 opened by tautschnig
August 6, 2024 17:21 1m 33s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:21 1m 33s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Syntactic checks #2649: Pull request #8404 opened by tautschnig
August 6, 2024 17:20 1m 31s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 6, 2024 17:20 1m 31s