{"action":"opened","number":1141,"pull_request":{"url":"https://api.github.com/repos/trailofbits/manticore/pulls/1141","id":216456492,"node_id":"MDExOlB1bGxSZXF1ZXN0MjE2NDU2NDky","html_url":"https://github.com/trailofbits/manticore/pull/1141","diff_url":"https://github.com/trailofbits/manticore/pull/1141.diff","patch_url":"https://github.com/trailofbits/manticore/pull/1141.patch","issue_url":"https://api.github.com/repos/trailofbits/manticore/issues/1141","number":1141,"state":"open","locked":false,"title":"A massive amount of spellchecking","user":{"login":"redyoshi49q","id":3804316,"node_id":"MDQ6VXNlcjM4MDQzMTY=","avatar_url":"https://avatars0.githubusercontent.com/u/3804316?v=4","gravatar_id":"","url":"https://api.github.com/users/redyoshi49q","html_url":"https://github.com/redyoshi49q","followers_url":"https://api.github.com/users/redyoshi49q/followers","following_url":"https://api.github.com/users/redyoshi49q/following{/other_user}","gists_url":"https://api.github.com/users/redyoshi49q/gists{/gist_id}","starred_url":"https://api.github.com/users/redyoshi49q/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/redyoshi49q/subscriptions","organizations_url":"https://api.github.com/users/redyoshi49q/orgs","repos_url":"https://api.github.com/users/redyoshi49q/repos","events_url":"https://api.github.com/users/redyoshi49q/events{/privacy}","received_events_url":"https://api.github.com/users/redyoshi49q/received_events","type":"User","site_admin":false},"body":"This was my pass at addressing issue #1104 .\r\n\r\nNote that files manticore/core/smtlib/expression.py , manticore/core/smtlib/visitors.py , and tests/test_cpu_manual.py use \"begining\" instead of \"beginning\" as a variable name.  Since I have no way of actually testing the resulting code, I decided against correcting this particular misspelling in this commit.\r\n\r\nAlso, examples/evm/minimal.py , examples/evm/minimal_bytecode_only.py , and manticore/platforms/linux_syscalls.py include \"Let seth know we are not sending more transactions\" in a comment text.  The use of \"seth\" here may be a typo, but I'm not able to guess at what the correct text might be.","created_at":"2018-09-18T21:57:16Z","updated_at":"2018-09-18T21:57:16Z","closed_at":null,"merged_at":null,"merge_commit_sha":null,"assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/trailofbits/manticore/pulls/1141/commits","review_comments_url":"https://api.github.com/repos/trailofbits/manticore/pulls/1141/comments","review_comment_url":"https://api.github.com/repos/trailofbits/manticore/pulls/comments{/number}","comments_url":"https://api.github.com/repos/trailofbits/manticore/issues/1141/comments","statuses_url":"https://api.github.com/repos/trailofbits/manticore/statuses/6efb54e2628168350e2e1fa36508596a1d8f1bb6","head":{"label":"redyoshi49q:spellchecking","ref":"spellchecking","sha":"6efb54e2628168350e2e1fa36508596a1d8f1bb6","user":{"login":"redyoshi49q","id":3804316,"node_id":"MDQ6VXNlcjM4MDQzMTY=","avatar_url":"https://avatars0.githubusercontent.com/u/3804316?v=4","gravatar_id":"","url":"https://api.github.com/users/redyoshi49q","html_url":"https://github.com/redyoshi49q","followers_url":"https://api.github.com/users/redyoshi49q/followers","following_url":"https://api.github.com/users/redyoshi49q/following{/other_user}","gists_url":"https://api.github.com/users/redyoshi49q/gists{/gist_id}","starred_url":"https://api.github.com/users/redyoshi49q/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/redyoshi49q/subscriptions","organizations_url":"https://api.github.com/users/redyoshi49q/orgs","repos_url":"https://api.github.com/users/redyoshi49q/repos","events_url":"https://api.github.com/users/redyoshi49q/events{/privacy}","received_events_url":"https://api.github.com/users/redyoshi49q/received_events","type":"User","site_admin":false},"repo":{"id":146971287,"node_id":"MDEwOlJlcG9zaXRvcnkxNDY5NzEyODc=","name":"manticore","full_name":"redyoshi49q/manticore","private":false,"owner":{"login":"redyoshi49q","id":3804316,"node_id":"MDQ6VXNlcjM4MDQzMTY=","avatar_url":"https://avatars0.githubusercontent.com/u/3804316?v=4","gravatar_id":"","url":"https://api.github.com/users/redyoshi49q","html_url":"https://github.com/redyoshi49q","followers_url":"https://api.github.com/users/redyoshi49q/followers","following_url":"https://api.github.com/users/redyoshi49q/following{/other_user}","gists_url":"https://api.github.com/users/redyoshi49q/gists{/gist_id}","starred_url":"https://api.github.com/users/redyoshi49q/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/redyoshi49q/subscriptions","organizations_url":"https://api.github.com/users/redyoshi49q/orgs","repos_url":"https://api.github.com/users/redyoshi49q/repos","events_url":"https://api.github.com/users/redyoshi49q/events{/privacy}","received_events_url":"https://api.github.com/users/redyoshi49q/received_events","type":"User","site_admin":false},"html_url":"https://github.com/redyoshi49q/manticore","description":"Symbolic execution tool","fork":true,"url":"https://api.github.com/repos/redyoshi49q/manticore","forks_url":"https://api.github.com/repos/redyoshi49q/manticore/forks","keys_url":"https://api.github.com/repos/redyoshi49q/manticore/keys{/key_id}","collaborators_url":"https://api.github.com/repos/redyoshi49q/manticore/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/redyoshi49q/manticore/teams","hooks_url":"https://api.github.com/repos/redyoshi49q/manticore/hooks","issue_events_url":"https://api.github.com/repos/redyoshi49q/manticore/issues/events{/number}","events_url":"https://api.github.com/repos/redyoshi49q/manticore/events","assignees_url":"https://api.github.com/repos/redyoshi49q/manticore/assignees{/user}","branches_url":"https://api.github.com/repos/redyoshi49q/manticore/branches{/branch}","tags_url":"https://api.github.com/repos/redyoshi49q/manticore/tags","blobs_url":"https://api.github.com/repos/redyoshi49q/manticore/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/redyoshi49q/manticore/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/redyoshi49q/manticore/git/refs{/sha}","trees_url":"https://api.github.com/repos/redyoshi49q/manticore/git/trees{/sha}","statuses_url":"https://api.github.com/repos/redyoshi49q/manticore/statuses/{sha}","languages_url":"https://api.github.com/repos/redyoshi49q/manticore/languages","stargazers_url":"https://api.github.com/repos/redyoshi49q/manticore/stargazers","contributors_url":"https://api.github.com/repos/redyoshi49q/manticore/contributors","subscribers_url":"https://api.github.com/repos/redyoshi49q/manticore/subscribers","subscription_url":"https://api.github.com/repos/redyoshi49q/manticore/subscription","commits_url":"https://api.github.com/repos/redyoshi49q/manticore/commits{/sha}","git_commits_url":"https://api.github.com/repos/redyoshi49q/manticore/git/commits{/sha}","comments_url":"https://api.github.com/repos/redyoshi49q/manticore/comments{/number}","issue_comment_url":"https://api.github.com/repos/redyoshi49q/manticore/issues/comments{/number}","contents_url":"https://api.github.com/repos/redyoshi49q/manticore/contents/{+path}","compare_url":"https://api.github.com/repos/redyoshi49q/manticore/compare/{base}...{head}","merges_url":"https://api.github.com/repos/redyoshi49q/manticore/merges","archive_url":"https://api.github.com/repos/redyoshi49q/manticore/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/redyoshi49q/manticore/downloads","issues_url":"https://api.github.com/repos/redyoshi49q/manticore/issues{/number}","pulls_url":"https://api.github.com/repos/redyoshi49q/manticore/pulls{/number}","milestones_url":"https://api.github.com/repos/redyoshi49q/manticore/milestones{/number}","notifications_url":"https://api.github.com/repos/redyoshi49q/manticore/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/redyoshi49q/manticore/labels{/name}","releases_url":"https://api.github.com/repos/redyoshi49q/manticore/releases{/id}","deployments_url":"https://api.github.com/repos/redyoshi49q/manticore/deployments","created_at":"2018-09-01T05:41:25Z","updated_at":"2018-09-01T05:41:27Z","pushed_at":"2018-09-18T21:51:46Z","git_url":"git://github.com/redyoshi49q/manticore.git","ssh_url":"git@github.com:redyoshi49q/manticore.git","clone_url":"https://github.com/redyoshi49q/manticore.git","svn_url":"https://github.com/redyoshi49q/manticore","homepage":"https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/","size":15052,"stargazers_count":0,"watchers_count":0,"language":"Python","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"trailofbits:master","ref":"master","sha":"ef63b9d01c5701ec3b32d7dd792388fd8d87d62d","user":{"login":"trailofbits","id":2314423,"node_id":"MDEyOk9yZ2FuaXphdGlvbjIzMTQ0MjM=","avatar_url":"https://avatars0.githubusercontent.com/u/2314423?v=4","gravatar_id":"","url":"https://api.github.com/users/trailofbits","html_url":"https://github.com/trailofbits","followers_url":"https://api.github.com/users/trailofbits/followers","following_url":"https://api.github.com/users/trailofbits/following{/other_user}","gists_url":"https://api.github.com/users/trailofbits/gists{/gist_id}","starred_url":"https://api.github.com/users/trailofbits/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/trailofbits/subscriptions","organizations_url":"https://api.github.com/users/trailofbits/orgs","repos_url":"https://api.github.com/users/trailofbits/repos","events_url":"https://api.github.com/users/trailofbits/events{/privacy}","received_events_url":"https://api.github.com/users/trailofbits/received_events","type":"Organization","site_admin":false},"repo":{"id":81612762,"node_id":"MDEwOlJlcG9zaXRvcnk4MTYxMjc2Mg==","name":"manticore","full_name":"trailofbits/manticore","private":false,"owner":{"login":"trailofbits","id":2314423,"node_id":"MDEyOk9yZ2FuaXphdGlvbjIzMTQ0MjM=","avatar_url":"https://avatars0.githubusercontent.com/u/2314423?v=4","gravatar_id":"","url":"https://api.github.com/users/trailofbits","html_url":"https://github.com/trailofbits","followers_url":"https://api.github.com/users/trailofbits/followers","following_url":"https://api.github.com/users/trailofbits/following{/other_user}","gists_url":"https://api.github.com/users/trailofbits/gists{/gist_id}","starred_url":"https://api.github.com/users/trailofbits/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/trailofbits/subscriptions","organizations_url":"https://api.github.com/users/trailofbits/orgs","repos_url":"https://api.github.com/users/trailofbits/repos","events_url":"https://api.github.com/users/trailofbits/events{/privacy}","received_events_url":"https://api.github.com/users/trailofbits/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/trailofbits/manticore","description":"Symbolic execution tool","fork":false,"url":"https://api.github.com/repos/trailofbits/manticore","forks_url":"https://api.github.com/repos/trailofbits/manticore/forks","keys_url":"https://api.github.com/repos/trailofbits/manticore/keys{/key_id}","collaborators_url":"https://api.github.com/repos/trailofbits/manticore/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/trailofbits/manticore/teams","hooks_url":"https://api.github.com/repos/trailofbits/manticore/hooks","issue_events_url":"https://api.github.com/repos/trailofbits/manticore/issues/events{/number}","events_url":"https://api.github.com/repos/trailofbits/manticore/events","assignees_url":"https://api.github.com/repos/trailofbits/manticore/assignees{/user}","branches_url":"https://api.github.com/repos/trailofbits/manticore/branches{/branch}","tags_url":"https://api.github.com/repos/trailofbits/manticore/tags","blobs_url":"https://api.github.com/repos/trailofbits/manticore/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/trailofbits/manticore/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/trailofbits/manticore/git/refs{/sha}","trees_url":"https://api.github.com/repos/trailofbits/manticore/git/trees{/sha}","statuses_url":"https://api.github.com/repos/trailofbits/manticore/statuses/{sha}","languages_url":"https://api.github.com/repos/trailofbits/manticore/languages","stargazers_url":"https://api.github.com/repos/trailofbits/manticore/stargazers","contributors_url":"https://api.github.com/repos/trailofbits/manticore/contributors","subscribers_url":"https://api.github.com/repos/trailofbits/manticore/subscribers","subscription_url":"https://api.github.com/repos/trailofbits/manticore/subscription","commits_url":"https://api.github.com/repos/trailofbits/manticore/commits{/sha}","git_commits_url":"https://api.github.com/repos/trailofbits/manticore/git/commits{/sha}","comments_url":"https://api.github.com/repos/trailofbits/manticore/comments{/number}","issue_comment_url":"https://api.github.com/repos/trailofbits/manticore/issues/comments{/number}","contents_url":"https://api.github.com/repos/trailofbits/manticore/contents/{+path}","compare_url":"https://api.github.com/repos/trailofbits/manticore/compare/{base}...{head}","merges_url":"https://api.github.com/repos/trailofbits/manticore/merges","archive_url":"https://api.github.com/repos/trailofbits/manticore/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/trailofbits/manticore/downloads","issues_url":"https://api.github.com/repos/trailofbits/manticore/issues{/number}","pulls_url":"https://api.github.com/repos/trailofbits/manticore/pulls{/number}","milestones_url":"https://api.github.com/repos/trailofbits/manticore/milestones{/number}","notifications_url":"https://api.github.com/repos/trailofbits/manticore/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/trailofbits/manticore/labels{/name}","releases_url":"https://api.github.com/repos/trailofbits/manticore/releases{/id}","deployments_url":"https://api.github.com/repos/trailofbits/manticore/deployments","created_at":"2017-02-10T22:28:34Z","updated_at":"2018-09-18T21:43:03Z","pushed_at":"2018-09-18T21:55:41Z","git_url":"git://github.com/trailofbits/manticore.git","ssh_url":"git@github.com:trailofbits/manticore.git","clone_url":"https://github.com/trailofbits/manticore.git","svn_url":"https://github.com/trailofbits/manticore","homepage":"https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/","size":18484,"stargazers_count":1309,"watchers_count":1309,"language":"Python","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":193,"mirror_url":null,"archived":false,"open_issues_count":176,"license":{"key":"agpl-3.0","name":"GNU Affero General Public License v3.0","spdx_id":"AGPL-3.0","url":"https://api.github.com/licenses/agpl-3.0","node_id":"MDc6TGljZW5zZTE="},"forks":193,"open_issues":176,"watchers":1309,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/trailofbits/manticore/pulls/1141"},"html":{"href":"https://github.com/trailofbits/manticore/pull/1141"},"issue":{"href":"https://api.github.com/repos/trailofbits/manticore/issues/1141"},"comments":{"href":"https://api.github.com/repos/trailofbits/manticore/issues/1141/comments"},"review_comments":{"href":"https://api.github.com/repos/trailofbits/manticore/pulls/1141/comments"},"review_comment":{"href":"https://api.github.com/repos/trailofbits/manticore/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/trailofbits/manticore/pulls/1141/commits"},"statuses":{"href":"https://api.github.com/repos/trailofbits/manticore/statuses/6efb54e2628168350e2e1fa36508596a1d8f1bb6"}},"author_association":"CONTRIBUTOR","merged":false,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":null,"comments":0,"review_comments":0,"maintainer_can_modify":true,"commits":1,"additions":322,"deletions":319,"changed_files":108}}
{"actor":{"display_login":"redyoshi49q"}}