Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

States/observations optional in Dot file export. make-tests #362: Commit e6752b2 pushed by davexparker
10m 18s master
master
10m 18s
Import and export improvements make-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. make-tests #360: Commit 77870e3 pushed by davexparker
11m 3s master
master
11m 3s
Fix to allow cross-compiling Arm->Intel on macOS. make-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. make-tests #358: Commit fbced13 pushed by davexparker
9m 56s master
master
9m 56s
Update scripts to avoid warnings regarding JNI access. make-tests #357: Commit 8589913 pushed by davexparker
11m 5s master
master
11m 5s
Update scripts to avoid warnings regarding JNI access. make-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. make-tests #355: Commit 55ded8d pushed by davexparker
10m 36s master
master
10m 36s
Action storage improvements make-tests #354: Pull request #263 opened by davexparker
11m 0s davexparker:actions
davexparker:actions
11m 0s
Makefile fix: remove annotation processing warnings. make-tests #353: Commit ec753b4 pushed by davexparker
9m 55s master
master
9m 55s
Error message tweak. make-tests #352: Commit bf03629 pushed by davexparker
11m 10s master
master
11m 10s
Enable full LTL for interval MDPs/DTMCs. make-tests #351: Commit 37c5643 pushed by davexparker
9m 42s master
master
9m 42s
Allow negative rewards for combined model export too. make-tests #350: Commit 2e82deb pushed by davexparker
10m 12s master
master
10m 12s
Symbolic engine can export rewards with negative values. make-tests #349: Commit 4fc15b6 pushed by davexparker
11m 22s master
master
11m 22s
Fix Python warning (unclosed file) in prism-log-extract. make-tests #348: Commit a1e8431 pushed by davexparker
12m 47s master
master
12m 47s
Allow export (but not model checking) of negative rewards make-tests #347: Pull request #262 opened by davexparker
13m 1s davexparker:negative-rewards
davexparker:negative-rewards
13m 1s
Version number (3.9.dev). make-tests #346: Commit 8f67cd2 pushed by davexparker
9m 38s master
master
9m 38s
Update manual. make-tests #345: Commit 08457fb pushed by davexparker
9m 46s master
master
9m 46s
Update scripts to avoid warnings regarding JNI access. make-tests #344: Pull request #261 opened by davexparker
10m 23s davexparker:fix-jni-warning
davexparker:fix-jni-warning
10m 23s
Optimise PrismUtils.formatDouble (used heavily for model exports). make-tests #343: Commit 47f2823 pushed by davexparker
9m 32s master
master
9m 32s
Compile fix (enums in switches). make-tests #342: Commit 687d209 pushed by davexparker
10m 4s master
master
10m 4s
Model export + import improvements/refactoring make-tests #341: Pull request #260 opened by davexparker
24m 46s davexparker:export+import
davexparker:export+import
24m 46s
CTMC.getEmbeddedTransitionsIterator. make-tests #340: Commit fc2e550 pushed by davexparker
27m 3s master
master
27m 3s
Fixes in display of DD info for symbolic models. make-tests #339: Commit 4dd551a pushed by davexparker
10m 33s master
master
10m 33s
MDP solution via linear programming for explicit engine. make-tests #336: Pull request #149 synchronize by davexparker
6m 6s davexparker:lp
davexparker:lp
6m 6s