Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
819 workflow runs
819 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pre_traversal range for expressions Build Linux partially with CPROVER tools #8580: Pull request #8819 opened by kroening
5m 0s const_depth_iterator_range_adaptert
const_depth_iterator_range_adaptert
5m 0s
Update CaDiCaL from 2.0.0 to 3.0.0 Build Linux partially with CPROVER tools #8579: Pull request #8736 synchronize by tautschnig
4m 21s tautschnig:cadical-2.2.0
tautschnig:cadical-2.2.0
4m 21s
Update CaDiCaL from 2.0.0 to 3.0.0 Build Linux partially with CPROVER tools #8578: Pull request #8736 synchronize by tautschnig
4m 20s tautschnig:cadical-2.2.0
tautschnig:cadical-2.2.0
4m 20s
Update CaDiCaL from 2.0.0 to 3.0.0 Build Linux partially with CPROVER tools #8577: Pull request #8736 synchronize by tautschnig
4m 20s tautschnig:cadical-2.2.0
tautschnig:cadical-2.2.0
4m 20s
Refine symex pointer unsoundness Build Linux partially with CPROVER tools #8576: Pull request #8780 synchronize by tautschnig
5m 37s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
5m 37s
CONTRACTS: make ptr_pred_ctx_reset_call call reset instead of init Build Linux partially with CPROVER tools #8575: Pull request #8817 synchronize by tautschnig
4m 20s remi-delmas-3000:remi-delmas-3000-pointer-predicate-context-reset
remi-delmas-3000:remi-delmas-3000-pointer-predicate-context-reset
4m 20s
CONTRACTS: make ptr_pred_ctx_reset_call call reset instead of init Build Linux partially with CPROVER tools #8574: Pull request #8817 synchronize by tautschnig
4m 30s remi-delmas-3000:remi-delmas-3000-pointer-predicate-context-reset
remi-delmas-3000:remi-delmas-3000-pointer-predicate-context-reset
4m 30s
CONTRACTS: make ptr_pred_ctx_reset_call call reset instead of init Build Linux partially with CPROVER tools #8573: Pull request #8817 opened by remi-delmas-3000
4m 36s remi-delmas-3000:remi-delmas-3000-pointer-predicate-context-reset
remi-delmas-3000:remi-delmas-3000-pointer-predicate-context-reset
4m 36s
Hash-based loop identifiers Build Linux partially with CPROVER tools #8572: Pull request #8816 synchronize by tautschnig
4m 35s tautschnig:loop-hashing
tautschnig:loop-hashing
4m 35s
Hash-based loop identifiers Build Linux partially with CPROVER tools #8571: Pull request #8816 opened by tautschnig
14m 33s tautschnig:loop-hashing
tautschnig:loop-hashing
14m 33s
Remove numeric suffixes and combine directories in regression/cbmc-library Build Linux partially with CPROVER tools #8570: Pull request #8815 synchronize by tautschnig
4m 30s tautschnig:cbmc-library-no-suffix
tautschnig:cbmc-library-no-suffix
4m 30s
Remove numeric suffixes and combine directories in regression/cbmc-library Build Linux partially with CPROVER tools #8569: Pull request #8815 synchronize by tautschnig
4m 27s tautschnig:cbmc-library-no-suffix
tautschnig:cbmc-library-no-suffix
4m 27s
Remove numeric suffixes and combine directories in regression/cbmc-library Build Linux partially with CPROVER tools #8568: Pull request #8815 synchronize by tautschnig
4m 43s tautschnig:cbmc-library-no-suffix
tautschnig:cbmc-library-no-suffix
4m 43s
Remove numeric suffixes and combine directories in regression/cbmc-library Build Linux partially with CPROVER tools #8567: Pull request #8815 synchronize by tautschnig
4m 29s tautschnig:cbmc-library-no-suffix
tautschnig:cbmc-library-no-suffix
4m 29s
Remove numeric suffixes and combine directories in regression/cbmc-library Build Linux partially with CPROVER tools #8566: Pull request #8815 opened by tautschnig
4m 17s tautschnig:cbmc-library-no-suffix
tautschnig:cbmc-library-no-suffix
4m 17s
Quantifier instantiation via simplistic E-matching Build Linux partially with CPROVER tools #8565: Pull request #8224 synchronize by tautschnig
4m 46s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
4m 46s
Quantifier instantiation via simplistic E-matching Build Linux partially with CPROVER tools #8564: Pull request #8224 synchronize by tautschnig
4m 28s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
4m 28s
Bump actions/upload-artifact from 5 to 6 Build Linux partially with CPROVER tools #8563: Pull request #8810 opened by dependabot bot
4m 14s dependabot/github_actions/actions/upload-artifact-6
dependabot/github_actions/actions/upload-artifact-6
4m 14s
Bump actions/cache from 4 to 5 Build Linux partially with CPROVER tools #8562: Pull request #8809 opened by dependabot bot
4m 11s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
4m 11s
constructors for multi-ary expressions with operand type Build Linux partially with CPROVER tools #8561: Pull request #8808 opened by kroening
12m 11s multi-ary-constructors
multi-ary-constructors
12m 11s
Flattening backend: further cases for casts to range types Build Linux partially with CPROVER tools #8560: Pull request #8807 synchronize by tautschnig
4m 19s flattening-to-range
flattening-to-range
4m 19s
Flattening backend: further cases for casts to range types Build Linux partially with CPROVER tools #8559: Pull request #8807 opened by kroening
4m 16s flattening-to-range
flattening-to-range
4m 16s
Rewrite byte_extract from multi-dimensional array Build Linux partially with CPROVER tools #8558: Pull request #8705 synchronize by tautschnig
4m 25s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
4m 25s
Rewrite byte_extract from multi-dimensional array Build Linux partially with CPROVER tools #8557: Pull request #8705 synchronize by tautschnig
5m 17s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
5m 17s
Rewrite byte_extract from multi-dimensional array Build Linux partially with CPROVER tools #8556: Pull request #8705 synchronize by tautschnig
4m 21s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
4m 21s