8000 Workflow runs · prismmodelchecker/prism · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scripts to avoid warnings regarding JNI access. make-tests #344: Pull request #261 opened by davexparker
July 1, 2025 21:56 10m 23s davexparker:fix-jni-warning
davexparker:fix-jni-warning
July 1, 2025 21:56 10m 23s
Optimise PrismUtils.formatDouble (used heavily for model exports). make-tests #343: Commit 47f2823 pushed by davexparker
July 1, 2025 21:43 9m 32s master
master
July 1, 2025 21:43 9m 32s
Compile fix (enums in switches). make-tests #342: Commit 687d209 pushed by davexparker
June 6, 2025 09:47 10m 4s master
master
June 6, 2025 09:47 10m 4s
Model export + import improvements/refactoring make-tests #341: Pull request #260 opened by davexparker
June 5, 2025 18:39 24m 46s davexparker:export+import
davexparker:export+import
June 5, 2025 18:39 24m 46s
CTMC.getEmbeddedTransitionsIterator. make-tests #340: Commit fc2e550 pushed by davexparker
June 5, 2025 18:37 27m 3s master
master
June 5, 2025 18:37 27m 3s
Fixes in display of DD info for symbolic models. make-tests #339: Commit 4dd551a pushed by davexparker
May 17, 2025 12:49 10m 33s master
master
May 17, 2025 12:49 10m 33s
MDP solution via linear programming for explicit engine. make-tests #336: Pull request #149 synchronize by davexparker
May 6, 2025 16:36 6m 6s davexparker:lp
davexparker:lp
May 6, 2025 16:36 6m 6s
MDP solution via linear programming for explicit engine. make-tests #335: Pull request #149 synchronize by davexparker
May 6, 2025 16:24 5m 5s davexparker:lp
davexparker:lp
May 6, 2025 16:24 5m 5s
MDP solution via linear programming for explicit engine. make-tests #334: Pull request #149 synchronize by davexparker
May 6, 2025 16:16 6m 6s davexparker:lp
davexparker:lp
May 6, 2025 16:16 6m 6s
lpsolve compile fix: tests in ccc scripts were using old-style C code. make-tests #333: Commit b2abb40 pushed by davexparker
May 2, 2025 13:34 11m 26s master
master
May 2, 2025 13:34 11m 26s
Comment fix. make-tests #332: Commit 45a3662 pushed by davexparker
May 2, 2025 13:33 10m 55s master
master

May 2, 2025 13:33 10m 55s

lpsolve fix make-tests #331: Pull request #259 opened by davexparker
May 2, 2025 10:40 10m 44s davexparker:lpsolve-fix
davexparker:lpsolve-fix
May 2, 2025 10:40 10m 44s
Bug (performance not correctness) in interval model construction. make-tests #330: Commit f3affa5 pushed by davexparker
March 7, 2025 19:49 10m 51s master
master
March 7, 2025 19:49 10m 51s
Help message typo. make-tests #329: Commit f2c2342 pushed by davexparker
February 17, 2025 11:32 10m 6s master
master
February 17, 2025 11:32 10m 6s
Help message typo. make-tests #328: Commit b35b971 pushed by davexparker
February 17, 2025 11:23 5m 58s master
master
February 17, 2025 11:23 5m 58s
Explicit engine computes optimal strategy for Rmax=? [ C ]. make-tests #327: Commit 299a7c5 pushed by davexparker
February 5, 2025 09:09 10m 44s master
master
February 5, 2025 09:09 10m 44s
Fix for -exportvector: uses the log (not stdout) when specified as "s… make-tests #326: Commit e26cc9e pushed by davexparker
January 15, 2025 12:14 11m 28s master
master
January 15, 2025 12:14 11m 28s
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
23FC
January 6, 2025 16:15 10m 45s
0