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

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
Explicit model action storage optimisation (only extend if needed). make-tests #299: Commit a490006 pushed by davexparker
July 9, 2024 16:31 11m 32s master
master
July 9, 2024 16:31 11m 32s
Bugfix in explicit engine action storage. make-tests #297: Commit a84c149 pushed by davexparker
June 27, 2024 08:18 11m 44s master
master
June 27, 2024 08:18 11m 44s
Code to export bisimulation minimised model (commented out). make-tests #295: Commit a7d9f8a pushed by davexparker
June 10, 2024 18:10 10m 1s master
master
June 10, 2024 18:10 10m 1s
Small IMDP/IDTMC solution optimisation (and bugfix). make-tests #294: Commit 0529820 pushed by davexparker
March 27, 2024 18:31 13m 44s master
master
March 27, 2024 18:31 13m 44s
Add power operator a^b, equivalent to pow(a,b). make-tests #293: Commit 9dcd92f pushed by davexparker
March 27, 2024 17:59 10m 4s master
master
March 27, 2024 17:59 10m 4s
Update some VarList methods to respect current evaluation mode. make-tests #292: Commit 95bdff3 pushed by davexparker
March 27, 2024 17:44 10m 48s master
master
March 27, 2024 17:44 10m 48s
GUI simulator fix: column headings when there are variableless modules. make-tests #291: Commit 7e917df pushed by davexparker
March 27, 2024 17:33 10m 40s master
master
March 27, 2024 17:33 10m 40s
Allow the simulator's random number generator to be initialised with … make-tests #290: Commit 17bf38b pushed by davexparker
January 13, 2024 22:20 10m 6s master
master
January 13, 2024 22:20 10m 6s
Update manual. make-tests #289: Commit c541aff pushed by davexparker
January 12, 2024 23:37 11m 58s master
master
January 12, 2024 23:37 11m 58s
Update manual. make-tests #288: Commit 24b85e6 pushed by davexparker
January 12, 2024 23:15 10m 7s master
master
January 12, 2024 23:15 10m 7s
Update make-tests.yml: newer package versions to remove warnings. make-tests #287: Commit 6bf73df pushed by davexparker
January 12, 2024 14:23 10m 9s master
master
January 12, 2024 14:23 10m 9s
Update make-tests.yml: newer package versions to remove warnings. make-tests #286: Commit ca12ca0 pushed by davexparker
January 12, 2024 14:21 9m 38s master
master
January 12, 2024 14:21 9m 38s
Update make-tests.yml: newer package versions to remove warnings. make-tests #285: Commit dcc1726 pushed by davexparker
January 12, 2024 14:16 37s master
master
January 12, 2024 14:16 37s
Update make-tests.yml: newer package versions to remove warnings. make-tests #284: Commit 2aac73d pushed by davexparker
January 12, 2024 14:14 28s master
master
January 12, 2024 14:14 28s
Small README updates. make-tests #283: Commit 8f70273 pushed by davexparker
January 12, 2024 08:45 9m 34s master
master
January 12, 2024 08:45 9m 34s
Small README updates. make-tests #282: Commit 817dd77 pushed by davexparker
January 12, 2024 08:37 10m 14s master
master
January 12, 2024 08:37 10m 14s
Build tidy: document some compiler/linker options. make-tests #281: Commit 29c1927 pushed by davexparker
January 11, 2024 11:04 12m 31s master
master
January 11, 2024 11:04 12m 31s
Build process tidying make-tests #280: Pull request #240 synchronize by davexparker
January 11, 2024 10:43 11m 54s davexparker:build
davexparker:build
January 11, 2024 10:43 11m 54s
Remove -malign-double flag from compilation (was only there for CUDD). make-tests #279: Commit b75e64c pushed by davexparker
January 11, 2024 10:09 11m 49s master
master
January 11, 2024 10:09 11m 49s
Switch --print-failures in prism-auto, enabled by default for "make t… make-tests #278: Commit 95ce0f0 pushed by davexparker
January 10, 2024 22:43 10m 54s master
master
January 10, 2024 22:43 10m 54s
CHANGELOG update. make-tests #277: Commit 8c048dd pushed by davexparker
January 10, 2024 22:04 10m 57s master
master
January 10, 2024 22:04 10m 57s
Update prism-install-windows.bat: Run a Cygwin terminal too. make-tests #276: Commit a6d86d2 pushed by davexparker
January 10, 2024 17:42 13m 3s master
master
January 10, 2024 17:42 13m 3s
Update prism-install-ubuntu script, to avoid install interruptions. make-tests #275: Commit 786d22a pushed by davexparker
January 9, 2024 21:16 9m 31s master
master
January 9, 2024 21:16 9m 31s