Skip to content

Actions: randriu/synthesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
297 workflow runs
297 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix unset choices of GameAbstractionSolver Build Test #47: Commit 3f4d137 pushed by randriu
December 15, 2023 12:15 35m 57s master
master
December 15, 2023 12:15 35m 57s
adapt 1-by-1 synthesizer to general models Build Test #46: Commit e766514 pushed by randriu
December 15, 2023 10:31 37m 11s master
master
December 15, 2023 10:31 37m 11s
fix missing colon Build Test #45: Commit cede088 pushed by randriu
December 14, 2023 13:47 35m 47s master
master
December 14, 2023 13:47 35m 47s
compute choice destinations in Stormpy Build Test #44: Commit b5ca4e2 pushed by randriu
December 14, 2023 13:46 36m 41s master
master
December 14, 2023 13:46 36m 41s
delegate synthesizer selection Build Test #43: Commit 9a7da6f pushed by randriu
December 14, 2023 12:53 36m 28s master
master
December 14, 2023 12:53 36m 28s
add more MDP sketches Build Test #42: Commit bfa5b90 pushed by randriu
December 14, 2023 11:58 35m 51s master
master
December 14, 2023 11:58 35m 51s
Build Test Build Test #41: Scheduled
December 13, 2023 10:17 1h 13m 42s master
master
December 13, 2023 10:17 1h 13m 42s
Merge pull request #31 from TheGreatfpmK/new-master Build Test #40: Commit b7edc87 pushed by TheGreatfpmK
December 11, 2023 23:40 38m 17s master
master
December 11, 2023 23:40 38m 17s
Added rover model Build Test #39: Pull request #31 opened by TheGreatfpmK
December 11, 2023 23:40 32m 3s TheGreatfpmK:new-master
TheGreatfpmK:new-master
December 11, 2023 23:40 32m 3s
add more MDP sketches Build Test #38: Commit 6cb2d9f pushed by randriu
December 11, 2023 16:35 35m 56s master
master
December 11, 2023 16:35 35m 56s
Merge pull request #30 from TheGreatfpmK/new-master Build Test #37: Commit a9c7c3e pushed by TheGreatfpmK
December 11, 2023 14:34 36m 36s master
master
December 11, 2023 14:34 36m 36s
Added range-based support for type double and support for specifying increment step Build Test #36: Pull request #30 opened by TheGreatfpmK
December 11, 2023 14:33 32m 49s TheGreatfpmK:new-master
TheGreatfpmK:new-master
December 11, 2023 14:33 32m 49s
remove scheduler analysis operations Build Test #35: Commit afa507e pushed by randriu
December 10, 2023 23:22 35m 24s master
master
December 10, 2023 23:22 35m 24s
fix usage of new Coloring for POMDP families Build Test #34: Commit 1024152 pushed by randriu
December 10, 2023 20:39 35m 25s master
master
December 10, 2023 20:39 35m 25s
move Family and Coloring to Stormpy Build Test #33: Commit f9d0a24 pushed by randriu
December 10, 2023 20:35 36m 3s master
master
December 10, 2023 20:35 36m 3s
cache number of actions in the MDP-family quotient Build Test #32: Commit a9d7fb9 pushed by randriu
December 8, 2023 15:32 36m 17s master
master
December 8, 2023 15:32 36m 17s
Merge pull request #29 from TheGreatfpmK/new-master Build Test #31: Commit 8332ada pushed by TheGreatfpmK
December 8, 2023 14:51 36m 23s master
master
December 8, 2023 14:51 36m 23s
Return one policy if policy for all MDPs exists Build Test #30: Pull request #29 opened by TheGreatfpmK
December 8, 2023 14:51 31m 45s TheGreatfpmK:new-master
TheGreatfpmK:new-master
December 8, 2023 14:51 31m 45s
fix using optional coloring Build Test #29: Commit 3e60576 pushed by randriu
December 8, 2023 14:22 36m 13s master
master
December 8, 2023 14:22 36m 13s
force investigating the reachable part of a scheduler Build Test #28: Commit 6520ddb pushed by randriu
December 8, 2023 14:03 36m 46s master
master
December 8, 2023 14:03 36m 46s
make double-checking optional Build Test #27: Commit 951e73d pushed by randriu
December 8, 2023 12:34 36m 20s master
master
December 8, 2023 12:34 36m 20s
fix translation of game policy to python policy Build Test #26: Commit 5e58cc6 pushed by randriu
December 8, 2023 10:36 36m 36s master
master
December 8, 2023 10:36 36m 36s
integrate policy search Build Test #25: Commit eedf67f pushed by randriu
December 8, 2023 10:12 36m 36s master
master
December 8, 2023 10:12 36m 36s
fix missing scheduler for policy search Build Test #24: Commit 18bc4c8 pushed by randriu
December 7, 2023 21:08 36m 40s master
master
December 7, 2023 21:08 36m 40s
enable some CLI options Build Test #23: Commit 99b9d7b pushed by randriu
December 7, 2023 16:25 36m 41s master
master
December 7, 2023 16:25 36m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-12-07 or the other filters available.