payload: {"action":"closed","number":25,"pull_request":{"url":"https://api.github.com/repos/makaimann/smt-switch/pulls/25","id":335699967,"node_id":"MDExOlB1bGxSZXF1ZXN0MzM1Njk5OTY3","html_url":"https://github.com/makaimann/smt-switch/pull/25","diff_url":"https://github.com/makaimann/smt-switch/pull/25.diff","patch_url":"https://github.com/makaimann/smt-switch/pull/25.patch","issue_url":"https://api.github.com/repos/makaimann/smt-switch/issues/25","number":25,"state":"closed","locked":false,"title":"Several updates to interface","user":{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false},"body":"This pull request makes non-trivial changes to the API.\r\n* It renames `make_term` for creating symbols to `make_symbol`\r\n* It renames all `make_value` functions to `make_term`\r\n* It adds a dedicated class with an internal cache for transferring terms to a new solver\r\n* It removes the `has_symbol` and `lookup_symbol` functionality\r\n* It make `make_sort` mirror the `make_term` functionality -- takes 1-3 sorts or a vector of sorts\r\n* It uses explicit integer sizes instead of `unsigned int`, etc...","created_at":"2019-11-02T02:35:43Z","updated_at":"2019-11-06T18:45:21Z","closed_at":"2019-11-06T18:45:21Z","merged_at":"2019-11-06T18:45:21Z","merge_commit_sha":"b0829bc993b3523423d159fbcbb36249ff87b5c7","assignee":{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false},"assignees":[{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false}],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/makaimann/smt-switch/pulls/25/commits","review_comments_url":"https://api.github.com/repos/makaimann/smt-switch/pulls/25/comments","review_comment_url":"https://api.github.com/repos/makaimann/smt-switch/pulls/comments{/number}","comments_url":"https://api.github.com/repos/makaimann/smt-switch/issues/25/comments","statuses_url":"https://api.github.com/repos/makaimann/smt-switch/statuses/f78ff2499a32681be2e62980436d78e882044e05","head":{"label":"makaimann:change-interface","ref":"change-interface","sha":"f78ff2499a32681be2e62980436d78e882044e05","user":{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false},"repo":{"id":180662398,"node_id":"MDEwOlJlcG9zaXRvcnkxODA2NjIzOTg=","name":"smt-switch","full_name":"makaimann/smt-switch","private":false,"owner":{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false},"html_url":"https://github.com/makaimann/smt-switch","description":"A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.","fork":false,"url":"https://api.github.com/repos/makaimann/smt-switch","forks_url":"https://api.github.com/repos/makaimann/smt-switch/forks","keys_url":"https://api.github.com/repos/makaimann/smt-switch/keys{/key_id}","collaborators_url":"https://api.github.com/repos/makaimann/smt-switch/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/makaimann/smt-switch/teams","hooks_url":"https://api.github.com/repos/makaimann/smt-switch/hooks","issue_events_url":"https://api.github.com/repos/makaimann/smt-switch/issues/events{/number}","events_url":"https://api.github.com/repos/makaimann/smt-switch/events","assignees_url":"https://api.github.com/repos/makaimann/smt-switch/assignees{/user}","branches_url":"https://api.github.com/repos/makaimann/smt-switch/branches{/branch}","tags_url":"https://api.github.com/repos/makaimann/smt-switch/tags","blobs_url":"https://api.github.com/repos/makaimann/smt-switch/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/makaimann/smt-switch/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/makaimann/smt-switch/git/refs{/sha}","trees_url":"https://api.github.com/repos/makaimann/smt-switch/git/trees{/sha}","statuses_url":"https://api.github.com/repos/makaimann/smt-switch/statuses/{sha}","languages_url":"https://api.github.com/repos/makaimann/smt-switch/languages","stargazers_url":"https://api.github.com/repos/makaimann/smt-switch/stargazers","contributors_url":"https://api.github.com/repos/makaimann/smt-switch/contributors","subscribers_url":"https://api.github.com/repos/makaimann/smt-switch/subscribers","subscription_url":"https://api.github.com/repos/makaimann/smt-switch/subscription","commits_url":"https://api.github.com/repos/makaimann/smt-switch/commits{/sha}","git_commits_url":"https://api.github.com/repos/makaimann/smt-switch/git/commits{/sha}","comments_url":"https://api.github.com/repos/makaimann/smt-switch/comments{/number}","issue_comment_url":"https://api.github.com/repos/makaimann/smt-switch/issues/comments{/number}","contents_url":"https://api.github.com/repos/makaimann/smt-switch/contents/{+path}","compare_url":"https://api.github.com/repos/makaimann/smt-switch/compare/{base}...{head}","merges_url":"https://api.github.com/repos/makaimann/smt-switch/merges","archive_url":"https://api.github.com/repos/makaimann/smt-switch/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/makaimann/smt-switch/downloads","issues_url":"https://api.github.com/repos/makaimann/smt-switch/issues{/number}","pulls_url":"https://api.github.com/repos/makaimann/smt-switch/pulls{/number}","milestones_url":"https://api.github.com/repos/makaimann/smt-switch/milestones{/number}","notifications_url":"https://api.github.com/repos/makaimann/smt-switch/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/makaimann/smt-switch/labels{/name}","releases_url":"https://api.github.com/repos/makaimann/smt-switch/releases{/id}","deployments_url":"https://api.github.com/repos/makaimann/smt-switch/deployments","created_at":"2019-04-10T20:54:11Z","updated_at":"2019-11-04T23:38:13Z","pushed_at":"2019-11-06T18:45:22Z","git_url":"git://github.com/makaimann/smt-switch.git","ssh_url":"git@github.com:makaimann/smt-switch.git","clone_url":"https://github.com/makaimann/smt-switch.git","svn_url":"https://github.com/makaimann/smt-switch","homepage":null,"size":545,"stargazers_count":1,"watchers_count":1,"language":"C++","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"bsd-3-clause","name":"BSD 3-Clause \"New\" or \"Revised\" License","spdx_id":"BSD-3-Clause","url":"https://api.github.com/licenses/bsd-3-clause","node_id":"MDc6TGljZW5zZTU="},"forks":1,"open_issues":3,"watchers":1,"default_branch":"master"}},"base":{"label":"makaimann:master","ref":"master","sha":"2a59474cf512f7b8a2c79486d20d530914666f65","user":{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false},"repo":{"id":180662398,"node_id":"MDEwOlJlcG9zaXRvcnkxODA2NjIzOTg=","name":"smt-switch","full_name":"makaimann/smt-switch","private":false,"owner":{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false},"html_url":"https://github.com/makaimann/smt-switch","description":"A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.","fork":false,"url":"https://api.github.com/repos/makaimann/smt-switch","forks_url":"https://api.github.com/repos/makaimann/smt-switch/forks","keys_url":"https://api.github.com/repos/makaimann/smt-switch/keys{/key_id}","collaborators_url":"https://api.github.com/repos/makaimann/smt-switch/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/makaimann/smt-switch/teams","hooks_url":"https://api.github.com/repos/makaimann/smt-switch/hooks","issue_events_url":"https://api.github.com/repos/makaimann/smt-switch/issues/events{/number}","events_url":"https://api.github.com/repos/makaimann/smt-switch/events","assignees_url":"https://api.github.com/repos/makaimann/smt-switch/assignees{/user}","branches_url":"https://api.github.com/repos/makaimann/smt-switch/branches{/branch}","tags_url":"https://api.github.com/repos/makaimann/smt-switch/tags","blobs_url":"https://api.github.com/repos/makaimann/smt-switch/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/makaimann/smt-switch/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/makaimann/smt-switch/git/refs{/sha}","trees_url":"https://api.github.com/repos/makaimann/smt-switch/git/trees{/sha}","statuses_url":"https://api.github.com/repos/makaimann/smt-switch/statuses/{sha}","languages_url":"https://api.github.com/repos/makaimann/smt-switch/languages","stargazers_url":"https://api.github.com/repos/makaimann/smt-switch/stargazers","contributors_url":"https://api.github.com/repos/makaimann/smt-switch/contributors","subscribers_url":"https://api.github.com/repos/makaimann/smt-switch/subscribers","subscription_url":"https://api.github.com/repos/makaimann/smt-switch/subscription","commits_url":"https://api.github.com/repos/makaimann/smt-switch/commits{/sha}","git_commits_url":"https://api.github.com/repos/makaimann/smt-switch/git/commits{/sha}","comments_url":"https://api.github.com/repos/makaimann/smt-switch/comments{/number}","issue_comment_url":"https://api.github.com/repos/makaimann/smt-switch/issues/comments{/number}","contents_url":"https://api.github.com/repos/makaimann/smt-switch/contents/{+path}","compare_url":"https://api.github.com/repos/makaimann/smt-switch/compare/{base}...{head}","merges_url":"https://api.github.com/repos/makaimann/smt-switch/merges","archive_url":"https://api.github.com/repos/makaimann/smt-switch/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/makaimann/smt-switch/downloads","issues_url":"https://api.github.com/repos/makaimann/smt-switch/issues{/number}","pulls_url":"https://api.github.com/repos/makaimann/smt-switch/pulls{/number}","milestones_url":"https://api.github.com/repos/makaimann/smt-switch/milestones{/number}","notifications_url":"https://api.github.com/repos/makaimann/smt-switch/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/makaimann/smt-switch/labels{/name}","releases_url":"https://api.github.com/repos/makaimann/smt-switch/releases{/id}","deployments_url":"https://api.github.com/repos/makaimann/smt-switch/deployments","created_at":"2019-04-10T20:54:11Z","updated_at":"2019-11-04T23:38:13Z","pushed_at":"2019-11-06T18:45:22Z","git_url":"git://github.com/makaimann/smt-switch.git","ssh_url":"git@github.com:makaimann/smt-switch.git","clone_url":"https://github.com/makaimann/smt-switch.git","svn_url":"https://github.com/makaimann/smt-switch","homepage":null,"size":545,"stargazers_count":1,"watchers_count":1,"language":"C++","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"bsd-3-clause","name":"BSD 3-Clause \"New\" or \"Revised\" License","spdx_id":"BSD-3-Clause","url":"https://api.github.com/licenses/bsd-3-clause","node_id":"MDc6TGljZW5zZTU="},"forks":1,"open_issues":3,"watchers":1,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/makaimann/smt-switch/pulls/25"},"html":{"href":"https://github.com/makaimann/smt-switch/pull/25"},"issue":{"href":"https://api.github.com/repos/makaimann/smt-switch/issues/25"},"comments":{"href":"https://api.github.com/repos/makaimann/smt-switch/issues/25/comments"},"review_comments":{"href":"https://api.github.com/repos/makaimann/smt-switch/pulls/25/comments"},"review_comment":{"href":"https://api.github.com/repos/makaimann/smt-switch/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/makaimann/smt-switch/pulls/25/commits"},"statuses":{"href":"https://api.github.com/repos/makaimann/smt-switch/statuses/f78ff2499a32681be2e62980436d78e882044e05"}},"author_association":"OWNER","merged":true,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":{"login":"makaimann","id":23203473,"node_id":"MDQ6VXNlcjIzMjAzNDcz","avatar_url":"https://avatars3.githubusercontent.com/u/23203473?v=4","gravatar_id":"","url":"https://api.github.com/users/makaimann","html_url":"https://github.com/makaimann","followers_url":"https://api.github.com/users/makaimann/followers","following_url":"https://api.github.com/users/makaimann/following{/other_user}","gists_url":"https://api.github.com/users/makaimann/gists{/gist_id}","starred_url":"https://api.github.com/users/makaimann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/makaimann/subscriptions","organizations_url":"https://api.github.com/users/makaimann/orgs","repos_url":"https://api.github.com/users/makaimann/repos","events_url":"https://api.github.com/users/makaimann/events{/privacy}","received_events_url":"https://api.github.com/users/makaimann/received_events","type":"User","site_admin":false},"comments":1,"review_comments":3,"maintainer_can_modify":false,"commits":14,"additions":894,"deletions":828,"changed_files":68}}
other: {"actor":{"display_login":"makaimann"}}