Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add getSupport() and getSupportString() to DistributionOver. make-tests #325: Commit b491df7 pushed by davexparker
January 14, 2025 17:54 10m 58s master
master
January 14, 2025 17:54 10m 58s
Add Rabinizer LTL-to-automaton script for Windows usage. make-tests #324: Commit 0e4d2a5 pushed by davexparker
January 10, 2025 20:35 11m 51s master
master
January 10, 2025 20:35 11m 51s
Update install.sh to suggest running xattr on macOS. make-tests #323: Commit 24cb3a3 pushed by davexparker
January 7, 2025 17:31 9m 29s master
master
January 7, 2025 17:31 9m 29s
Always use .dylib, not .jnilib, for shared libraries on macOS. make-tests #322: Commit 9dfdcae pushed by davexparker
January 6, 2025 16:42 11m 13s master
master
January 6, 2025 16:42 11m 13s
Always use .dylib, not .jnilib, for shared libraries on macOS make-tests #321: Pull request #255 synchronize by davexparker
January 6, 2025 16:31 10m 35s davexparker:build
davexparker:build
January 6, 2025 16:31 10m 35s
prism-auto fix: pipes.quote removed from Python 3.13. Use shlex. make-tests #320: Commit 1feed30 pushed by davexparker
January 6, 2025 16:28 9m 53s master
master
January 6, 2025 16:28 9m 53s
JUnit tests change: "make unittests" runs in quiet mode. make-tests #319: Commit b55f316 pushed by davexparker
January 6, 2025 16:27 10m 23s master
master
January 6, 2025 16:27 10m 23s
prism-auto fix (pipes -> shlex) make-tests #318: Pull request #256 opened by davexparker
January 6, 2025 16:15 10m 45s davexparker:prism-auto-fix
davexparker:prism-auto-fix
January 6, 2025 16:15 10m 45s
Always use .dylib, not .jnilib, for shared libraries on macOS make-tests #317: Pull request #255 opened by davexparker
January 6, 2025 15:44 2m 40s davexparker:build
davexparker:build
January 6, 2025 15:44 2m 40s
Bugfix: Explicit import of rewards files for IMDPs. make-tests #316: Commit ed80e0e pushed by davexparker
September 30, 2024 16:14 11m 14s master
master
September 30, 2024 16:14 11m 14s
Update/fix output of parsed model info. make-tests #315: Commit 1f86cc2 pushed by davexparker
September 26, 2024 08:20 9m 8s master
master
September 26, 2024 08:20 9m 8s
Check for transition reward consistency when importing from .trew files. make-tests #314: Commit 6b871ec pushed by davexparker
September 25, 2024 20:59 9m 56s master
master
September 25, 2024 20:59 9m 56s
Import from explicit files make-tests #313: Pull request #250 synchronize by davexparker
September 25, 2024 19:07 10m 14s davexparker:import
davexparker:import
September 25, 2024 19:07 10m 14s
Import from explicit files make-tests #311: Pull request #250 opened by davexparker
September 16, 2024 12:44 9m 17s davexparker:import
davexparker:import
September 16, 2024 12:44 9m 17s
Reward export bugfix (symbolic engines) - print header for namesless … make-tests #310: Commit 6aef9a3 pushed by davexparker
September 16, 2024 07:26 10m 2s master
master
September 16, 2024 07:26 10m 2s
Update cudd (from repo). make-tests #309: Commit 95f0dd7 pushed by davexparker
August 8, 2024 15:41 10m 23s master
master
August 8, 2024 15:41 10m 23s
CHANGELOG. make-tests #308: Commit 7d06764 pushed by davexparker
August 8, 2024 15:40 10m 1s master
master
August 8, 2024 15:40 10m 1s
Refactoring: API, parametric/exact, symbolic make-tests #307: Pull request #249 opened by davexparker
August 8, 2024 15:14 9m 42s davexparker:api
davexparker:api
August 8, 2024 15:14 9m 42s
RewardsSimple bugfix: error in (unused) constructor with map. make-tests #306: Commit 1de42fa pushed by davexparker
August 8, 2024 12:30 9m 9s master
master
August 8, 2024 12:30 9m 9s
Update cudd: Fix IEEE 754 +Infinity check in configure script make-tests #305: Pull request #248 opened by davexparker
August 7, 2024 11:04 12m 6s davexparker:cuddfix
davexparker:cuddfix
August 7, 2024 11:04 12m 6s
Explicit engine Markov chain actions and transition rewards make-tests #304: Pull request #247 opened by davexparker
July 19, 2024 20:24 10m 39s davexparker:actions+rewards
davexparker:actions+rewards
July 19, 2024 20:24 10m 39s
prism-auto: Add .obs to list of export filename extensions. make-tests #303: Commit e8b3d20 pushed by davexparker
July 15, 2024 09:51 9m 10s master
master
July 15, 2024 09:51 9m 10s
Explicit engine model export refactoring and enhancements make-tests #302: Pull request #246 synchronize by davexparker
July 15, 2024 09:37 11m 4s davexparker:export2
davexparker:export2
July 15, 2024 09:37 11m 4s
Explicit engine model export refactoring and enhancements make-tests #301: Pull request #246 synchronize by davexparker
July 10, 2024 07:41 11m 5s davexparker:export2
davexparker:export2
July 10, 2024 07:41 11m 5s
Explicit engine model export refactoring and enhancements make-tests #300: Pull request #246 opened by davexparker
July 9, 2024 23:45 6m 11s davexparker:export2
davexparker:export2
July 9, 2024 23:45 6m 11s