Skip to content

Actions: moves-rwth/storm

Actions

check-code-format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatcheck.yml
560 workflow runs
560 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

resolve unused parameter warnings in spotproduct check-code-format #844: Pull request #496 synchronize by sjunges
June 2, 2024 21:00 27s sjunges:cleanspotproduct
sjunges:cleanspotproduct
June 2, 2024 21:00 27s
LP solver support improvements (#536) check-code-format #843: Commit 7390f75 pushed by sjunges
June 1, 2024 20:49 25s master
master
June 1, 2024 20:49 25s
Added output of MEC statistics. (#558) check-code-format #842: Commit 859167d pushed by sjunges
June 1, 2024 20:46 25s master
master
June 1, 2024 20:46 25s
Improve error in API concerning properties containing model variables… check-code-format #841: Commit 373de5e pushed by sjunges
June 1, 2024 20:45 24s master
master
June 1, 2024 20:45 24s
Fix policy iteration for minimal reach reward properties (#554) check-code-format #840: Commit b997186 pushed by sjunges
June 1, 2024 20:39 26s master
master
June 1, 2024 20:39 26s
Follow general output precision in DFT approximation check-code-format #839: Pull request #563 opened by volkm
May 31, 2024 09:36 29s volkm:cli_precision
volkm:cli_precision
May 31, 2024 09:36 29s
CI to create Docker releases check-code-format #838: Pull request #562 opened by volkm
May 29, 2024 21:31 26s volkm:ci_release
volkm:ci_release
May 29, 2024 21:31 26s
Fix always introducing the unexplored label. Fixes #559. (#560) check-code-format #837: Commit 818b46b pushed by tquatmann
May 29, 2024 13:01 28s master
master
May 29, 2024 13:01 28s
Dependabot to automatically update Github actions check-code-format #836: Pull request #561 opened by volkm
May 29, 2024 12:03 26s volkm:dependabot
volkm:dependabot
May 29, 2024 12:03 26s
Fix always introducing the unexplored label. Fixes #559. check-code-format #835: Pull request #560 opened by tquatmann
May 29, 2024 11:45 29s tquatmann:fix-unexplored
tquatmann:fix-unexplored
May 29, 2024 11:45 29s
Add warning in API concerning properties containing model variables check-code-format #834: Pull request #557 synchronize by AlexBork
May 29, 2024 10:59 33s AlexBork:api-property-warning
AlexBork:api-property-warning
May 29, 2024 10:59 33s
LP solver support check-code-format #833: Pull request #536 synchronize by volkm
May 29, 2024 10:04 37s sjunges:lpsolversupport
sjunges:lpsolversupport
May 29, 2024 10:04 37s
Fix policy iteration for minimal reach reward properties check-code-format #832: Pull request #554 synchronize by tquatmann
May 29, 2024 09:04 29s sjunges:policyiteration-bughunt
sjunges:policyiteration-bughunt
May 29, 2024 09:04 29s
Fix policy iteration for minimal reach reward properties check-code-format #831: Pull request #554 synchronize by tquatmann
May 29, 2024 08:59 24s sjunges:policyiteration-bughunt
sjunges:policyiteration-bughunt
May 29, 2024 08:59 24s
Added output of MEC statistics. check-code-format #830: Pull request #558 opened by tquatmann
May 29, 2024 07:48 25s tquatmann:mec-statistics
tquatmann:mec-statistics
May 29, 2024 07:48 25s
Add warning in API concerning properties containing model variables check-code-format #829: Pull request #557 opened by AlexBork
May 28, 2024 13:57 32s AlexBork:api-property-warning
AlexBork:api-property-warning
May 28, 2024 13:57 32s
Integrate sin, cos and constants to Storm Jani parser check-code-format #828: Pull request #556 synchronize by MarcoLm993
May 27, 2024 11:58 27s boschresearch:support-for-sin-cos-constants
boschresearch:support-for-sin-cos-constants
May 27, 2024 11:58 27s
Integrate sin, cos and constants to Storm Jani parser check-code-format #827: Pull request #556 opened by MarcoLm993
May 27, 2024 11:38 29s boschresearch:support-for-sin-cos-constants
boschresearch:support-for-sin-cos-constants
May 27, 2024 11:38 29s
Fix policy iteration for minimal reach reward properties check-code-format #826: Pull request #554 opened by sjunges
May 24, 2024 20:43 31s sjunges:policyiteration-bughunt
sjunges:policyiteration-bughunt
May 24, 2024 20:43 31s
LP solver support check-code-format #825: Pull request #536 synchronize by sjunges
May 24, 2024 18:49 27s sjunges:lpsolversupport
sjunges:lpsolversupport
May 24, 2024 18:49 27s
LP solver support check-code-format #824: Pull request #536 synchronize by sjunges
May 24, 2024 18:46 29s sjunges:lpsolversupport
sjunges:lpsolversupport
May 24, 2024 18:46 29s
Added option to limit the number of explored states (#521) check-code-format #823: Commit a8cc933 pushed by tquatmann
May 24, 2024 14:53 26s master
master
May 24, 2024 14:53 26s
LP solver support check-code-format #822: Pull request #536 synchronize by sjunges
May 24, 2024 09:23 34s sjunges:lpsolversupport
sjunges:lpsolversupport
May 24, 2024 09:23 34s
remove some warnings (#538) check-code-format #821: Commit c066774 pushed by sjunges
May 24, 2024 09:17 33s master
master
May 24, 2024 09:17 33s
remove some headers (#544) check-code-format #820: Commit f8d1340 pushed by sjunges
May 24, 2024 09:16 30s master
master
May 24, 2024 09:16 30s