Skip to content

Actions: diffblue/cbmc

Actions

Build and Test on *BSD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bsd.yaml
959 workflow runs
959 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SARIF output support via --sarif-ui option Build and Test on *BSD #2330: Pull request #8835 opened by tautschnig
51m 59s tautschnig:sarif-ui
tautschnig:sarif-ui
51m 59s
SMT-LIB2: shifts with wider shift distances Build and Test on *BSD #2329: Pull request #8834 synchronize by kroening
8m 8s smt2-shift
smt2-shift
8m 8s
SMT-LIB2: shifts with wider shift distances Build and Test on *BSD #2328: Pull request #8834 synchronize by kroening
15m 20s smt2-shift
smt2-shift
15m 20s
SMT-LIB2: shifts with wider shift distances Build and Test on *BSD #2327: Pull request #8834 synchronize by kroening
5m 29s smt2-shift
smt2-shift
5m 29s
SMT-LIB2: shifts with wider shift distances Build and Test on *BSD #2326: Pull request #8834 synchronize by kroening
12m 53s smt2-shift
smt2-shift
12m 53s
SMT-LIB2: shifts with wider shift distances Build and Test on *BSD #2325: Pull request #8834 synchronize by kroening
7m 50s smt2-shift
smt2-shift
7m 50s
SMT-LIB2: shifts with wider shift distances Build and Test on *BSD #2324: Pull request #8834 opened by kroening
8m 11s smt2-shift
smt2-shift
8m 11s
Merge pull request #8833 from diffblue/boolbv-power Build and Test on *BSD #2323: Commit 15eb10a pushed by tautschnig
54m 31s develop
develop
54m 31s
use power_exprt in boolbvt Build and Test on *BSD #2322: Pull request #8833 opened by kroening
46m 17s boolbv-power
boolbv-power
46m 17s
fix SMT-LIB2 nor Build and Test on *BSD #2321: Pull request #8832 opened by kroening
44m 10s smt-lib-nor-fix
smt-lib-nor-fix
44m 10s
Fix NetBSD and FreeBSD CI jobs Build and Test on *BSD #2320: Pull request #8825 synchronize by tautschnig
52m 35s tautschnig:netbsd-ci
tautschnig:netbsd-ci
52m 35s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2319: Pull request #8830 synchronize by tautschnig
7m 19s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
7m 19s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2318: Pull request #8830 synchronize by tautschnig
7m 47s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
7m 47s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test on *BSD #2317: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2316: Pull request #8830 synchronize by tautschnig
11m 26s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
11m 26s
Merge pull request #8736 from tautschnig/cadical-2.2.0 Build and Test on *BSD #2315: Commit 74fd5bd pushed by tautschnig
7m 9s develop
develop
7m 9s
Merge pull request #8831 from diffblue/std_expr_cleanup Build and Test on *BSD #2314: Commit af0b511 pushed by tautschnig
41m 34s develop
develop
41m 34s
std_expr.h: use exprt::check consistently Build and Test on *BSD #2313: Pull request #8831 synchronize by kroening
42m 54s std_expr_cleanup
std_expr_cleanup
42m 54s
std_expr.h: use exprt::check consistently Build and Test on *BSD #2312: Pull request #8831 opened by kroening
43m 35s std_expr_cleanup
std_expr_cleanup
43m 35s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2311: Pull request #8830 synchronize by tautschnig
21m 51s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
21m 51s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2310: Pull request #8830 synchronize by tautschnig
20m 59s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
20m 59s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2309: Pull request #8830 synchronize by tautschnig
11m 34s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
11m 34s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2308: Pull request #8830 synchronize by tautschnig
9m 7s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
9m 7s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2307: Pull request #8830 synchronize by tautschnig
22m 32s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
22m 32s
Fix SMT2 output determinism by using ordered maps Build and Test on *BSD #2306: Pull request #8830 opened by tautschnig
23m 9s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
23m 9s