Skip to content

Actions: prismmodelchecker/prism

Actions

Regression tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
make-tests.yml
149 workflow runs
149 workflow runs

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
MDP solution via linear programming for explicit engine. Regression tests #481: Pull request #149 synchronize by davexparker
9m 19s davexparker:lp
davexparker:lp
9m 19s
Explicit engine until precomp bugfix. Regression tests #480: Commit dd6e603 pushed by davexparker
9m 23s master
master
9m 23s
Fix -exportstrat stdout.<ext> handling. Regression tests #479: Commit e1650c0 pushed by davexparker
9m 36s master
master
9m 36s
Fix -exportstrat stdout.<ext> handling Regression tests #478: Pull request #278 opened by davexparker
9m 19s davexparker:strat-stdout
davexparker:strat-stdout
9m 19s
Add prism-download.sh script to download GH release assets. Regression tests #477: Commit 8a05345 pushed by davexparker
9m 49s master
master
9m 49s
Remove old Windows release GH action. Regression tests #476: Commit ed25567 pushed by davexparker
9m 44s master
master
9m 44s
Merge Windows build into GH release action. Regression tests #475: Commit 76395a0 pushed by davexparker
10m 22s master
master
10m 22s
GH release action: trigger on tag push. Regression tests #474: Commit c9ca3d3 pushed by davexparker
9m 31s master
master
9m 31s
Fix version comparison. Regression tests #473: Commit 3023ec1 pushed by davexparker
9m 7s master
master
9m 7s
Version handling Regression tests #472: Pull request #277 synchronize by davexparker
9m 47s davexparker:versions
davexparker:versions
9m 47s
Version handling Regression tests #471: Pull request #277 opened by davexparker
9m 56s davexparker:versions
davexparker:versions
9m 56s
PrismLog usage bug fixes. Regression tests #470: Commit 16ddc99 pushed by davexparker
10m 3s master
master
10m 3s
Version info. Regression tests #469: Commit 22f0589 pushed by davexparker
10m 27s master
master
10m 27s
Update manual. Regression tests #468: Commit f082f33 pushed by davexparker
9m 40s master
master
9m 40s
Version info. Regression tests #467: Commit 11c81be pushed by davexparker
11m 54s master
master
11m 54s
Update CHANGELOG. Regression tests #466: Commit dfd9bb2 pushed by davexparker
8m 40s master
master
8m 40s
Default constructor Prism() for main Prism API. Regression tests #465: Commit 9867822 pushed by davexparker
9m 56s master
master
9m 56s
umb: Bugfix in UMBBitString sign extensions. Regression tests #464: Commit 1e88210 pushed by davexparker
11m 3s master
master
11m 3s
UMB fixes Regression tests #463: Pull request #276 synchronize by davexparker
9m 50s davexparker:umb
davexparker:umb
9m 50s
UMB fixes Regression tests #462: Pull request #276 synchronize by davexparker
9m 55s davexparker:umb
davexparker:umb
9m 55s
Update lib/README (jars list). Regression tests #461: Commit 619a99d pushed by davexparker
8m 53s master
master
8m 53s
Bugfix: Broken import of initial states import from .lab file. Regression tests #460: Commit 32786bb pushed by davexparker
8m 49s master
master
8m 49s
UMB fixes Regression tests #459: Pull request #276 opened by davexparker
9m 10s davexparker:umb
davexparker:umb
9m 10s
Minor updates for JAR dependencies. Regression tests #458: Commit 62577bd pushed by davexparker
9m 44s master
master
9m 44s
Native code in Prism only loaded/initialised on demand. Regression tests #457: Commit e2b6f50 pushed by davexparker
9m 47s master
master
9m 47s