Skip to content

Actions: diffblue/cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove qualifierst Syntactic checks #2679: Pull request #8419 synchronize by tautschnig
August 20, 2024 10:56 4m 57s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:56 4m 57s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Syntactic checks #2678: Pull request #8404 synchronize by tautschnig
August 20, 2024 10:54 1m 24s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 20, 2024 10:54 1m 24s
Remove qualifierst Syntactic checks #2677: Pull request #8419 opened by tautschnig
August 20, 2024 10:52 1m 27s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:52 1m 27s
jbmc, janalyzer: Remove unnecessary dynamic_cast Syntactic checks #2676: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:57 1m 54s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:57 1m 54s
jbmc, janalyzer: Remove unnecessary dynamic_cast Syntactic checks #2675: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:28 1m 42s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:28 1m 42s
jbmc, janalyzer: Remove unnecessary dynamic_cast Syntactic checks #2674: Pull request #8418 opened by tautschnig
August 20, 2024 09:19 2m 54s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:19 2m 54s
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