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

Updated links in Readme Linux build #90: Commit 47669a5 pushed by speckdavid
November 8, 2024 12:22 8m 59s master
master
November 8, 2024 12:22 8m 59s
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