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
807 workflow runs
807 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SARIF output support via --sarif-ui option Build Linux partially with CPROVER tools #8618: Pull request #8835 opened by tautschnig
14m 20s tautschnig:sarif-ui
tautschnig:sarif-ui
14m 20s
SMT-LIB2: shifts with wider shift distances Build Linux partially with CPROVER tools #8617: Pull request #8834 synchronize by kroening
4m 42s smt2-shift
smt2-shift
4m 42s
SMT-LIB2: shifts with wider shift distances Build Linux partially with CPROVER tools #8616: Pull request #8834 synchronize by kroening
5m 21s smt2-shift
smt2-shift
5m 21s
SMT-LIB2: shifts with wider shift distances Build Linux partially with CPROVER tools #8615: Pull request #8834 synchronize by kroening
4m 20s smt2-shift
smt2-shift
4m 20s
SMT-LIB2: shifts with wider shift distances Build Linux partially with CPROVER tools #8614: Pull request #8834 synchronize by kroening
4m 32s smt2-shift
smt2-shift
4m 32s
SMT-LIB2: shifts with wider shift distances Build Linux partially with CPROVER tools #8613: Pull request #8834 opened by kroening
4m 28s smt2-shift
smt2-shift
4m 28s
use power_exprt in boolbvt Build Linux partially with CPROVER tools #8612: Pull request #8833 opened by kroening
14m 22s boolbv-power
boolbv-power
14m 22s
fix SMT-LIB2 nor Build Linux partially with CPROVER tools #8611: Pull request #8832 opened by kroening
14m 14s smt-lib-nor-fix
smt-lib-nor-fix
14m 14s
Fix NetBSD and FreeBSD CI jobs Build Linux partially with CPROVER tools #8610: Pull request #8825 synchronize by tautschnig
14m 1s tautschnig:netbsd-ci
tautschnig:netbsd-ci
14m 1s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8609: Pull request #8830 synchronize by tautschnig
4m 13s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
4m 13s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8608: Pull request #8830 synchronize by tautschnig
4m 13s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
4m 13s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build Linux partially with CPROVER tools #8607: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8606: Pull request #8830 synchronize by tautschnig
5m 34s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
5m 34s
std_expr.h: use exprt::check consistently Build Linux partially with CPROVER tools #8605: Pull request #8831 synchronize by kroening
13m 2s std_expr_cleanup
std_expr_cleanup
13m 2s
std_expr.h: use exprt::check consistently Build Linux partially with CPROVER tools #8604: Pull request #8831 opened by kroening
12m 33s std_expr_cleanup
std_expr_cleanup
12m 33s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8603: Pull request #8830 synchronize by tautschnig
4m 10s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
4m 10s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8602: Pull request #8830 synchronize by tautschnig
4m 10s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
4m 10s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8601: Pull request #8830 synchronize by tautschnig
5m 36s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
5m 36s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8600: Pull request #8830 synchronize by tautschnig
4m 9s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
4m 9s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8599: Pull request #8830 synchronize by tautschnig
4m 20s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
4m 20s
Fix SMT2 output determinism by using ordered maps Build Linux partially with CPROVER tools #8598: Pull request #8830 opened by tautschnig
4m 59s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
4m 59s
SMT2: concatenations with zero-width operands Build Linux partially with CPROVER tools #8597: Pull request #8829 opened by kroening
4m 19s smt2-zero-width-concat
smt2-zero-width-concat
4m 19s
SMT2: typecasts to the source type Build Linux partially with CPROVER tools #8596: Pull request #8828 synchronize by kroening
4m 43s smt2-identity-typecast
smt2-identity-typecast
4m 43s
SMT2: typecasts to the source type Build Linux partially with CPROVER tools #8595: Pull request #8828 opened by kroening
4m 34s smt2-identity-typecast
smt2-identity-typecast
4m 34s
Make cnft::gate_* methods public Build Linux partially with CPROVER tools #8594: Pull request #8827 opened by tautschnig
4m 39s tautschnig:cnf-methods-public
tautschnig:cnf-methods-public
4m 39s