Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
UMB (unified Markov binary) format import + export Regression tests #370: Pull request #267 opened by davexparker
10m 16s davexparker:umb2
davexparker:umb2
10m 16s
CHANGELOG. Regression tests #369: Commit 8d1ca77 pushed by davexparker
10m 34s master
master
10m 34s
CHANGELOG Regression tests #368: Commit f40141e pushed by davexparker
11m 36s master
master
11m 36s
Exact model fixes. Regression tests #367: Commit 097948f pushed by davexparker
10m 5s master
master
10m 5s
Optimisations in BasicModelInfo (used in explicit model import). Regression tests #366: Commit 705e27a pushed by davexparker
10m 58s master
master
10m 58s
Fix error message in (symbolic engine) model import. Regression tests #365: Commit 1c6a8db pushed by davexparker
9m 43s master
master
9m 43s
Update python -> python3 in scripts Regression tests #364: Pull request #266 opened by davexparker
10m 13s davexparker:python3
davexparker:python3
10m 13s
Exact mode: models built as BigRational and converted for model check… Regression tests #363: Commit 16e6e76 pushed by davexparker
9m 38s master
master
9m 38s
States/observations optional in Dot file export. Regression tests #362: Commit e6752b2 pushed by davexparker
10m 18s master
master
10m 18s
Import and export improvements Regression tests #361: Pull request #265 opened by davexparker
10m 45s davexparker:import+export
davexparker:import+export
10m 45s
Fix to allow cross-compiling Arm->Intel on macOS. Regression tests #360: Commit 77870e3 pushed by davexparker
11m 3s master
master
11m 3s
Fix to allow cross-compiling Arm->Intel on macOS. Regression tests #359: Pull request #264 opened by davexparker
10m 4s davexparker:fix-mac-cross-compile
davexparker:fix-mac-cross-compile
10m 4s
Remove some dependencies on ModulesFile in model checkers. Regression tests #358: Commit fbced13 pushed by davexparker
9m 56s master
master
9m 56s
Update scripts to avoid warnings regarding JNI access. Regression tests #357: Commit 8589913 pushed by davexparker
11m 5s master
master
11m 5s
Update scripts to avoid warnings regarding JNI access. Regression tests #356: Pull request #261 synchronize by davexparker
9m 49s davexparker:fix-jni-warning
davexparker:fix-jni-warning
9m 49s
Explicit model find/fix-deadlocks methods update action list if needed. Regression tests #355: Commit 55ded8d pushed by davexparker
10m 36s master
master
10m 36s
Action storage improvements Regression tests #354: Pull request #263 opened by davexparker
11m 0s davexparker:actions
davexparker:actions
11m 0s
Makefile fix: remove annotation processing warnings. Regression tests #353: Commit ec753b4 pushed by davexparker
9m 55s master
master
9m 55s
Error message tweak. Regression tests #352: Commit bf03629 pushed by davexparker
11m 10s master
master
11m 10s
Enable full LTL for interval MDPs/DTMCs. Regression tests #351: Commit 37c5643 pushed by davexparker
9m 42s master
master
9m 42s
Allow negative rewards for combined model export too. Regression tests #350: Commit 2e82deb pushed by davexparker
10m 12s master
master
10m 12s
Symbolic engine can export rewards with negative values. Regression tests #349: Commit 4fc15b6 pushed by davexparker
11m 22s master
master
11m 22s
Fix Python warning (unclosed file) in prism-log-extract. Regression tests #348: Commit a1e8431 pushed by davexparker
12m 47s master
master
12m 47s
Allow export (but not model checking) of negative rewards Regression tests #347: Pull request #262 opened by davexparker
13m 1s davexparker:negative-rewards
davexparker:negative-rewards
13m 1s
Version number (3.9.dev). Regression tests #346: Commit 8f67cd2 pushed by davexparker
9m 38s master
master
9m 38s