Skip to content

Actions: speckdavid/symk

Actions

MacOS build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos_build.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed accidental task dump. MacOS build #87: Commit 274feb8 pushed by speckdavid
September 6, 2024 08:55 5m 28s master
master
September 6, 2024 08:55 5m 28s
Readme update. MacOS build #86: Commit ce0b640 pushed by speckdavid
September 6, 2024 08:29 3m 56s master
master
September 6, 2024 08:29 3m 56s
Readme update on preprocessor option. MacOS build #85: Commit 0388cf7 pushed by speckdavid
August 15, 2024 08:33 4m 13s master
master
August 15, 2024 08:33 4m 13s
Added bound option to symbolic search engines. Implemented write_plan… MacOS build #84: Commit b0b509a pushed by speckdavid
July 29, 2024 14:16 4m 32s master
master
July 29, 2024 14:16 4m 32s
removed plan selector parameters from the search engine itself MacOS build #83: Commit ebfd2c6 pushed by speckdavid
June 19, 2024 13:59 4m 50s master
master
June 19, 2024 13:59 4m 50s
Enhanced error message handling for single plan symbolic search confi… MacOS build #82: Commit 12c0cb3 pushed by speckdavid
June 18, 2024 09:32 4m 37s master
master
June 18, 2024 09:32 4m 37s
github actions: linux and macos build unconditionally of repository MacOS build #81: Commit dd1706c pushed by speckdavid
June 14, 2024 07:03 4m 43s master
master
June 14, 2024 07:03 4m 43s
Updated readme MacOS build #80: Commit 4ba527c pushed by speckdavid
May 16, 2024 13:42 4m 48s master
master
May 16, 2024 13:42 4m 48s
reverted boost files MacOS build #79: Commit aa09ee4 pushed by speckdavid
May 3, 2024 12:04 4m 6s master
master
May 3, 2024 12:04 4m 6s
rm unused boost libs MacOS build #78: Commit 2dcf5de pushed by speckdavid
May 3, 2024 11:50 59s master
master
May 3, 2024 11:50 59s
miniboost with bcp tool MacOS build #77: Commit f9c232b pushed by speckdavid
May 3, 2024 11:46 26s master
master
May 3, 2024 11:46 26s
removed unnecessary counter MacOS build #76: Commit 31b9275 pushed by speckdavid
May 2, 2024 13:51 5m 42s master
master
May 2, 2024 13:51 5m 42s
avoid copy of trs MacOS build #75: Commit 31d480e pushed by speckdavid
May 2, 2024 13:40 3m 59s master
master
May 2, 2024 13:40 3m 59s
missing boost files MacOS build #74: Commit 5c27e1a pushed by speckdavid
May 2, 2024 13:31 1m 0s master
master
May 2, 2024 13:31 1m 0s
fixed conflicts MacOS build #73: Commit 0956ec7 pushed by speckdavid
May 2, 2024 12:17 57s master
master
May 2, 2024 12:17 57s
fixed some clang compiler warnings MacOS build #72: Commit a15e594 pushed by speckdavid
May 2, 2024 09:40 55s master
master
May 2, 2024 09:40 55s
fixed clang build of miniboost MacOS build #71: Commit a3f5f87 pushed by speckdavid
May 2, 2024 09:23 58s master
master
May 2, 2024 09:23 58s
Merge branch 'conditional_effects' MacOS build #70: Commit 78018ff pushed by speckdavid
May 2, 2024 08:40 23s master
master
May 2, 2024 08:40 23s
fixed an assertion MacOS build #69: Commit 1fdc953 pushed by speckdavid
April 24, 2024 08:42 8m 12s master
master
April 24, 2024 08:42 8m 12s
Clarifying comments and removed unnecessary code in transition relation. MacOS build #68: Commit e9f7d72 pushed by speckdavid
April 22, 2024 11:40 20m 16s master
master
April 22, 2024 11:40 20m 16s
added alternating option for bidirectional search MacOS build #67: Commit 6000975 pushed by speckdavid
January 30, 2024 19:15 13m 40s master
master
January 30, 2024 19:15 13m 40s
Fixed a bug in the calculation of the lower bound in bidirectional se… MacOS build #66: Commit c97ce83 pushed by speckdavid
September 18, 2023 14:21 13m 19s master
master
September 18, 2023 14:21 13m 19s
Option to disable negative axioms (default: disabled) + style fixes. MacOS build #65: Commit 4978191 pushed by speckdavid
September 15, 2023 08:33 14m 39s master
master
September 15, 2023 08:33 14m 39s
improved dump_plan option and excluded cudd from style checking MacOS build #64: Commit 5b1ac05 pushed by speckdavid
June 30, 2023 12:03 13m 42s master
master
June 30, 2023 12:03 13m 42s