Skip to content

Actions: moves-rwth/stormvogel

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
229 workflow runs
229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

simulator WIP Docs #154: Commit 93a5c9b pushed by YouGuessedMyName
December 21, 2024 10:17 2m 31s several-visualization-features
several-visualization-features
December 21, 2024 10:17 2m 31s
simulator WIP Docs #153: Commit 93a5c9b pushed by YouGuessedMyName
December 21, 2024 10:15 2m 29s remove-action-names
remove-action-names
December 21, 2024 10:15 2m 29s
we can now have a path with multiple labels Docs #152: Commit 8e1fb4e pushed by PimLeerkes
December 15, 2024 15:00 2m 37s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 15:00 2m 37s
small changes Docs #151: Commit 43411b9 pushed by PimLeerkes
December 15, 2024 13:59 2m 32s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 13:59 2m 32s
refactoring + rewards Docs #150: Commit cb7cb8c pushed by PimLeerkes
December 15, 2024 13:41 2m 31s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 13:41 2m 31s
interactive property builder can be used from within the model checker Docs #149: Commit 859f5b9 pushed by PimLeerkes
December 15, 2024 12:11 3m 16s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 12:11 3m 16s
some property string builder ideas Docs #148: Commit e5b571b pushed by PimLeerkes
December 14, 2024 16:23 2m 33s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 14, 2024 16:23 2m 33s
Merge pull request #162 from moves-rwth/101-make-a-stormvogel-model-c… Docs #147: Commit dcd1051 pushed by PimLeerkes
December 14, 2024 15:25 2m 35s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 14, 2024 15:25 2m 35s
Merge pull request #162 from moves-rwth/101-make-a-stormvogel-model-c… Docs #146: Commit dcd1051 pushed by PimLeerkes
December 14, 2024 14:21 2m 44s main
main
December 14, 2024 14:21 2m 44s
Update 04_mdp.ipynb Docs #145: Commit c604f1a pushed by PimLeerkes
December 14, 2024 14:18 2m 27s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 14:18 2m 27s
fixed merge conflict Docs #144: Commit af62ba1 pushed by PimLeerkes
December 14, 2024 14:15 2m 33s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 14:15 2m 33s
Organize docs a bit (#159) Docs #143: Commit 70ea756 pushed by linusheck
December 9, 2024 16:19 2m 49s main
main
December 9, 2024 16:19 2m 49s
Organize docs a bit Docs #142: Commit a5bac93 pushed by linusheck
December 9, 2024 16:16 2m 33s organize-docs
organize-docs
December 9, 2024 16:16 2m 33s
progress removing actions Docs #141: Commit f0974c8 pushed by YouGuessedMyName
December 9, 2024 14:35 2m 33s remove-action-names
remove-action-names
December 9, 2024 14:35 2m 33s
Merge pull request #155 from moves-rwth/several-visualization-features Docs #140: Commit 74fd328 pushed by YouGuessedMyName
December 9, 2024 13:02 2m 30s remove-action-names
remove-action-names
December 9, 2024 13:02 2m 30s
model builder supports multiple reward models Docs #139: Commit ddd0342 pushed by PimLeerkes
December 8, 2024 13:42 2m 34s 137-state-builder
137-state-builder
December 8, 2024 13:42 2m 34s
model builder can now also use a labels function Docs #138: Commit c339a8d pushed by PimLeerkes
December 8, 2024 13:17 2m 24s 137-state-builder
137-state-builder
December 8, 2024 13:17 2m 24s
model builder now also uses reward function Docs #137: Commit 072c6cb pushed by PimLeerkes
December 8, 2024 13:05 2m 32s 137-state-builder
137-state-builder
December 8, 2024 13:05 2m 32s
pgc state object can now contain arbitrary attributes Docs #136: Commit 9a5d267 pushed by PimLeerkes
December 8, 2024 11:36 2m 29s 137-state-builder
137-state-builder
December 8, 2024 11:36 2m 29s
Merge pull request #155 from moves-rwth/several-visualization-features Docs #135: Commit 74fd328 pushed by YouGuessedMyName
December 5, 2024 15:59 2m 46s main
main
December 5, 2024 15:59 2m 46s
linter Docs #134: Commit d44b237 pushed by YouGuessedMyName
December 5, 2024 15:55 2m 35s several-visualization-features
several-visualization-features
December 5, 2024 15:55 2m 35s
temporary fix for tests Docs #133: Commit fc933ef pushed by YouGuessedMyName
December 5, 2024 15:51 2m 45s several-visualization-features
several-visualization-features
December 5, 2024 15:51 2m 45s
work on visualization and rewards and mapping Docs #132: Commit d2a4669 pushed by YouGuessedMyName
December 2, 2024 16:02 3m 4s several-visualization-features
several-visualization-features
December 2, 2024 16:02 3m 4s
it works for dtmcs + changed how labels and features work in pgc Docs #131: Commit efd58f9 pushed by PimLeerkes
November 30, 2024 15:43 2m 24s 137-state-builder
137-state-builder
November 30, 2024 15:43 2m 24s
wrote first test for mdp pgc Docs #130: Commit 17a443c pushed by PimLeerkes
November 30, 2024 10:53 2m 25s 137-state-builder
137-state-builder
November 30, 2024 10:53 2m 25s