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,716 workflow runs
1,716 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
Mark move operations of irept, dstringt and memory_sizet noexcept Build Linux partially with CPROVER tools #10075: Pull request #9174 opened by kroening
14m 37s noexcept-move-irept
noexcept-move-irept
14m 37s
Fix GCC 16 warning-as-error build failures Build Linux partially with CPROVER tools #10074: Pull request #9024 synchronize by StudyingFather
3m 56s StudyingFather:g++16-warning-fix
StudyingFather:g++16-warning-fix
3m 56s
Fix GCC 16 warning-as-error build failures Build Linux partially with CPROVER tools #10073: Pull request #9024 synchronize by StudyingFather
Action required StudyingFather:g++16-warning-fix
StudyingFather:g++16-warning-fix
Action required
Fix GCC 16 warning-as-error build failures Build Linux partially with CPROVER tools #10072: Pull request #9024 synchronize by StudyingFather
5m 6s StudyingFather:g++16-warning-fix
StudyingFather:g++16-warning-fix
5m 6s
Add .lower() methods to reduction and replication expressions Build Linux partially with CPROVER tools #10071: Pull request #9123 synchronize by kroening
4m 29s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
4m 29s
Add .lower() methods to reduction and replication expressions Build Linux partially with CPROVER tools #10070: Pull request #9123 synchronize by kroening
4m 27s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
4m 27s
Add .lower() methods to reduction and replication expressions Build Linux partially with CPROVER tools #10069: Pull request #9123 synchronize by kroening
4m 33s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
4m 33s
Add .lower() methods to reduction and replication expressions Build Linux partially with CPROVER tools #10068: Pull request #9123 synchronize by kroening
4m 30s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
4m 30s
Add .lower() methods to reduction and replication expressions Build Linux partially with CPROVER tools #10067: Pull request #9123 synchronize by kroening
4m 56s kroening/bitvector-expr-lower-methods
kroening/bitvector-expr-lower-methods
4m 56s
Keep unconstrained string models compact Build Linux partially with CPROVER tools #10066: Pull request #9167 opened by lemmy
13m 34s lemmy:mku-gh9165
lemmy:mku-gh9165
13m 34s
Fix semantics of onehot0: at most one bit set Build Linux partially with CPROVER tools #10065: Pull request #9166 opened by tautschnig
14m 35s tautschnig:kiro/fix-onehot0
tautschnig:kiro/fix-onehot0
14m 35s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #10064: Pull request #8878 synchronize by tautschnig
5m 46s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
5m 46s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #10063: Pull request #8878 synchronize by tautschnig
5m 0s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
5m 0s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #10062: Pull request #8878 synchronize by tautschnig
7m 14s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
7m 14s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Linux partially with CPROVER tools #10061: Pull request #8878 synchronize by tautschnig
4m 20s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
4m 20s
DFCC: scope skipped inner-loop locals to their enclosing scope Build Linux partially with CPROVER tools #10060: Pull request #9164 opened by feliperodri
13m 16s feliperodri:dfcc-skipped-loop-callee-locals
feliperodri:dfcc-skipped-loop-callee-locals
13m 16s
C front-end: rewrite array size when refined from unknown to defined Build Linux partially with CPROVER tools #10059: Pull request #9163 synchronize by Th0rOnDoR
4m 56s Th0rOnDoR:develop
Th0rOnDoR:develop
4m 56s
C front-end: rewrite array size when refined from unknown to defined Build Linux partially with CPROVER tools #10058: Pull request #9163 opened by Th0rOnDoR
14m 53s Th0rOnDoR:develop
Th0rOnDoR:develop
14m 53s
Detect binder origins in SMT value definitions Build Linux partially with CPROVER tools #10057: Pull request #9162 opened by chaizhenhua
5m 10s chaizhenhua:fix/smt-binder-value-origin-20260910-upstream
chaizhenhua:fix/smt-binder-value-origin-20260910-upstream
5m 10s
Fix types of unavailable SMT array model values Build Linux partially with CPROVER tools #10056: Pull request #9161 opened by chaizhenhua
Action required chaizhenhua:fix/smt-typed-unknown-array-20260910-upstream
chaizhenhua:fix/smt-typed-unknown-array-20260910-upstream
Action required
Batch Z3 model value requests and validate responses Build Linux partially with CPROVER tools #10055: Pull request #9160 opened by chaizhenhua
4m 22s chaizhenhua:fix/smt-z3-model-batch-20260910-upstream
chaizhenhua:fix/smt-z3-model-batch-20260910-upstream
4m 22s
Fix SMT pointer type dependency discovery Build Linux partially with CPROVER tools #10054: Pull request #9159 opened by chaizhenhua
Action required chaizhenhua:fix/smt-pointer-type-dependencies-20260910-upstream
chaizhenhua:fix/smt-pointer-type-dependencies-20260910-upstream
Action required
Release CBMC 6.11.0 Build Linux partially with CPROVER tools #10053: Pull request #9157 opened by tautschnig
4m 23s tautschnig:release-6.11.0
tautschnig:release-6.11.0
4m 23s
use C++20 Build Linux partially with CPROVER tools #10052: Pull request #9156 synchronize by kroening
5m 3s c++20
c++20
5m 3s
use C++20 Build Linux partially with CPROVER tools #10051: Pull request #9156 synchronize by kroening
4m 33s c++20
c++20
4m 33s