{"action":"closed","number":98,"pull_request":{"url":"https://api.github.com/repos/prismmodelchecker/prism/pulls/98","id":236523743,"node_id":"MDExOlB1bGxSZXF1ZXN0MjM2NTIzNzQz","html_url":"https://github.com/prismmodelchecker/prism/pull/98","diff_url":"https://github.com/prismmodelchecker/prism/pull/98.diff","patch_url":"https://github.com/prismmodelchecker/prism/pull/98.patch","issue_url":"https://api.github.com/repos/prismmodelchecker/prism/issues/98","number":98,"state":"closed","locked":false,"title":"Auto-switch to MTBDD engine if state space is too large","user":{"login":"kleinj","id":7789974,"node_id":"MDQ6VXNlcjc3ODk5NzQ=","avatar_url":"https://avatars1.githubusercontent.com/u/7789974?v=4","gravatar_id":"","url":"https://api.github.com/users/kleinj","html_url":"https://github.com/kleinj","followers_url":"https://api.github.com/users/kleinj/followers","following_url":"https://api.github.com/users/kleinj/following{/other_user}","gists_url":"https://api.github.com/users/kleinj/gists{/gist_id}","starred_url":"https://api.github.com/users/kleinj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kleinj/subscriptions","organizations_url":"https://api.github.com/users/kleinj/orgs","repos_url":"https://api.github.com/users/kleinj/repos","events_url":"https://api.github.com/users/kleinj/events{/privacy}","received_events_url":"https://api.github.com/users/kleinj/received_events","type":"User","site_admin":false},"body":"Currently, if PRISM is run with `-hybrid` (the default engine setting) or with `-sparse` and the model has more than 2^31-1 states, we throw a `PrismNotSupportedException`, as both sparse and hybrid engine is limited to `int` state indices.\r\n\r\nWith this change, after (symbolic) model building, we check if the number of states is larger than that limit and instead auto-switch to the MTBDD engine. This might lead to some 'not supported' errors later (e.g., for properties that are unsupported in the MTBDD engine), but those would have failed for the initially configured engine anyways.","created_at":"2018-12-06T13:07:27Z","updated_at":"2018-12-06T14:12:48Z","closed_at":"2018-12-06T14:12:48Z","merged_at":"2018-12-06T14:12:48Z","merge_commit_sha":"98c019b1750cba307054da43ff4135912ea65e9e","assignee":null,"assignees":[],"requested_reviewers":[{"login":"davexparker","id":6075003,"node_id":"MDQ6VXNlcjYwNzUwMDM=","avatar_url":"https://avatars1.githubusercontent.com/u/6075003?v=4","gravatar_id":"","url":"https://api.github.com/users/davexparker","html_url":"https://github.com/davexparker","followers_url":"https://api.github.com/users/davexparker/followers","following_url":"https://api.github.com/users/davexparker/following{/other_user}","gists_url":"https://api.github.com/users/davexparker/gists{/gist_id}","starred_url":"https://api.github.com/users/davexparker/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davexparker/subscriptions","organizations_url":"https://api.github.com/users/davexparker/orgs","repos_url":"https://api.github.com/users/davexparker/repos","events_url":"https://api.github.com/users/davexparker/events{/privacy}","received_events_url":"https://api.github.com/users/davexparker/received_events","type":"User","site_admin":false}],"requested_teams":[],"labels":[{"id":307107609,"node_id":"MDU6TGFiZWwzMDcxMDc2MDk=","url":"https://api.github.com/repos/prismmodelchecker/prism/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"milestone":null,"commits_url":"https://api.github.com/repos/prismmodelchecker/prism/pulls/98/commits","review_comments_url":"https://api.github.com/repos/prismmodelchecker/prism/pulls/98/comments","review_comment_url":"https://api.github.com/repos/prismmodelchecker/prism/pulls/comments{/number}","comments_url":"https://api.github.com/repos/prismmodelchecker/prism/issues/98/comments","statuses_url":"https://api.github.com/repos/prismmodelchecker/prism/statuses/12819b63dcf7b1d863196b01584c595fc12558e0","head":{"label":"kleinj:pr-switch-to-mtbdd","ref":"pr-switch-to-mtbdd","sha":"12819b63dcf7b1d863196b01584c595fc12558e0","user":{"login":"kleinj","id":7789974,"node_id":"MDQ6VXNlcjc3ODk5NzQ=","avatar_url":"https://avatars1.githubusercontent.com/u/7789974?v=4","gravatar_id":"","url":"https://api.github.com/users/kleinj","html_url":"https://github.com/kleinj","followers_url":"https://api.github.com/users/kleinj/followers","following_url":"https://api.github.com/users/kleinj/following{/other_user}","gists_url":"https://api.github.com/users/kleinj/gists{/gist_id}","starred_url":"https://api.github.com/users/kleinj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kleinj/subscriptions","organizations_url":"https://api.github.com/users/kleinj/orgs","repos_url":"https://api.github.com/users/kleinj/repos","events_url":"https://api.github.com/users/kleinj/events{/privacy}","received_events_url":"https://api.github.com/users/kleinj/received_events","type":"User","site_admin":false},"repo":{"id":100483132,"node_id":"MDEwOlJlcG9zaXRvcnkxMDA0ODMxMzI=","name":"prism","full_name":"kleinj/prism","private":false,"owner":{"login":"kleinj","id":7789974,"node_id":"MDQ6VXNlcjc3ODk5NzQ=","avatar_url":"https://avatars1.githubusercontent.com/u/7789974?v=4","gravatar_id":"","url":"https://api.github.com/users/kleinj","html_url":"https://github.com/kleinj","followers_url":"https://api.github.com/users/kleinj/followers","following_url":"https://api.github.com/users/kleinj/following{/other_user}","gists_url":"https://api.github.com/users/kleinj/gists{/gist_id}","starred_url":"https://api.github.com/users/kleinj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kleinj/subscriptions","organizations_url":"https://api.github.com/users/kleinj/orgs","repos_url":"https://api.github.com/users/kleinj/repos","events_url":"https://api.github.com/users/kleinj/events{/privacy}","received_events_url":"https://api.github.com/users/kleinj/received_events","type":"User","site_admin":false},"html_url":"https://github.com/kleinj/prism","description":"Development fork of the PRISM model checker; beware, short-lived / changing branches.","fork":true,"url":"https://api.github.com/repos/kleinj/prism","forks_url":"https://api.github.com/repos/kleinj/prism/forks","keys_url":"https://api.github.com/repos/kleinj/prism/keys{/key_id}","collaborators_url":"https://api.github.com/repos/kleinj/prism/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/kleinj/prism/teams","hooks_url":"https://api.github.com/repos/kleinj/prism/hooks","issue_events_url":"https://api.github.com/repos/kleinj/prism/issues/events{/number}","events_url":"https://api.github.com/repos/kleinj/prism/events","assignees_url":"https://api.github.com/repos/kleinj/prism/assignees{/user}","branches_url":"https://api.github.com/repos/kleinj/prism/branches{/branch}","tags_url":"https://api.github.com/repos/kleinj/prism/tags","blobs_url":"https://api.github.com/repos/kleinj/prism/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/kleinj/prism/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/kleinj/prism/git/refs{/sha}","trees_url":"https://api.github.com/repos/kleinj/prism/git/trees{/sha}","statuses_url":"https://api.github.com/repos/kleinj/prism/statuses/{sha}","languages_url":"https://api.github.com/repos/kleinj/prism/languages","stargazers_url":"https://api.github.com/repos/kleinj/prism/stargazers","contributors_url":"https://api.github.com/repos/kleinj/prism/contributors","subscribers_url":"https://api.github.com/repos/kleinj/prism/subscribers","subscription_url":"https://api.github.com/repos/kleinj/prism/subscription","commits_url":"https://api.github.com/repos/kleinj/prism/commits{/sha}","git_commits_url":"https://api.github.com/repos/kleinj/prism/git/commits{/sha}","comments_url":"https://api.github.com/repos/kleinj/prism/comments{/number}","issue_comment_url":"https://api.github.com/repos/kleinj/prism/issues/comments{/number}","contents_url":"https://api.github.com/repos/kleinj/prism/contents/{+path}","compare_url":"https://api.github.com/repos/kleinj/prism/compare/{base}...{head}","merges_url":"https://api.github.com/repos/kleinj/prism/merges","archive_url":"https://api.github.com/repos/kleinj/prism/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/kleinj/prism/downloads","issues_url":"https://api.github.com/repos/kleinj/prism/issues{/number}","pulls_url":"https://api.github.com/repos/kleinj/prism/pulls{/number}","milestones_url":"https://api.github.com/repos/kleinj/prism/milestones{/number}","notifications_url":"https://api.github.com/repos/kleinj/prism/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/kleinj/prism/labels{/name}","releases_url":"https://api.github.com/repos/kleinj/prism/releases{/id}","deployments_url":"https://api.github.com/repos/kleinj/prism/deployments","created_at":"2017-08-16T11:43:44Z","updated_at":"2018-12-06T12:45:24Z","pushed_at":"2018-12-06T12:45:16Z","git_url":"git://github.com/kleinj/prism.git","ssh_url":"git@github.com:kleinj/prism.git","clone_url":"https://github.com/kleinj/prism.git","svn_url":"https://github.com/kleinj/prism","homepage":"","size":26779,"stargazers_count":0,"watchers_count":0,"language":"Java","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"gpl-2.0","name":"GNU General Public License v2.0","spdx_id":"GPL-2.0","url":"https://api.github.com/licenses/gpl-2.0","node_id":"MDc6TGljZW5zZTg="},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"prismmodelchecker:master","ref":"master","sha":"262440f004a956f5e1c7b5451d28c30f392ba4f5","user":{"login":"prismmodelchecker","id":12241098,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEyMjQxMDk4","avatar_url":"https://avatars0.githubusercontent.com/u/12241098?v=4","gravatar_id":"","url":"https://api.github.com/users/prismmodelchecker","html_url":"https://github.com/prismmodelchecker","followers_url":"https://api.github.com/users/prismmodelchecker/followers","following_url":"https://api.github.com/users/prismmodelchecker/following{/other_user}","gists_url":"https://api.github.com/users/prismmodelchecker/gists{/gist_id}","starred_url":"https://api.github.com/users/prismmodelchecker/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/prismmodelchecker/subscriptions","organizations_url":"https://api.github.com/users/prismmodelchecker/orgs","repos_url":"https://api.github.com/users/prismmodelchecker/repos","events_url":"https://api.github.com/users/prismmodelchecker/events{/privacy}","received_events_url":"https://api.github.com/users/prismmodelchecker/received_events","type":"Organization","site_admin":false},"repo":{"id":49056812,"node_id":"MDEwOlJlcG9zaXRvcnk0OTA1NjgxMg==","name":"prism","full_name":"prismmodelchecker/prism","private":false,"owner":{"login":"prismmodelchecker","id":12241098,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEyMjQxMDk4","avatar_url":"https://avatars0.githubusercontent.com/u/12241098?v=4","gravatar_id":"","url":"https://api.github.com/users/prismmodelchecker","html_url":"https://github.com/prismmodelchecker","followers_url":"https://api.github.com/users/prismmodelchecker/followers","following_url":"https://api.github.com/users/prismmodelchecker/following{/other_user}","gists_url":"https://api.github.com/users/prismmodelchecker/gists{/gist_id}","starred_url":"https://api.github.com/users/prismmodelchecker/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/prismmodelchecker/subscriptions","organizations_url":"https://api.github.com/users/prismmodelchecker/orgs","repos_url":"https://api.github.com/users/prismmodelchecker/repos","events_url":"https://api.github.com/users/prismmodelchecker/events{/privacy}","received_events_url":"https://api.github.com/users/prismmodelchecker/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/prismmodelchecker/prism","description":"The main development version of the PRISM model checker.","fork":false,"url":"https://api.github.com/repos/prismmodelchecker/prism","forks_url":"https://api.github.com/repos/prismmodelchecker/prism/forks","keys_url":"https://api.github.com/repos/prismmodelchecker/prism/keys{/key_id}","collaborators_url":"https://api.github.com/repos/prismmodelchecker/prism/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/prismmodelchecker/prism/teams","hooks_url":"https://api.github.com/repos/prismmodelchecker/prism/hooks","issue_events_url":"https://api.github.com/repos/prismmodelchecker/prism/issues/events{/number}","events_url":"https://api.github.com/repos/prismmodelchecker/prism/events","assignees_url":"https://api.github.com/repos/prismmodelchecker/prism/assignees{/user}","branches_url":"https://api.github.com/repos/prismmodelchecker/prism/branches{/branch}","tags_url":"https://api.github.com/repos/prismmodelchecker/prism/tags","blobs_url":"https://api.github.com/repos/prismmodelchecker/prism/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/prismmodelchecker/prism/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/prismmodelchecker/prism/git/refs{/sha}","trees_url":"https://api.github.com/repos/prismmodelchecker/prism/git/trees{/sha}","statuses_url":"https://api.github.com/repos/prismmodelchecker/prism/statuses/{sha}","languages_url":"https://api.github.com/repos/prismmodelchecker/prism/languages","stargazers_url":"https://api.github.com/repos/prismmodelchecker/prism/stargazers","contributors_url":"https://api.github.com/repos/prismmodelchecker/prism/contributors","subscribers_url":"https://api.github.com/repos/prismmodelchecker/prism/subscribers","subscription_url":"https://api.github.com/repos/prismmodelchecker/prism/subscription","commits_url":"https://api.github.com/repos/prismmodelchecker/prism/commits{/sha}","git_commits_url":"https://api.github.com/repos/prismmodelchecker/prism/git/commits{/sha}","comments_url":"https://api.github.com/repos/prismmodelchecker/prism/comments{/number}","issue_comment_url":"https://api.github.com/repos/prismmodelchecker/prism/issues/comments{/number}","contents_url":"https://api.github.com/repos/prismmodelchecker/prism/contents/{+path}","compare_url":"https://api.github.com/repos/prismmodelchecker/prism/compare/{base}...{head}","merges_url":"https://api.github.com/repos/prismmodelchecker/prism/merges","archive_url":"https://api.github.com/repos/prismmodelchecker/prism/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/prismmodelchecker/prism/downloads","issues_url":"https://api.github.com/repos/prismmodelchecker/prism/issues{/number}","pulls_url":"https://api.github.com/repos/prismmodelchecker/prism/pulls{/number}","milestones_url":"https://api.github.com/repos/prismmodelchecker/prism/milestones{/number}","notifications_url":"https://api.github.com/repos/prismmodelchecker/prism/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/prismmodelchecker/prism/labels{/name}","releases_url":"https://api.github.com/repos/prismmodelchecker/prism/releases{/id}","deployments_url":"https://api.github.com/repos/prismmodelchecker/prism/deployments","created_at":"2016-01-05T09:46:26Z","updated_at":"2018-12-05T18:42:45Z","pushed_at":"2018-12-06T14:12:48Z","git_url":"git://github.com/prismmodelchecker/prism.git","ssh_url":"git@github.com:prismmodelchecker/prism.git","clone_url":"https://github.com/prismmodelchecker/prism.git","svn_url":"https://github.com/prismmodelchecker/prism","homepage":"http://www.prismmodelchecker.org/","size":26667,"stargazers_count":28,"watchers_count":28,"language":"Java","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":17,"mirror_url":null,"archived":false,"open_issues_count":29,"license":{"key":"gpl-2.0","name":"GNU General Public License v2.0","spdx_id":"GPL-2.0","url":"https://api.github.com/licenses/gpl-2.0","node_id":"MDc6TGljZW5zZTg="},"forks":17,"open_issues":29,"watchers":28,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/prismmodelchecker/prism/pulls/98"},"html":{"href":"https://github.com/prismmodelchecker/prism/pull/98"},"issue":{"href":"https://api.github.com/repos/prismmodelchecker/prism/issues/98"},"comments":{"href":"https://api.github.com/repos/prismmodelchecker/prism/issues/98/comments"},"review_comments":{"href":"https://api.github.com/repos/prismmodelchecker/prism/pulls/98/comments"},"review_comment":{"href":"https://api.github.com/repos/prismmodelchecker/prism/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/prismmodelchecker/prism/pulls/98/commits"},"statuses":{"href":"https://api.github.com/repos/prismmodelchecker/prism/statuses/12819b63dcf7b1d863196b01584c595fc12558e0"}},"author_association":"CONTRIBUTOR","merged":true,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":{"login":"davexparker","id":6075003,"node_id":"MDQ6VXNlcjYwNzUwMDM=","avatar_url":"https://avatars1.githubusercontent.com/u/6075003?v=4","gravatar_id":"","url":"https://api.github.com/users/davexparker","html_url":"https://github.com/davexparker","followers_url":"https://api.github.com/users/davexparker/followers","following_url":"https://api.github.com/users/davexparker/following{/other_user}","gists_url":"https://api.github.com/users/davexparker/gists{/gist_id}","starred_url":"https://api.github.com/users/davexparker/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davexparker/subscriptions","organizations_url":"https://api.github.com/users/davexparker/orgs","repos_url":"https://api.github.com/users/davexparker/repos","events_url":"https://api.github.com/users/davexparker/events{/privacy}","received_events_url":"https://api.github.com/users/davexparker/received_events","type":"User","site_admin":false},"comments":4,"review_comments":0,"maintainer_can_modify":false,"commits":1,"additions":11,"deletions":0,"changed_files":1}}
{"actor":{"display_login":"davexparker"}}