Skip to content

Actions: HanielB/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
288 workflow runs
288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

transient CI #1766: Commit d661074 pushed by HanielB
April 18, 2024 01:29 12m 18s ccfv-output
ccfv-output
April 18, 2024 01:29 12m 18s
Merge branch 'main' into proof-new CI #1765: Commit f5523c7 pushed by HanielB
April 17, 2024 21:01 1m 22s proof-new-merge
proof-new-merge
April 17, 2024 21:01 1m 22s
Do not install CaDiCaL static library (#10642) CI #1764: Commit 5b16cf5 pushed by HanielB
April 17, 2024 19:27 30m 7s main
main
April 17, 2024 19:27 30m 7s
option to only print rws in instantiations CI #1763: Commit 169b4c9 pushed by HanielB
April 16, 2024 20:53 52m 13s duper-output
duper-output
April 16, 2024 20:53 52m 13s
Rewrite substitutions stored in assertions with incremental mode (#10… CI #1762: Commit 527045a pushed by HanielB
April 16, 2024 20:23 32m 12s main
main
April 16, 2024 20:23 32m 12s
make output uniform CI #1761: Commit 0775b0f pushed by HanielB
April 12, 2024 12:39 36m 10s duper-output
duper-output
April 12, 2024 12:39 36m 10s
give more lemmas (for intermediate integer reasoning and trusted lemmas) CI #1760: Commit eb51ae2 pushed by HanielB
April 9, 2024 02:34 1h 10m 52s duper-output
duper-output
April 9, 2024 02:34 1h 10m 52s
properly collecting evaluation rewrites CI #1759: Commit e4b17a6 pushed by HanielB
April 9, 2024 02:00 34m 20s duper-output
duper-output
April 9, 2024 02:00 34m 20s
transient CI #1758: Commit a136799 pushed by HanielB
April 8, 2024 19:57 19m 41s duper-output
duper-output
April 8, 2024 19:57 19m 41s
fixes CI #1757: Commit d07e0e4 pushed by HanielB
April 4, 2024 00:42 45s fixAlethe-pivots
fixAlethe-pivots
April 4, 2024 00:42 45s
transient on making resolution robust to pivots with Skolems CI #1756: Commit b783b8e pushed by HanielB
April 3, 2024 21:32 51s fixAlethe-pivots
fixAlethe-pivots
April 3, 2024 21:32 51s
Add node manager to node converter (#10545) CI #1755: Commit ee588d4 pushed by HanielB
April 2, 2024 14:46 48m 30s main
main
April 2, 2024 14:46 48m 30s
[alethe] more fixes in resolution's pivots tracking CI #1754: Commit 9eac613 pushed by HanielB
April 1, 2024 03:03 46s fixAlethe-pivots
fixAlethe-pivots
April 1, 2024 03:03 46s
Add utilities for dumping DIMACS (#10447) CI #1753: Commit 2b4ca00 pushed by HanielB
March 27, 2024 13:09 41m 20s main
main
March 27, 2024 13:09 41m 20s
Add option --proof-alethe-experimental (#10539) CI #1752: Commit a40d28f pushed by HanielB
March 26, 2024 18:20 49m 7s main
main
March 26, 2024 18:20 49m 7s
fix lemmas CI #1751: Commit 62bda31 pushed by HanielB
March 22, 2024 22:37 28m 30s duper-output
duper-output
March 22, 2024 22:37 28m 30s
print lemmas and instantiations as implications CI #1750: Commit d2acf40 pushed by HanielB
March 22, 2024 15:10 1h 4m 5s duper-output
duper-output
March 22, 2024 15:10 1h 4m 5s
fix CI #1749: Commit f7740c9 pushed by HanielB
March 22, 2024 14:41 28m 50s duper-output
duper-output
March 22, 2024 14:41 28m 50s
Do not invoke rewriter on terms involving abstract sorts in DSL proof… CI #1748: Commit ef2bc3f pushed by HanielB
March 20, 2024 13:11 47m 42s main
main
March 20, 2024 13:11 47m 42s
Python API test: Add missing test for sort substitution. (#10506) CI #1747: Commit 27e8c50 pushed by HanielB
March 18, 2024 16:14 30m 52s main
main
March 18, 2024 16:14 30m 52s
Add missing test for API coverage in nightlies. (#10498) CI #1746: Commit 2ec241f pushed by HanielB
March 13, 2024 16:56 1h 7m 1s main
main
March 13, 2024 16:56 1h 7m 1s
improving script CI #1745: Commit a22a83d pushed by HanielB
March 2, 2024 18:25 29m 41s aletheError
aletheError
March 2, 2024 18:25 29m 41s
fix resolution handling in the Alethe post-processor when pivots have… CI #1744: Commit c9e8950 pushed by HanielB
March 2, 2024 17:41 29m 23s aletheError
aletheError
March 2, 2024 17:41 29m 23s
utils for running CI #1743: Commit 5e80e14 pushed by HanielB
March 2, 2024 05:36 52m 11s aletheError
aletheError
March 2, 2024 05:36 52m 11s
Merge branch 'proof-new' into aletheError CI #1742: Commit 09b0b5e pushed by HanielB
March 2, 2024 05:04 31m 28s aletheError
aletheError
March 2, 2024 05:04 31m 28s