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,160 workflow runs
1,160 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
Produce annotated pointer constants in incremental SMT2 traces Build Linux partially with CPROVER tools #9183: Pull request #8901 synchronize by tautschnig
3m 59s tautschnig:fix-8067-smt2-incr-trace-strings
tautschnig:fix-8067-smt2-incr-trace-strings
3m 59s
Add fp.min, fp.max Build Linux partially with CPROVER tools #9182: Pull request #8888 synchronize by tautschnig
4m 34s tautschnig:fp.min_max
tautschnig:fp.min_max
4m 34s
Make function pointer removal deterministic Build Linux partially with CPROVER tools #9181: Pull request #8952 opened by tautschnig
4m 28s tautschnig:deterministic-function-pointer-removal
tautschnig:deterministic-function-pointer-removal
4m 28s
Remove deprecated add_axioms_for_copy method Build Linux partially with CPROVER tools #9180: Pull request #8914 synchronize by tautschnig
14m 36s tautschnig:fix-8018-add_axioms_for_copy
tautschnig:fix-8018-add_axioms_for_copy
14m 36s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9179: Pull request #8878 synchronize by tautschnig
12m 30s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
12m 30s
Simplify all-zero or all-one constants in bitand/bitor Build Linux partially with CPROVER tools #9178: Pull request #8944 synchronize by tautschnig
4m 9s tautschnig:simplify/bitand-bitor-constants
tautschnig:simplify/bitand-bitor-constants
4m 9s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9177: Pull request #8878 synchronize by tautschnig
4m 29s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
4m 29s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9176: Pull request #8878 synchronize by tautschnig
4m 21s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
4m 21s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9175: Pull request #8878 synchronize by tautschnig
14m 41s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
14m 41s
Fix solver option conflict detection in CBMC Build Linux partially with CPROVER tools #9174: Pull request #8893 synchronize by tautschnig
14m 24s tautschnig:fix-8401-solver-selection
tautschnig:fix-8401-solver-selection
14m 24s
Cleanup fmod vs IEEE remainder Build Linux partially with CPROVER tools #9173: Pull request #7885 synchronize by tautschnig
14m 31s tautschnig:cleanup/floatbv-mod-rem
tautschnig:cleanup/floatbv-mod-rem
14m 31s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9172: Pull request #8878 synchronize by tautschnig
4m 23s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
4m 23s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9171: Pull request #8878 synchronize by tautschnig
32m 22s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
32m 22s
Prevent orphan child processes when CBMC parent is killed Build Linux partially with CPROVER tools #9170: Pull request #8900 synchronize by tautschnig
20m 21s tautschnig:fix-8485-orphan-process
tautschnig:fix-8485-orphan-process
20m 21s
Rewrite byte_extract from multi-dimensional array Build Linux partially with CPROVER tools #9169: Pull request #8705 synchronize by tautschnig
6m 37s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
6m 37s
Simplify (x * n) % n Build Linux partially with CPROVER tools #9168: Pull request #8947 synchronize by tautschnig
13m 12s tautschnig:simplify/mod-mult
tautschnig:simplify/mod-mult
13m 12s
Rewrite byte_extract from multi-dimensional array Build Linux partially with CPROVER tools #9167: Pull request #8705 synchronize by tautschnig
30m 10s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
30m 10s
Remove deprecated add_axioms_for_copy method Build Linux partially with CPROVER tools #9166: Pull request #8914 synchronize by tautschnig
17m 16s tautschnig:fix-8018-add_axioms_for_copy
tautschnig:fix-8018-add_axioms_for_copy
17m 16s
Warn when --outfile produces an empty formula Build Linux partially with CPROVER tools #9165: Pull request #8949 synchronize by tautschnig
4m 13s tautschnig:empty-outfile-warning
tautschnig:empty-outfile-warning
4m 13s
Simplify algebraic identities involving commutative operators Build Linux partially with CPROVER tools #9164: Pull request #8951 opened by tautschnig
4m 18s tautschnig:simplify-algebraic-identities
tautschnig:simplify-algebraic-identities
4m 18s
Decompose byte_extract from union through widest member Build Linux partially with CPROVER tools #9163: Pull request #8950 synchronize by tautschnig
4m 26s tautschnig:fix-8813-union-performance
tautschnig:fix-8813-union-performance
4m 26s
Fix solver option conflict detection in CBMC Build Linux partially with CPROVER tools #9162: Pull request #8893 synchronize by tautschnig
14m 13s tautschnig:fix-8401-solver-selection
tautschnig:fix-8401-solver-selection
14m 13s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9161: Pull request #8878 synchronize by tautschnig
4m 34s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
4m 34s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #9160: Pull request #8878 synchronize by tautschnig
12m 53s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
12m 53s
Experimenting with different adder implementations Build Linux partially with CPROVER tools #9159: Pull request #7993 synchronize by tautschnig
2h 6m 32s tautschnig:features/adder
tautschnig:features/adder
2h 6m 32s