Skip to content

Actions: speckdavid/symk

Actions

Apptainer

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
apptainer.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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