Skip to content

Actions: SRI-CSL/yices2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,061 workflow runs
1,061 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
New ReduceDB cdclt Windows CI #453: Pull request #636 synchronize by ahmed-irfan
37m 52s reduce-cdclt
reduce-cdclt
37m 52s
New ReduceDB cdclt CI #1304: Pull request #636 synchronize by ahmed-irfan
21m 31s reduce-cdclt
reduce-cdclt
21m 31s
Fix review findings in CaDiCaL-style reduce heuristic CI #1303: Commit c7cc9e4 pushed by ahmed-irfan
11m 37s reduce-cdclt
reduce-cdclt
11m 37s
New ReduceDB cdclt CI #1302: Pull request #636 opened by ahmed-irfan
17m 45s reduce-cdclt
reduce-cdclt
17m 45s
New ReduceDB cdclt Windows CI #452: Pull request #636 opened by ahmed-irfan
32m 55s reduce-cdclt
reduce-cdclt
32m 55s
Protect re-resolved learned clauses from deletion (CaDiCaL-style used… CI #1301: Commit e5c7eee pushed by ahmed-irfan
11m 31s reduce-cdclt
reduce-cdclt
11m 31s
MCSAT: L2O Windows CI #451: Pull request #635 synchronize by ahmed-irfan
26m 4s elipparini:L2O_calc_update
elipparini:L2O_calc_update
26m 4s
MCSAT: L2O CI #1300: Pull request #635 synchronize by ahmed-irfan
28m 14s elipparini:L2O_calc_update
elipparini:L2O_calc_update
28m 14s
MCSAT: L2O Windows CI #450: Pull request #635 synchronize by ahmed-irfan
31m 31s elipparini:L2O_calc_update
elipparini:L2O_calc_update
31m 31s
MCSAT: L2O CI #1299: Pull request #635 synchronize by ahmed-irfan
3m 54s elipparini:L2O_calc_update
elipparini:L2O_calc_update
3m 54s
MCSAT: L2O CI #1298: Pull request #635 opened by ahmed-irfan
3m 54s elipparini:L2O_calc_update
elipparini:L2O_calc_update
3m 54s
MCSAT: L2O Windows CI #449: Pull request #635 opened by ahmed-irfan
32m 39s elipparini:L2O_calc_update
elipparini:L2O_calc_update
32m 39s
Rework clause-deletion heuristic to CaDiCaL-style schedule CI #1297: Commit fee8a2e pushed by ahmed-irfan
12m 49s reduce-cdclt
reduce-cdclt
12m 49s
mcsat: document minimize_depth default (cap at 1000; optimal value TBD) CI #1296: Commit 9d94275 pushed by ahmed-irfan
11m 12s mcsat-boolean-lemma-minimization
mcsat-boolean-lemma-minimization
11m 12s
Add wide (truth-invariant) model generalization mode CI #1295: Pull request #630 synchronize by ahmed-irfan
25m 11s feature/wide-model-projection
feature/wide-model-projection
25m 11s
Add wide (truth-invariant) model generalization mode Windows CI #448: Pull request #630 synchronize by ahmed-irfan
31m 21s feature/wide-model-projection
feature/wide-model-projection
31m 21s
Merge branch 'master' into feature/wide-model-projection CI #1294: Commit 8181cd2 pushed by ahmed-irfan
11m 6s feature/wide-model-projection
feature/wide-model-projection
11m 6s
mcsat: fall back to model cache when target cache value is infeasible CI #1293: Pull request #634 opened by ahmed-irfan
20m 3s mcsat-cached-value-tier-fallback
mcsat-cached-value-tier-fallback
20m 3s
mcsat: fall back to model cache when target cache value is infeasible Windows CI #447: Pull request #634 opened by ahmed-irfan
31m 5s mcsat-cached-value-tier-fallback
mcsat-cached-value-tier-fallback
31m 5s
mcsat: fall back to model cache when target cache value is infeasible CI #1292: Commit 21f96d5 pushed by ahmed-irfan
12m 7s mcsat-cached-value-tier-fallback
mcsat-cached-value-tier-fallback
12m 7s
mcsat: fall back to model cache when target cache value is infeasible CI #1291: Commit f09fa93 pushed by ahmed-irfan
3m 36s mcsat-cached-value-tier-fallback
mcsat-cached-value-tier-fallback
3m 36s
smt2 array model display format (#633) CI #1290: Commit 38fa1bf pushed by ahmed-irfan
17m 22s master
master
17m 22s
smt2 array model display format CI #1289: Pull request #633 synchronize by disteph
30m 22s fix/smt2-array-model-format
fix/smt2-array-model-format
30m 22s
smt2 array model display format Windows CI #446: Pull request #633 synchronize by disteph
31m 5s fix/smt2-array-model-format
fix/smt2-array-model-format
31m 5s
tests: update array model gold files CI #1288: Commit 35cb7d9 pushed by disteph
11m 33s fix/smt2-array-model-format
fix/smt2-array-model-format
11m 33s