Skip to content

Actions: cvc5/ethos

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
2,132 workflow runs
2,132 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
Fix distinct, first-order quantifiers CI #3170: Commit 7f71c75 pushed by ajreynol
2m 38s ethosEoc2
ethosEoc2
2m 38s
Minor CI #3169: Commit cefa292 pushed by ajreynol
2m 44s ethosEoc2
ethosEoc2
2m 44s
Minor cleanup CI #3168: Commit 58a3440 pushed by ajreynol
2m 44s ethosEoc2
ethosEoc2
2m 44s
Dt app fix on eo side CI #3167: Commit 4572cc2 pushed by ajreynol
4m 54s ethosEoc2
ethosEoc2
4m 54s
Minor cleanup CI #3166: Commit 0157523 pushed by ajreynol
2m 48s ethosEoc2
ethosEoc2
2m 48s
Remove unmaintained CI #3165: Commit 05ad2fc pushed by ajreynol
2m 39s ethosEoc2
ethosEoc2
2m 39s
First-order equality and ite CI #3164: Commit eb7b880 pushed by ajreynol
2m 33s ethosEoc2
ethosEoc2
2m 33s
Add eo::pow and eo::list_repeat CI #3163: Pull request #208 opened by ajreynol
3m 59s ai-powRepeat
ai-powRepeat
3m 59s
Ensuring types are inhabited, fixes for wf definition, apply issues CI #3162: Commit 83abb30 pushed by ajreynol
2m 54s ethosEoc2
ethosEoc2
2m 54s
Another guard CI #3161: Commit fd0279f pushed by ajreynol
3m 38s ai-powRepeat
ai-powRepeat
3m 38s
Use GMP, 32-bit restriction CI #3160: Commit 5b9ebba pushed by ajreynol
2m 45s ai-powRepeat
ai-powRepeat
2m 45s
Better style CI #3159: Commit 7e4603c pushed by ajreynol
2m 52s ai-powRepeat
ai-powRepeat
2m 52s
Add eo::pow and eo::list_repeat CI #3158: Commit 5563f35 pushed by ajreynol
2m 33s ai-powRepeat
ai-powRepeat
2m 33s
Update to native scheme CI #3157: Commit 9f80759 pushed by ajreynol
2m 35s ethosEoc2
ethosEoc2
2m 35s
BitVec is indexed by nat, update to new rule theorem template CI #3156: Commit ca8493e pushed by ajreynol
2m 59s ethosEoc2
ethosEoc2
2m 59s
Simplify wf CI #3155: Commit abc9568 pushed by ajreynol
2m 46s ethosEoc2
ethosEoc2
2m 46s
Define well-founded datatypes, fixes CI #3154: Commit dc42f0e pushed by ajreynol
3m 0s ethosEoc2
ethosEoc2
3m 0s
Use compression by default CI #3153: Commit f84adcf pushed by ajreynol
2m 45s ethosEoc2
ethosEoc2
2m 45s
Fixes for user manual CI #3152: Pull request #203 synchronize by ajreynol
2m 54s ai-userManual
ai-userManual
2m 54s
Merge branch 'main' into ai-userManual CI #3151: Commit ec60474 pushed by ajreynol
2m 54s ai-userManual
ai-userManual
2m 54s
Infer total defs by default CI #3150: Commit ea89f30 pushed by ajreynol
3m 24s ethosEoc2
ethosEoc2
3m 24s
Option to treat define-fun as Eunoia definitions CI #3149: Pull request #207 synchronize by ajreynol
2m 53s eoDefineFunRef
eoDefineFunRef
2m 53s
News CI #3148: Commit b50eec4 pushed by ajreynol
3m 7s eoDefineFunRef
eoDefineFunRef
3m 7s
Option to treat define-fun as Eunoia definitions CI #3147: Pull request #207 opened by ajreynol
2m 36s eoDefineFunRef
eoDefineFunRef
2m 36s
Option for define-fun CI #3146: Commit cbf7821 pushed by ajreynol
2m 43s eoDefineFunRef
eoDefineFunRef
2m 43s