Skip to content

Actions: cvc5/ethos

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add draft of standard definitions of list operators to user manual an… CI #2597: Commit 7761fee pushed by ajreynol
2m 33s main
main
2m 33s
Add draft of standard definitions of list operators to user manual and as a regression CI #2596: Pull request #152 synchronize by ajreynol
3m 12s listDefStdReg
listDefStdReg
3m 12s
More CI #2595: Commit d545c39 pushed by ajreynol
3m 22s listDefStdReg
listDefStdReg
3m 22s
Add draft of standard definitions of list operators to user manual and as a regression CI #2594: Pull request #152 synchronize by ajreynol
50s listDefStdReg
listDefStdReg
50s
Merge branch 'main' into listDefStdReg CI #2593: Commit eb45ea1 pushed by ajreynol
1m 5s listDefStdReg
listDefStdReg
1m 5s
Add draft of standard definitions of list operators to user manual and as a regression CI #2592: Pull request #152 synchronize by ajreynol
5m 8s listDefStdReg
listDefStdReg
5m 8s
More CI #2591: Commit 2273b81 pushed by ajreynol
46s listDefStdReg
listDefStdReg
46s
More CI #2590: Commit 2dc13d4 pushed by ajreynol
3m 3s smtMeta
smtMeta
3m 3s
Merge branch 'main' into smtMeta CI #2589: Commit 1f661e1 pushed by ajreynol
3m 11s smtMeta
smtMeta
3m 11s
Add non-singleton versions of assoc-nil operators (#182) CI #2588: Commit ca81b65 pushed by ajreynol
3m 20s main
main
3m 20s
HO applications do not desugar based on the operator CI #2587: Pull request #184 synchronize by ajreynol
3m 45s noDesugarHo
noDesugarHo
3m 45s
Format CI #2586: Commit 18950b8 pushed by ajreynol
5m 19s noDesugarHo
noDesugarHo
5m 19s
HO applications do not desugar based on the operator CI #2585: Pull request #184 synchronize by ajreynol
33s noDesugarHo
noDesugarHo
33s
More CI #2584: Commit 4f0746a pushed by ajreynol
3m 20s noDesugarHo
noDesugarHo
3m 20s
HO applications do not desugar based on the operator CI #2583: Pull request #184 synchronize by ajreynol
50s noDesugarHo
noDesugarHo
50s
More CI #2582: Commit a4e786b pushed by ajreynol
48s noDesugarHo
noDesugarHo
48s
HO applications do not desugar based on the operator CI #2581: Pull request #184 opened by ajreynol
1m 8s noDesugarHo
noDesugarHo
1m 8s
More CI #2580: Commit ab5e34e pushed by ajreynol
42s noDesugarHo
noDesugarHo
42s
More CI #2579: Commit 7f103b3 pushed by ajreynol
50s noDesugarHo
noDesugarHo
50s
Regressions CI #2578: Commit 966e89a pushed by ajreynol
52s noDesugarHo
noDesugarHo
52s
Another section in manual CI #2577: Commit 3f24b80 pushed by ajreynol
47s noDesugarHo
noDesugarHo
47s
HO applications do not desugar based on the operator CI #2576: Commit 7fa4ee7 pushed by ajreynol
44s noDesugarHo
noDesugarHo
44s
Proof rules as programs CI #2575: Pull request #183 synchronize by ajreynol
3m 3s pfAsProg
pfAsProg
3m 3s
Improve, better error CI #2574: Commit e17f9f5 pushed by ajreynol
2m 51s pfAsProg
pfAsProg
2m 51s
Proof rules as programs CI #2573: Pull request #183 synchronize by ajreynol
3m 0s pfAsProg
pfAsProg
3m 0s