Skip to content

Actions: mpreiner/cvc5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
260 workflow runs
260 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload Docs Upload Docs #391: completed by aniemetz
October 4, 2024 17:34 2s
October 4, 2024 17:34 2s
Upload Docs Upload Docs #390: completed by aniemetz
October 4, 2024 17:25 2s
October 4, 2024 17:25 2s
Upload Docs Upload Docs #389: completed by mpreiner
October 4, 2024 17:12 2s
October 4, 2024 17:12 2s
Merge branch 'main' into cadical-fix-init CI #1183: Commit 2a15052 pushed by aniemetz
October 4, 2024 17:12 21m 59s cadical-fix-init
cadical-fix-init
October 4, 2024 17:12 21m 59s
Upload Docs Upload Docs #388: completed by mpreiner
October 4, 2024 17:07 2s
October 4, 2024 17:07 2s
Merge branch 'main' into cadical-fix-disable-alits CI #1182: Commit 4619ebf pushed by aniemetz
October 4, 2024 17:07 18m 7s cadical-fix-disable-alits
cadical-fix-disable-alits
October 4, 2024 17:07 18m 7s
Upload Docs Upload Docs #387: completed by mpreiner
October 4, 2024 16:59 2s
October 4, 2024 16:59 2s
Fix. CI #1181: Commit d3314b8 pushed by mpreiner
October 4, 2024 16:59 8m 16s cadical-fix-disable-alits
cadical-fix-disable-alits
October 4, 2024 16:59 8m 16s
Upload Docs Upload Docs #386: completed by mpreiner
October 4, 2024 16:58 2s
October 4, 2024 16:58 2s
Merge branch 'main' into cadical-fix-init CI #1180: Commit 7d35cd7 pushed by mpreiner
October 4, 2024 16:58 14m 17s cadical-fix-init
cadical-fix-init
October 4, 2024 16:58 14m 17s
cadical: Make sure to initialize external propagator prior to adding … CI #1179: Commit 96a4aff pushed by mpreiner
October 4, 2024 16:58 29s cadical-fix-init
cadical-fix-init
October 4, 2024 16:58 29s
Fix. CI #1178: Commit f301e62 pushed by mpreiner
October 4, 2024 16:56 3m 3s cadical-fix-disable-alits
cadical-fix-disable-alits
October 4, 2024 16:56 3m 3s
Upload Docs Upload Docs #385: completed by mpreiner
October 3, 2024 19:07 1s
October 3, 2024 19:07 1s
Upload Docs Upload Docs #384: completed by mpreiner
October 3, 2024 18:56 2s
October 3, 2024 18:56 2s
cadical: Make sure to initialize external propagator prior to adding … CI #1177: Commit 3157b97 pushed by mpreiner
October 3, 2024 18:24 43m 12s cadical-fix-init
cadical-fix-init
October 3, 2024 18:24 43m 12s
cadical: Properly disable obsolete activation literals. CI #1176: Commit e778a8e pushed by mpreiner
October 3, 2024 18:16 40m 14s cadical-fix-disable-alits
cadical-fix-disable-alits
October 3, 2024 18:16 40m 14s
Upload Docs Upload Docs #383: completed by mpreiner
September 25, 2024 21:51 1s
September 25, 2024 21:51 1s
Fix. CI #1175: Commit 3bd569e pushed by mpreiner
September 25, 2024 21:21 29m 47s cadical-clause-learner
cadical-clause-learner
September 25, 2024 21:21 29m 47s
Upload Docs Upload Docs #382: completed by mpreiner
September 24, 2024 21:21 2s
September 24, 2024 21:21 2s
test: Add unit test. CI #1174: Commit 97a46fd pushed by mpreiner
September 24, 2024 20:46 35m 36s cadical-clause-learner
cadical-clause-learner
September 24, 2024 20:46 35m 36s
Upload Docs Upload Docs #381: completed by mpreiner
September 24, 2024 20:10 2s
September 24, 2024 20:10 2s
wip: bitwuzla bv solver CI #1173: Commit 935c099 pushed by mpreiner
September 24, 2024 20:04 5m 51s bv-bitwuzla
bv-bitwuzla
September 24, 2024 20:04 5m 51s
Upload Docs Upload Docs #380: completed by mpreiner
August 29, 2024 19:45 2s
August 29, 2024 19:45 2s
Upload Docs Upload Docs #379: completed by mpreiner
August 29, 2024 19:07 2s
August 29, 2024 19:07 2s
prop: cadical: Add clause learner for plugins. CI #1172: Commit 9306d3a pushed by mpreiner
August 29, 2024 19:06 38m 16s cadical-clause-learner
cadical-clause-learner
August 29, 2024 19:06 38m 16s