Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
239 workflow runs
239 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
Add missing reward computation functionality, including discounts Regression tests #525: Pull request #295 synchronize by davexparker
9m 41s davexparker:rewards
davexparker:rewards
9m 41s
Running Copilot Code Review Copilot #9: by Copilot AI
8m 45s master
master
8m 45s
Add missing reward computation functionality, including discounts Regression tests #524: Pull request #295 opened by davexparker
11m 51s davexparker:rewards
davexparker:rewards
11m 51s
Add export of strategy as .pexp/.umb to GUI too. Regression tests #523: Commit 1eee022 pushed by davexparker
9m 40s master
master
9m 40s
-exportstrat can export full induced model, including states/labels/rewards (to .pexp, .umb) Regression tests #522: Pull request #294 synchronize by davexparker
11m 5s davexparker:exportstrat
davexparker:exportstrat
11m 5s
Update install.sh message for macOS. Regression tests #521: Commit bf0b313 pushed by davexparker
10m 35s master
master
10m 35s
-exportstrat can export full induced model, including states/labels/rewards (to .pexp, .umb) Regression tests #520: Pull request #294 synchronize by davexparker
9m 27s davexparker:exportstrat
davexparker:exportstrat
9m 27s
-exportstrat can export full induced model, including states/labels/rewards (to .pexp, .umb) Regression tests #519: Pull request #294 synchronize by davexparker
9m 13s davexparker:exportstrat
davexparker:exportstrat
9m 13s
Running Copilot Code Review Copilot #8: by Copilot AI
7m 53s master
master
7m 53s
-exportstrat can export full induced model, including states/labels/rewards (to .pexp, .umb) Regression tests #518: Pull request #294 opened by davexparker
10m 3s davexparker:exportstrat
davexparker:exportstrat
10m 3s
Update prism-tests/README.md and example files. Regression tests #517: Commit a482b0a pushed by davexparker
9m 54s master
master
9m 54s
Update prism-tests/README.md and example files Regression tests #516: Pull request #293 opened by davexparker
10m 16s davexparker:test-readme
davexparker:test-readme
10m 16s
Update RewardGenerator.isRewardLookupSupported. Regression tests #515: Commit 9f064ce pushed by davexparker
9m 50s master
master
9m 50s
Running Copilot Code Review Copilot #7: by Copilot AI
4m 59s master
master
4m 59s
-exportstrat can export full induced model, including states/labels/rewards Regression tests #514: Pull request #292 opened by davexparker
7m 25s davexparker:exportstrat
davexparker:exportstrat
7m 25s
Remove unused MDPRewards import in LTLModelChecker Regression tests #513: Commit 9486c77 pushed by davexparker
10m 48s master
master
10m 48s
Rewards (and labels) attach-able to explicit.Model Regression tests #512: Pull request #291 synchronize by davexparker
9m 42s davexparker:attach-model
davexparker:attach-model
9m 42s
Running Copilot Code Review Copilot #6: by Copilot AI
6m 1s master
master
6m 1s
Rewards (and labels) attach-able to explicit.Model Regression tests #511: Pull request #291 opened by davexparker
8m 51s davexparker:attach-model
davexparker:attach-model
8m 51s
Close input stream on CompressorException in ModelImportUnzipper. Regression tests #510: Commit d4a2c64 pushed by davexparker
10m 29s master
master
10m 29s
Model export/import improvements, including headers and combined .pexp format Regression tests #509: Pull request #290 synchronize by davexparker
9m 38s davexparker:export+import
davexparker:export+import
9m 38s
Running Copilot Code Review Copilot #5: by Copilot AI
13m 30s master
master
13m 30s
Model export/import improvements, including headers and combined .pexp format Regression tests #508: Pull request #290 opened by davexparker
6m 6s davexparker:export+import
davexparker:export+import
6m 6s
Allow -xx:opt as shorthand for -xx:opt=true in commmand-line switches. Regression tests #507: Commit 7c8ea3d pushed by davexparker
10m 39s master
master
10m 39s
Unhide the -mainlog switch (from -help). Regression tests #506: Commit a2b1a81 pushed by davexparker
8m 45s master
master
8m 45s