Skip to content

Actions: speckdavid/symk

Actions

Linux build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux_build.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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