Skip to content

Actions: potassco/clasp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

4 jobs? CI tests #108: Commit 01285c9 pushed by BenKaufmann
October 11, 2024 10:12 2m 13s ci-no-threads
ci-no-threads
October 11, 2024 10:12 2m 13s
4 jobs? CI tests #107: Commit 2a7516c pushed by BenKaufmann
October 11, 2024 10:03 2m 20s ci-no-threads
ci-no-threads
October 11, 2024 10:03 2m 20s
4 jobs? CI tests #106: Commit fc6cdb9 pushed by BenKaufmann
October 11, 2024 10:02 1s ci-no-threads
ci-no-threads
October 11, 2024 10:02 1s
WIP CI tests #105: Commit 4a82662 pushed by BenKaufmann
October 11, 2024 09:54 2m 32s ci-no-threads
ci-no-threads
October 11, 2024 09:54 2m 32s
WIP CI tests #104: Commit 1bf5896 pushed by BenKaufmann
October 11, 2024 09:45 2m 36s ci-no-threads
ci-no-threads
October 11, 2024 09:45 2m 36s
Issue #105: Fix peer computation for > 32 threads. CI tests #103: Commit c5ef7f2 pushed by BenKaufmann
October 11, 2024 09:26 2m 8s dev
dev
October 11, 2024 09:26 2m 8s
Issue #105: Fix peer computation for > 32 threads. CI tests #102: Commit 519345a pushed by BenKaufmann
October 11, 2024 09:21 2m 39s dev
dev
October 11, 2024 09:21 2m 39s
Issue #104: Fix assumption handling for dimacs/pb input. CI tests #101: Commit 6168a57 pushed by BenKaufmann
October 8, 2024 10:18 2m 11s dev
dev
October 8, 2024 10:18 2m 11s
Update libpotassco. CI tests #100: Commit bf2d3d0 pushed by BenKaufmann
September 30, 2024 09:23 2m 52s dev
dev
September 30, 2024 09:23 2m 52s
Minor fixes. CI tests #99: Commit 909c8db pushed by BenKaufmann
September 20, 2024 07:39 2m 39s dev
dev
September 20, 2024 07:39 2m 39s
Update CHANGES and bump (dev) version. CI tests #98: Commit de62ed7 pushed by BenKaufmann
September 17, 2024 12:49 2m 55s dev
dev
September 17, 2024 12:49 2m 55s
Add LogicProgram::project() query function. CI tests #97: Commit 512057d pushed by BenKaufmann
September 2, 2024 08:34 2m 23s pr_is_cons
pr_is_cons
September 2, 2024 08:34 2m 23s
Add LogicProgram::project() query function. CI tests #96: Commit f9bbe9b pushed by BenKaufmann
September 2, 2024 07:40 2m 36s pr_is_cons
pr_is_cons
September 2, 2024 07:40 2m 36s
Fix handling of "sticky" logic program options. CI tests #95: Commit 69e8c3d pushed by BenKaufmann
September 2, 2024 07:22 2m 44s pr_is_cons
pr_is_cons
September 2, 2024 07:22 2m 44s
Fix handling of "sticky" logic program options. CI tests #94: Commit f37d813 pushed by BenKaufmann
August 30, 2024 15:56 2m 35s dev
dev
August 30, 2024 15:56 2m 35s
Add LogicProgram::addOutputState(). CI tests #93: Commit 9197bac pushed by BenKaufmann
August 30, 2024 12:54 2m 33s dev
dev
August 30, 2024 12:54 2m 33s
Optionally maintain output state for program atoms. CI tests #92: Commit 6a8eea8 pushed by BenKaufmann
August 29, 2024 16:55 2m 58s dev
dev
August 29, 2024 16:55 2m 58s
Add option for stopping optimization at given bound. CI tests #91: Commit 4fd5c00 pushed by BenKaufmann
August 19, 2024 10:35 2m 0s dev
dev
August 19, 2024 10:35 2m 0s
Fix init order for BlockLimit. CI tests #90: Commit 9627fa9 pushed by BenKaufmann
August 1, 2024 15:09 2m 55s dev
dev
August 1, 2024 15:09 2m 55s
Update libpotassco. CI tests #89: Commit 6a3a07c pushed by BenKaufmann
July 23, 2024 12:58 2m 54s dev
dev
July 23, 2024 12:58 2m 54s
Simplify usc shrink implementation. CI tests #88: Commit d86f115 pushed by BenKaufmann
July 10, 2024 15:17 2m 36s dev
dev
July 10, 2024 15:17 2m 36s
Rework dynamic/blocked restarts. CI tests #87: Commit 770e8d2 pushed by BenKaufmann
July 10, 2024 11:31 2m 29s dev
dev
July 10, 2024 11:31 2m 29s
Rework dynamic/blocked restarts. CI tests #86: Commit ebed8cb pushed by BenKaufmann
July 4, 2024 15:03 2m 41s ema
ema
July 4, 2024 15:03 2m 41s
Minor option fixes and refactoring. CI tests #85: Commit 439c8a1 pushed by BenKaufmann
July 4, 2024 15:02 2m 31s dev
dev
July 4, 2024 15:02 2m 31s
Rework dynamic/blocked restarts. CI tests #84: Commit 712335d pushed by BenKaufmann
July 2, 2024 13:35 2m 52s ema
ema
July 2, 2024 13:35 2m 52s