Skip to content

Actions: potassco/libpotassco

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use macros to define enum operations. CI tests #29: Commit add84ec pushed by BenKaufmann
January 15, 2025 17:55 3m 11s dev-20
dev-20
January 15, 2025 17:55 3m 11s
Use macros to define enum operations. CI tests #28: Commit d3f8249 pushed by BenKaufmann
January 15, 2025 17:42 3m 57s dev-20
dev-20
January 15, 2025 17:42 3m 57s
Use macros to define enum operations. CI tests #27: Commit b57d84f pushed by BenKaufmann
January 15, 2025 17:34 3m 42s dev-20
dev-20
January 15, 2025 17:34 3m 42s
Adjust cmake config of catch2. CI tests #26: Commit 483775c pushed by BenKaufmann
January 15, 2025 10:38 3m 39s dev-20
dev-20
January 15, 2025 10:38 3m 39s
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