Skip to content

Actions: potassco/libpotassco

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adjust naming. CI tests #25: Commit 0915487 pushed by BenKaufmann
December 18, 2024 16:16 3m 17s dev-20
dev-20
December 18, 2024 16:16 3m 17s
Drop travis support. CI tests #24: Commit a6d2795 pushed by BenKaufmann
December 17, 2024 09:43 3m 15s dev-20
dev-20
December 17, 2024 09:43 3m 15s
Add functions for configuring x87 floating-point unit. CI tests #23: Commit cc7b8c7 pushed by BenKaufmann
December 11, 2024 10:07 4m 3s dev-20
dev-20
December 11, 2024 10:07 4m 3s
Fix failing locale test on cygwin. CI tests #22: Commit e8107a4 pushed by BenKaufmann
September 30, 2024 09:22 1m 3s dev
dev
September 30, 2024 09:22 1m 3s
Minor fixes. CI tests #21: Commit 4434358 pushed by BenKaufmann
September 20, 2024 07:04 1m 31s dev
dev
September 20, 2024 07:04 1m 31s
haiku support (#17) CI tests #20: Commit 2ec11ab pushed by BenKaufmann
August 26, 2024 07:16 1m 25s dev
dev
August 26, 2024 07:16 1m 25s
Add missing float conversion overload. CI tests #18: Commit 6358d68 pushed by BenKaufmann
July 23, 2024 12:57 2m 11s dev
dev
July 23, 2024 12:57 2m 11s
Show predicates instead of terms if possible. CI tests #17: Commit 6800f64 pushed by BenKaufmann
June 14, 2024 10:55 1m 18s dev
dev
June 14, 2024 10:55 1m 18s
Show predicates instead of terms if possible. CI tests #16: Commit 95db8a6 pushed by BenKaufmann
June 14, 2024 10:33 1m 28s dev
dev
June 14, 2024 10:33 1m 28s
Print #show. first if necessary. CI tests #15: Commit f33e570 pushed by BenKaufmann
June 4, 2024 09:06 1m 14s dev
dev
June 4, 2024 09:06 1m 14s
Adjust show handling in text output. CI tests #14: Commit 70aae17 pushed by BenKaufmann
June 3, 2024 11:28 1m 46s dev
dev
June 3, 2024 11:28 1m 46s
Adjust show handling in text output. CI tests #13: Commit 72dcb55 pushed by BenKaufmann
June 3, 2024 07:07 1m 52s dev
dev
June 3, 2024 07:07 1m 52s
Adjust show handling in text output. CI tests #12: Commit 10ed000 pushed by BenKaufmann
May 29, 2024 14:41 1m 28s dev
dev
May 29, 2024 14:41 1m 28s
Fix text output of minimize statements and aggregates. CI tests #11: Commit 33f38b2 pushed by BenKaufmann
May 28, 2024 16:32 1m 5s dev
dev
May 28, 2024 16:32 1m 5s
Fix handling of classical negation and empty choices. CI tests #10: Commit ba086c4 pushed by BenKaufmann
May 21, 2024 13:52 32m 7s dev
dev
May 21, 2024 13:52 32m 7s
Fix MemoryRegion::grow(). CI tests #9: Commit 7f4aef1 pushed by BenKaufmann
April 22, 2024 13:07 59s dev
dev
April 22, 2024 13:07 59s
Adjust exception mapping in Potassco::fail(). CI tests #8: Commit 414bc1a pushed by BenKaufmann
March 25, 2024 12:48 1m 2s dev
dev
March 25, 2024 12:48 1m 2s
CMake: Simplify test setup. CI tests #7: Commit 4c9e27b pushed by BenKaufmann
March 18, 2024 19:22 1m 49s dev
dev
March 18, 2024 19:22 1m 49s
Fix POTASSCO_HAS_STATIC_ASSERT detection. CI tests #6: Commit a8048a1 pushed by BenKaufmann
March 18, 2024 11:10 1m 41s dev
dev
March 18, 2024 11:10 1m 41s
libpotassco: add PPC case to string_convert.cpp (#15) CI tests #5: Commit 69b677f pushed by BenKaufmann
February 7, 2024 16:30 2m 12s master
master
February 7, 2024 16:30 2m 12s