Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
prismmodelchecker
/
prism-ext
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
2
Code
Issues
1
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
master
User selector
All users
Datepicker
All time
Commit history
Commits on Mar 30, 2020
Another array normalise method in PrismUtils.
davexparker
committed
8942060
View commit details
Copy full SHA for 8942060
Browse repository at this point
prism-log-extract: Add --show-fields option to print all fields/meta-fields.
davexparker
committed
4357748
View commit details
Copy full SHA for 4357748
Browse repository at this point
Commits on Mar 28, 2020
prism-auto: --args-list option (command-line version of --args)
Show description for bc8f512
davexparker
committed
bc8f512
View commit details
Copy full SHA for bc8f512
Browse repository at this point
New prism-log-extract script for processing PRISM log files.
Show description for 85a5169
davexparker
committed
85a5169
View commit details
Copy full SHA for 85a5169
Browse repository at this point
prism-auto: Add basic filtering of benchmarks using models.csv metadata.
Show description for 4b77dd2
davexparker
committed
4b77dd2
View commit details
Copy full SHA for 4b77dd2
Browse repository at this point
prism-auto: --log-subdirs option to create benchmark subdirectories for logs.
Show description for cfc7a47
davexparker
committed
cfc7a47
View commit details
Copy full SHA for cfc7a47
Browse repository at this point
Commits on Mar 27, 2020
Parse fraction test RESULT specs with BigRational even in non-exact mode.
davexparker
committed
684d2bf
View commit details
Copy full SHA for 684d2bf
Browse repository at this point
Commits on Mar 11, 2020
Auto-switch to explicit engine for interval interation on Rmin.
davexparker
committed
26fad9a
View commit details
Copy full SHA for 26fad9a
Browse repository at this point
Commits on Mar 8, 2020
Add tra file export to ParamModel (but not connected to -exportmodel etc.).
davexparker
committed
dc1af52
View commit details
Copy full SHA for dc1af52
Browse repository at this point
Commits on Mar 6, 2020
Allow --javamaxmem as well as -javamaxmem (same for --javastack).
Show description for 931bbbb
davexparker
committed
931bbbb
View commit details
Copy full SHA for 931bbbb
Browse repository at this point
Commits on Feb 19, 2020
prism-auto update: remove use of U mode in open() to avoid deprecation errors.
davexparker
committed
0126982
View commit details
Copy full SHA for 0126982
Browse repository at this point
GUI fix: do not show parsing red cross if model is blank.
davexparker
committed
d6bc310
View commit details
Copy full SHA for d6bc310
Browse repository at this point
Commits on Feb 17, 2020
Bugfix: ModulesFileModelGenerator always needs a parent (e.g. for settings).
davexparker
committed
b7b012f
View commit details
Copy full SHA for b7b012f
Browse repository at this point
Commits on Feb 16, 2020
Add TransitionList.getChoiceModuleOrAction().
davexparker
committed
4c75a22
View commit details
Copy full SHA for 4c75a22
Browse repository at this point
Commits on Feb 15, 2020
Matching ModulesFileModelGenerator and ModulesFileModelGeneratorSymbolic.
davexparker
committed
273ed92
View commit details
Copy full SHA for 273ed92
Browse repository at this point
Commits on Feb 11, 2020
Fix in release target of Makefile: force clean_all first.
Show description for 4780e3a
davexparker
committed
4780e3a
View commit details
Copy full SHA for 4780e3a
Browse repository at this point
Commits on Feb 4, 2020
Small change in simulator path initialisation.
Show description for dc4c29e
davexparker
committed
dc4c29e
View commit details
Copy full SHA for dc4c29e
Browse repository at this point
Bugfix: Broken GUI path generation when there are undefined constants.
Show description for 1749f26
davexparker
committed
1749f26
View commit details
Copy full SHA for 1749f26
Browse repository at this point
Commits on Oct 18, 2019
Bug fix in recently added explicit.StateValues.dotProduct method.
davexparker
committed
09263a4
View commit details
Copy full SHA for 09263a4
Browse repository at this point
Commits on Oct 17, 2019
Add dotProduct method to explicit.StateValues (already in symbolic ones).
davexparker
committed
0bdae8b
View commit details
Copy full SHA for 0bdae8b
Browse repository at this point
Small correction in -help message.
davexparker
committed
fbdf516
View commit details
Copy full SHA for fbdf516
Browse repository at this point
Fix format of exported transient/steady-state vectors.
Show description for 1e0ffc1
davexparker
committed
1e0ffc1
View commit details
Copy full SHA for 1e0ffc1
Browse repository at this point
Commits on Sep 6, 2019
Added print statement when error happens in ModelGenerator2MTBDD.
phate09
authored and
davexparker
committed
46d3394
View commit details
Copy full SHA for 46d3394
Browse repository at this point
Commits on Aug 28, 2019
Code tidy: change out-of-date variable names.
davexparker
committed
268f316
View commit details
Copy full SHA for 268f316
Browse repository at this point
Commits on Aug 27, 2019
Bugfix: isMax() in RelOp.MAX. Code is never used currently it seems.
davexparker
committed
9bbfd96
View commit details
Copy full SHA for 9bbfd96
Browse repository at this point
Commits on Aug 16, 2019
Simple sanity check regression test for simulator.
davexparker
committed
316371c
View commit details
Copy full SHA for 316371c
Browse repository at this point
Commits on Jul 17, 2019
Add ModelGenerator interface for explicit model storage (ModelModelGenerator).
Show description for 5cb056d
davexparker
committed
5cb056d
View commit details
Copy full SHA for 5cb056d
Browse repository at this point
Migrate simulator to ModelGenerator from ModulesFile.
Show description for e15283e
davexparker
committed
e15283e
View commit details
Copy full SHA for e15283e
Browse repository at this point
New methods in ModelGenerator, ready for integration into the simulator.
Show description for cb61042
davexparker
committed
cb61042
View commit details
Copy full SHA for cb61042
Browse repository at this point
State reward import from files for explicit engine.
davexparker
committed
3dde812
View commit details
Copy full SHA for 3dde812
Browse repository at this point
Basic auto-detection of model type for explicit file import.
davexparker
committed
a4734bf
View commit details
Copy full SHA for a4734bf
Browse repository at this point
Replace ExplicitFiles2ModulesFile with ExplicitFiles2ModelInfo.
davexparker
committed
03cd899
View commit details
Copy full SHA for 03cd899
Browse repository at this point
New RewardGenerator interface for specifying information about rewards for a model.
Show description for 67bc15f
davexparker
committed
67bc15f
View commit details
Copy full SHA for 67bc15f
Browse repository at this point
Simplify ModelGenerator/ModelInfo interfaces slightly.
Show description for 90a4352
davexparker
committed
90a4352
View commit details
Copy full SHA for 90a4352
Browse repository at this point
Print warning when -importmodel ignores (unsupported) transition rewards file.
davexparker
committed
bf6e02d
View commit details
Copy full SHA for bf6e02d
Browse repository at this point
Previous
Next
You can’t perform that action at this time.
