Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,362 workflow runs
1,362 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
index_exprt now checks type of index operand Build and Test CBMC #12342: Pull request #7146 synchronize by tautschnig
4h 35m 10s index_precondition
index_precondition
4h 35m 10s
Use cmake for cleaning in cmake job Build and Test CBMC #12341: Pull request #8547 synchronize by tautschnig
4h 13m 22s peterschrammel:ps/cmake-clean
peterschrammel:ps/cmake-clean
4h 13m 22s
disallow flexible array members in unions Build and Test CBMC #12340: Pull request #7296 synchronize by tautschnig
3h 8m 57s union-flexible
union-flexible
3h 8m 57s
Compile Java regression test sources (5/n) Build and Test CBMC #12339: Pull request #8556 synchronize by tautschnig
3h 10m 26s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
3h 10m 26s
Compile Java regression test sources (5/n) Build and Test CBMC #12338: Pull request #8556 synchronize by tautschnig
2h 56m 17s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
2h 56m 17s
disallow flexible array members in unions Build and Test CBMC #12337: Pull request #7296 synchronize by tautschnig
2h 36m 17s union-flexible
union-flexible
2h 36m 17s
Use cmake for cleaning in cmake job Build and Test CBMC #12336: Pull request #8547 synchronize by tautschnig
1h 30m 46s peterschrammel:ps/cmake-clean
peterschrammel:ps/cmake-clean
1h 30m 46s
Compile Java regression test sources (5/n) Build and Test CBMC #12335: Pull request #8556 synchronize by tautschnig
25m 36s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
25m 36s
Compile Java regression test sources (5/n) Build and Test CBMC #12334: Pull request #8556 synchronize by tautschnig
20m 1s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
20m 1s
Merge pull request #8998 from diffblue/feature/1bit-signed-bv-compare Build and Test CBMC #12333: Commit 393c56d pushed by tautschnig
1h 23m 30s develop
develop
1h 23m 30s
Support 1-bit signed bitvectors in bv_utilst::lt_or_le Build and Test CBMC #12332: Pull request #8998 synchronize by kroening
2h 3m 53s feature/1bit-signed-bv-compare
feature/1bit-signed-bv-compare
2h 3m 53s
Merge pull request #8997 from diffblue/fix/no-unary-bv-concat-smt2 Build and Test CBMC #12331: Commit b875a22 pushed by kroening
2h 23m 3s develop
develop
2h 23m 3s
Support 1-bit signed bitvectors in bv_utilst::lt_or_le Build and Test CBMC #12330: Pull request #8998 opened by kroening
1h 48m 30s feature/1bit-signed-bv-compare
feature/1bit-signed-bv-compare
1h 48m 30s
SMT2: avoid emitting unary bitvector concat Build and Test CBMC #12329: Pull request #8997 synchronize by kroening
28m 20s fix/no-unary-bv-concat-smt2
fix/no-unary-bv-concat-smt2
28m 20s
SMT2: avoid emitting unary bitvector concat Build and Test CBMC #12328: Pull request #8997 synchronize by kroening
1h 33m 27s fix/no-unary-bv-concat-smt2
fix/no-unary-bv-concat-smt2
1h 33m 27s
SMT2: avoid emitting unary bitvector concat Build and Test CBMC #12327: Pull request #8997 synchronize by kroening
1h 10m 21s fix/no-unary-bv-concat-smt2
fix/no-unary-bv-concat-smt2
1h 10m 21s
SMT2: avoid emitting unary bitvector concat Build and Test CBMC #12326: Pull request #8997 synchronize by kroening
1h 15m 56s fix/no-unary-bv-concat-smt2
fix/no-unary-bv-concat-smt2
1h 15m 56s
SMT2: avoid emitting unary bitvector concat Build and Test CBMC #12325: Pull request #8997 opened by kroening
1h 25m 59s fix/no-unary-bv-concat-smt2
fix/no-unary-bv-concat-smt2
1h 25m 59s
Merge pull request #8964 from diffblue/smt2-reduction-operators Build and Test CBMC #12324: Commit 4993eb9 pushed by tautschnig
1h 38m 44s develop
develop
1h 38m 44s
Merge pull request #8968 from diffblue/bit-to-fp1 Build and Test CBMC #12323: Commit bd29015 pushed by tautschnig
1h 9m 53s develop
develop
1h 9m 53s
Add empty_namespacet for unit tests Build and Test CBMC #12322: Pull request #8996 synchronize by tautschnig
5h 28m 6s tautschnig:empty_namespacet
tautschnig:empty_namespacet
5h 28m 6s
float_utils: normalization shift for very short fractions Build and Test CBMC #12321: Pull request #8968 synchronize by tautschnig
5h 53m 52s bit-to-fp1
bit-to-fp1
5h 53m 52s
Add empty_namespacet for unit tests Build and Test CBMC #12320: Pull request #8996 synchronize by tautschnig
2h 34m 25s tautschnig:empty_namespacet
tautschnig:empty_namespacet
2h 34m 25s
Merge pull request #8995 from tautschnig/const-namespace Build and Test CBMC #12319: Commit 453c863 pushed by tautschnig
4h 22m 31s develop
develop
4h 22m 31s
SMT2 backend: reduction operators Build and Test CBMC #12318: Pull request #8964 synchronize by tautschnig
5h 18m 17s smt2-reduction-operators
smt2-reduction-operators
5h 18m 17s