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
1,173 workflow runs
1,173 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Cleanup fmod vs IEEE remainder Build Linux partially with CPROVER tools #9147: Pull request #7885 synchronize by tautschnig
1h 43m 2s tautschnig:cleanup/floatbv-mod-rem
tautschnig:cleanup/floatbv-mod-rem
1h 43m 2s
Prevent orphan child processes when CBMC parent is killed Build Linux partially with CPROVER tools #9146: Pull request #8900 synchronize by tautschnig
1h 26m 46s tautschnig:fix-8485-orphan-process
tautschnig:fix-8485-orphan-process
1h 26m 46s
Implement incremental symex with periodic and concurrent SAT solving Build Linux partially with CPROVER tools #9145: Pull request #8941 synchronize by tautschnig
2h 9m 43s tautschnig:incremental-symex
tautschnig:incremental-symex
2h 9m 43s
Rewrite byte_extract from multi-dimensional array Build Linux partially with CPROVER tools #9144: Pull request #8705 synchronize by tautschnig
1h 32m 44s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
1h 32m 44s
Connect let-bound arrays to originals in array theory Build Linux partially with CPROVER tools #9143: Pull request #8942 synchronize by tautschnig
1h 21m 24s tautschnig:let-bound-arrays
tautschnig:let-bound-arrays
1h 21m 24s
Simplify shifts of concatenations Build Linux partially with CPROVER tools #9142: Pull request #8948 opened by tautschnig
1h 23m 25s tautschnig:simplify/shift-concat
tautschnig:simplify/shift-concat
1h 23m 25s
Simplify (x * n) % n Build Linux partially with CPROVER tools #9141: Pull request #8947 opened by tautschnig
37m 42s tautschnig:simplify/mod-mult
tautschnig:simplify/mod-mult
37m 42s
Simplify more cases of extractbits over concatenation Build Linux partially with CPROVER tools #9140: Pull request #8946 opened by tautschnig
41m 30s tautschnig:simplify/extractbits-concat
tautschnig:simplify/extractbits-concat
41m 30s
Simplify bitwise operations over concatenation and a constant Build Linux partially with CPROVER tools #9139: Pull request #8945 opened by tautschnig
26m 11s tautschnig:simplify/bitwise-concat-constant
tautschnig:simplify/bitwise-concat-constant
26m 11s
Simplify all-zero or all-one constants in bitand/bitor Build Linux partially with CPROVER tools #9138: Pull request #8944 opened by tautschnig
51m 51s tautschnig:simplify/bitand-bitor-constants
tautschnig:simplify/bitand-bitor-constants
51m 51s
Simplify (T1)(T2)x over integer bitvector types where T1 and x have the same type Build Linux partially with CPROVER tools #9137: Pull request #8943 opened by tautschnig
14m 27s tautschnig:simplify/typecast-roundtrip
tautschnig:simplify/typecast-roundtrip
14m 27s
Connect let-bound arrays to originals in array theory Build Linux partially with CPROVER tools #9136: Pull request #8942 opened by tautschnig
14m 37s tautschnig:let-bound-arrays
tautschnig:let-bound-arrays
14m 37s
Implement incremental symex with periodic and concurrent SAT solving Build Linux partially with CPROVER tools #9135: Pull request #8941 synchronize by tautschnig
14m 37s tautschnig:incremental-symex
tautschnig:incremental-symex
14m 37s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9134: Pull request #8878 synchronize by tautschnig
14m 57s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
14m 57s
Prevent orphan child processes when CBMC parent is killed Build Linux partially with CPROVER tools #9133: Pull request #8900 synchronize by tautschnig
15m 5s tautschnig:fix-8485-orphan-process
tautschnig:fix-8485-orphan-process
15m 5s
Add floating point support to incremental SMT2 solver via bit-blasting Build Linux partially with CPROVER tools #9132: Pull request #8922 synchronize by tautschnig
21m 20s tautschnig:fix-8054-smt2-incr-floating-point
tautschnig:fix-8054-smt2-incr-floating-point
21m 20s
Implement builtin bitwise intrinsics in SMT2 incremental decision procedure Build Linux partially with CPROVER tools #9131: Pull request #8923 synchronize by tautschnig
29m 19s tautschnig:fix-8055-smt2-incr-bitwise
tautschnig:fix-8055-smt2-incr-bitwise
29m 19s
Fix auto-objects and make rw_ok assumptions create proper backing objects Build Linux partially with CPROVER tools #9130: Pull request #7177 synchronize by tautschnig
35m 48s tautschnig:feature/auto-objects
tautschnig:feature/auto-objects
35m 48s
Implement incremental symex with periodic and concurrent SAT solving Build Linux partially with CPROVER tools #9129: Pull request #8941 synchronize by tautschnig
28m 42s tautschnig:incremental-symex
tautschnig:incremental-symex
28m 42s
Cleanup fmod vs IEEE remainder Build Linux partially with CPROVER tools #9128: Pull request #7885 synchronize by tautschnig
24m 34s tautschnig:cleanup/floatbv-mod-rem
tautschnig:cleanup/floatbv-mod-rem
24m 34s
Add floating point support to incremental SMT2 solver via bit-blasting Build Linux partially with CPROVER tools #9127: Pull request #8922 synchronize by tautschnig
14m 27s tautschnig:fix-8054-smt2-incr-floating-point
tautschnig:fix-8054-smt2-incr-floating-point
14m 27s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9126: Pull request #8878 synchronize by tautschnig
16m 23s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
16m 23s
Prevent orphan child processes when CBMC parent is killed Build Linux partially with CPROVER tools #9125: Pull request #8900 synchronize by tautschnig
14m 38s tautschnig:fix-8485-orphan-process
tautschnig:fix-8485-orphan-process
14m 38s
Prevent orphan child processes when CBMC parent is killed Build Linux partially with CPROVER tools #9124: Pull request #8900 synchronize by tautschnig
14m 42s tautschnig:fix-8485-orphan-process
tautschnig:fix-8485-orphan-process
14m 42s
Add floating point support to incremental SMT2 solver via bit-blasting Build Linux partially with CPROVER tools #9123: Pull request #8922 synchronize by tautschnig
16m 0s tautschnig:fix-8054-smt2-incr-floating-point
tautschnig:fix-8054-smt2-incr-floating-point
16m 0s