Skip to content

Actions: HanielB/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
45 workflow run results
45 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

transient CI #1709: Commit cbcfc5c pushed by HanielB
February 20, 2024 20:12 4m 46s aletheError
aletheError
February 20, 2024 20:12 4m 46s
Add option proof-elim-subtypes (#10407) CI #1708: Commit 506f5f4 pushed by HanielB
February 20, 2024 18:52 51m 21s main
main
February 20, 2024 18:52 51m 21s
transient CI #1707: Commit 7e7789a pushed by HanielB
February 20, 2024 18:41 51m 59s aletheError
aletheError
February 20, 2024 18:41 51m 59s
Merge branch 'main' into fixHOprint CI #1706: Commit 517fe01 pushed by ajreynol
February 20, 2024 14:27 27m 37s fixHOprint
fixHOprint
February 20, 2024 14:27 27m 37s
transient CI #1705: Commit 89e7d66 pushed by HanielB
February 20, 2024 13:55 52m 53s cvc5carcara
cvc5carcara
February 20, 2024 13:55 52m 53s
fix flattened printing of HO chains CI #1704: Commit 3644a86 pushed by HanielB
February 19, 2024 22:31 43m 23s fixHOprint
fixHOprint
February 19, 2024 22:31 43m 23s
address CI #1703: Commit d15cfce pushed by HanielB
February 19, 2024 21:55 16m 45s aletheGranularity
aletheGranularity
February 19, 2024 21:55 16m 45s
no longer use dedicate assume rule for Alethe backend CI #1702: Commit 46bab12 pushed by HanielB
February 16, 2024 22:00 55m 1s alethe2alf
alethe2alf
February 16, 2024 22:00 55m 1s
start removing custom assume CI #1701: Commit 3809b90 pushed by HanielB
February 16, 2024 21:08 18m 51s alethe2alf
alethe2alf
February 16, 2024 21:08 18m 51s
transient CI #1700: Commit e593dff pushed by HanielB
February 16, 2024 20:56 12m 38s alethe2alf
alethe2alf
February 16, 2024 20:56 12m 38s
minor CI #1699: Commit 9ddf727 pushed by HanielB
February 16, 2024 18:35 55m 37s aletheStrings
aletheStrings
February 16, 2024 18:35 55m 37s
[proofs] [alethe] Alethe format requires at least THEORY_REWRITE gran… CI #1698: Commit 75b2079 pushed by HanielB
February 16, 2024 14:21 44m 12s aletheGranularity
aletheGranularity
February 16, 2024 14:21 44m 12s
[proofs] [alethe] Alethe format requires at least THEORY_REWRITE gran… CI #1697: Commit 17e9da1 pushed by HanielB
February 16, 2024 14:20 1m 17s aletheGranularity
aletheGranularity
February 16, 2024 14:20 1m 17s
minor CI #1696: Commit 1d26338 pushed by HanielB
February 15, 2024 11:45 1h 2m 44s alethe-bv-str
alethe-bv-str
February 15, 2024 11:45 1h 2m 44s
adding missing rules, renaming CI #1695: Commit 0df2e55 pushed by HanielB
February 15, 2024 11:45 46s alethe-bv-str
alethe-bv-str
February 15, 2024 11:45 46s
print output CI #1694: Commit f2014a6 pushed by HanielB
February 12, 2024 21:42 29m 21s duper-output
duper-output
February 12, 2024 21:42 29m 21s
more CI #1693: Commit bae8f6c pushed by HanielB
February 9, 2024 11:14 28m 50s duper-output
duper-output
February 9, 2024 11:14 28m 50s
more CI #1692: Commit 1029eff pushed by HanielB
February 8, 2024 19:04 28m 42s fixAlethe
fixAlethe
February 8, 2024 19:04 28m 42s
fix printing of arguments in anchor CI #1691: Commit 851a9da pushed by HanielB
February 8, 2024 18:59 5m 42s fixAlethe
fixAlethe
February 8, 2024 18:59 5m 42s
fixing processing of alpha-equiv CI #1690: Commit 4b3a87a pushed by HanielB
February 8, 2024 14:39 27m 28s fixAlethe
fixAlethe
February 8, 2024 14:39 27m 28s
fixing skolemization CI #1689: Commit 381a6ed pushed by HanielB
February 8, 2024 14:09 28m 22s fixAlethe
fixAlethe
February 8, 2024 14:09 28m 22s
fixing CI #1688: Commit d2c59da pushed by HanielB
February 7, 2024 20:30 1h 6m 44s fixAlethe
fixAlethe
February 7, 2024 20:30 1h 6m 44s
transient CI #1687: Commit 951da0e pushed by HanielB
February 7, 2024 20:29 4m 21s noSubtyping
noSubtyping
February 7, 2024 20:29 4m 21s
Merge branch 'main' into proof-new CI #1686: Commit 7b23072 pushed by HanielB
February 7, 2024 20:28 2m 31s fixAlethe
fixAlethe
February 7, 2024 20:28 2m 31s
more CI #1685: Commit adf505f pushed by HanielB
February 7, 2024 15:52 26m 29s drat-lemmas
drat-lemmas
February 7, 2024 15:52 26m 29s