{"action":"created","comment":{"url":"https://api.github.com/repos/pysmt/pysmt/pulls/comments/191087954","pull_request_review_id":123594690,"id":191087954,"diff_hunk":"@@ -97,11 +97,26 @@ def walk_str_to_str(self, formula, args, **kwargs):\n         #pylint: disable=unused-argument\n         return self.walk_type_to_type(formula, args, STRING, STRING)\n \n+    @walkers.handles(op.RE_CONCAT, op.RE_KLEENE_PLUS, op.RE_KLEENE_STAR)","path":"pysmt/type_checker.py","position":13,"original_position":13,"commit_id":"e61c358498b25b859026bfe668296d23129b5d4a","original_commit_id":"e61c358498b25b859026bfe668296d23129b5d4a","user":{"login":"marcogario","id":1058447,"avatar_url":"https://avatars0.githubusercontent.com/u/1058447?v=4","gravatar_id":"","url":"https://api.github.com/users/marcogario","html_url":"https://github.com/marcogario","followers_url":"https://api.github.com/users/marcogario/followers","following_url":"https://api.github.com/users/marcogario/following{/other_user}","gists_url":"https://api.github.com/users/marcogario/gists{/gist_id}","starred_url":"https://api.github.com/users/marcogario/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/marcogario/subscriptions","organizations_url":"https://api.github.com/users/marcogario/orgs","repos_url":"https://api.github.com/users/marcogario/repos","events_url":"https://api.github.com/users/marcogario/events{/privacy}","received_events_url":"https://api.github.com/users/marcogario/received_events","type":"User","site_admin":false},"body":"This should be a walk type_to_type REGEX. See comment about types.","created_at":"2018-05-27T21:00:41Z","updated_at":"2018-05-27T21:08:56Z","html_url":"https://github.com/pysmt/pysmt/pull/478#discussion_r191087954","pull_request_url":"https://api.github.com/repos/pysmt/pysmt/pulls/478","author_association":"CONTRIBUTOR","_links":{"self":{"href":"https://api.github.com/repos/pysmt/pysmt/pulls/comments/191087954"},"html":{"href":"https://github.com/pysmt/pysmt/pull/478#discussion_r191087954"},"pull_request":{"href":"https://api.github.com/repos/pysmt/pysmt/pulls/478"}}},"pull_request":{"url":"https://api.github.com/repos/pysmt/pysmt/pulls/478","id":187978068,"html_url":"https://github.com/pysmt/pysmt/pull/478","diff_url":"https://github.com/pysmt/pysmt/pull/478.diff","patch_url":"https://github.com/pysmt/pysmt/pull/478.patch","issue_url":"https://api.github.com/repos/pysmt/pysmt/issues/478","number":478,"state":"open","locked":false,"title":"Add support  for regular expression in smt-lib format","user":{"login":"Phat3","id":3390748,"avatar_url":"https://avatars3.githubusercontent.com/u/3390748?v=4","gravatar_id":"","url":"https://api.github.com/users/Phat3","html_url":"https://github.com/Phat3","followers_url":"https://api.github.com/users/Phat3/followers","following_url":"https://api.github.com/users/Phat3/following{/other_user}","gists_url":"https://api.github.com/users/Phat3/gists{/gist_id}","starred_url":"https://api.github.com/users/Phat3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Phat3/subscriptions","organizations_url":"https://api.github.com/users/Phat3/orgs","repos_url":"https://api.github.com/users/Phat3/repos","events_url":"https://api.github.com/users/Phat3/events{/privacy}","received_events_url":"https://api.github.com/users/Phat3/received_events","type":"User","site_admin":false},"body":"Added support for regular expression following the [SMT language partial specification](https://rise4fun.com/z3/tutorialcontent/sequences#h23).\r\n\r\nWith this pull request, the library is NOW able to correctly parse and outputs rules containing regex directive.","created_at":"2018-05-14T23:33:04Z","updated_at":"2018-05-27T21:08:56Z","closed_at":null,"merged_at":null,"merge_commit_sha":"fdc93f989892d1e183f68054f938586637892fc2","assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/pysmt/pysmt/pulls/478/commits","review_comments_url":"https://api.github.com/repos/pysmt/pysmt/pulls/478/comments","review_comment_url":"https://api.github.com/repos/pysmt/pysmt/pulls/comments{/number}","comments_url":"https://api.github.com/repos/pysmt/pysmt/issues/478/comments","statuses_url":"https://api.github.com/repos/pysmt/pysmt/statuses/e61c358498b25b859026bfe668296d23129b5d4a","head":{"label":"Phat3:master","ref":"master","sha":"e61c358498b25b859026bfe668296d23129b5d4a","user":{"login":"Phat3","id":3390748,"avatar_url":"https://avatars3.githubusercontent.com/u/3390748?v=4","gravatar_id":"","url":"https://api.github.com/users/Phat3","html_url":"https://github.com/Phat3","followers_url":"https://api.github.com/users/Phat3/followers","following_url":"https://api.github.com/users/Phat3/following{/other_user}","gists_url":"https://api.github.com/users/Phat3/gists{/gist_id}","starred_url":"https://api.github.com/users/Phat3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Phat3/subscriptions","organizations_url":"https://api.github.com/users/Phat3/orgs","repos_url":"https://api.github.com/users/Phat3/repos","events_url":"https://api.github.com/users/Phat3/events{/privacy}","received_events_url":"https://api.github.com/users/Phat3/received_events","type":"User","site_admin":false},"repo":{"id":128487612,"name":"pysmt","full_name":"Phat3/pysmt","owner":{"login":"Phat3","id":3390748,"avatar_url":"https://avatars3.githubusercontent.com/u/3390748?v=4","gravatar_id":"","url":"https://api.github.com/users/Phat3","html_url":"https://github.com/Phat3","followers_url":"https://api.github.com/users/Phat3/followers","following_url":"https://api.github.com/users/Phat3/following{/other_user}","gists_url":"https://api.github.com/users/Phat3/gists{/gist_id}","starred_url":"https://api.github.com/users/Phat3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Phat3/subscriptions","organizations_url":"https://api.github.com/users/Phat3/orgs","repos_url":"https://api.github.com/users/Phat3/repos","events_url":"https://api.github.com/users/Phat3/events{/privacy}","received_events_url":"https://api.github.com/users/Phat3/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/Phat3/pysmt","description":"pySMT: A library for SMT formulae manipulation and solving","fork":true,"url":"https://api.github.com/repos/Phat3/pysmt","forks_url":"https://api.github.com/repos/Phat3/pysmt/forks","keys_url":"https://api.github.com/repos/Phat3/pysmt/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Phat3/pysmt/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Phat3/pysmt/teams","hooks_url":"https://api.github.com/repos/Phat3/pysmt/hooks","issue_events_url":"https://api.github.com/repos/Phat3/pysmt/issues/events{/number}","events_url":"https://api.github.com/repos/Phat3/pysmt/events","assignees_url":"https://api.github.com/repos/Phat3/pysmt/assignees{/user}","branches_url":"https://api.github.com/repos/Phat3/pysmt/branches{/branch}","tags_url":"https://api.github.com/repos/Phat3/pysmt/tags","blobs_url":"https://api.github.com/repos/Phat3/pysmt/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Phat3/pysmt/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Phat3/pysmt/git/refs{/sha}","trees_url":"https://api.github.com/repos/Phat3/pysmt/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Phat3/pysmt/statuses/{sha}","languages_url":"https://api.github.com/repos/Phat3/pysmt/languages","stargazers_url":"https://api.github.com/repos/Phat3/pysmt/stargazers","contributors_url":"https://api.github.com/repos/Phat3/pysmt/contributors","subscribers_url":"https://api.github.com/repos/Phat3/pysmt/subscribers","subscription_url":"https://api.github.com/repos/Phat3/pysmt/subscription","commits_url":"https://api.github.com/repos/Phat3/pysmt/commits{/sha}","git_commits_url":"https://api.github.com/repos/Phat3/pysmt/git/commits{/sha}","comments_url":"https://api.github.com/repos/Phat3/pysmt/comments{/number}","issue_comment_url":"https://api.github.com/repos/Phat3/pysmt/issues/comments{/number}","contents_url":"https://api.github.com/repos/Phat3/pysmt/contents/{+path}","compare_url":"https://api.github.com/repos/Phat3/pysmt/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Phat3/pysmt/merges","archive_url":"https://api.github.com/repos/Phat3/pysmt/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Phat3/pysmt/downloads","issues_url":"https://api.github.com/repos/Phat3/pysmt/issues{/number}","pulls_url":"https://api.github.com/repos/Phat3/pysmt/pulls{/number}","milestones_url":"https://api.github.com/repos/Phat3/pysmt/milestones{/number}","notifications_url":"https://api.github.com/repos/Phat3/pysmt/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Phat3/pysmt/labels{/name}","releases_url":"https://api.github.com/repos/Phat3/pysmt/releases{/id}","deployments_url":"https://api.github.com/repos/Phat3/pysmt/deployments","created_at":"2018-04-07T01:54:39Z","updated_at":"2018-05-14T23:29:34Z","pushed_at":"2018-05-14T23:29:31Z","git_url":"git://github.com/Phat3/pysmt.git","ssh_url":"git@github.com:Phat3/pysmt.git","clone_url":"https://github.com/Phat3/pysmt.git","svn_url":"https://github.com/Phat3/pysmt","homepage":"http://www.pysmt.org","size":3727,"stargazers_count":0,"watchers_count":0,"language":"Python","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":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0"},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"pysmt:master","ref":"master","sha":"15f039f8a2c84b5d8aea10b35d83d3c370b142b6","user":{"login":"pysmt","id":10014498,"avatar_url":"https://avatars0.githubusercontent.com/u/10014498?v=4","gravatar_id":"","url":"https://api.github.com/users/pysmt","html_url":"https://github.com/pysmt","followers_url":"https://api.github.com/users/pysmt/followers","following_url":"https://api.github.com/users/pysmt/following{/other_user}","gists_url":"https://api.github.com/users/pysmt/gists{/gist_id}","starred_url":"https://api.github.com/users/pysmt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pysmt/subscriptions","organizations_url":"https://api.github.com/users/pysmt/orgs","repos_url":"https://api.github.com/users/pysmt/repos","events_url":"https://api.github.com/users/pysmt/events{/privacy}","received_events_url":"https://api.github.com/users/pysmt/received_events","type":"Organization","site_admin":false},"repo":{"id":27359780,"name":"pysmt","full_name":"pysmt/pysmt","owner":{"login":"pysmt","id":10014498,"avatar_url":"https://avatars0.githubusercontent.com/u/10014498?v=4","gravatar_id":"","url":"https://api.github.com/users/pysmt","html_url":"https://github.com/pysmt","followers_url":"https://api.github.com/users/pysmt/followers","following_url":"https://api.github.com/users/pysmt/following{/other_user}","gists_url":"https://api.github.com/users/pysmt/gists{/gist_id}","starred_url":"https://api.github.com/users/pysmt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pysmt/subscriptions","organizations_url":"https://api.github.com/users/pysmt/orgs","repos_url":"https://api.github.com/users/pysmt/repos","events_url":"https://api.github.com/users/pysmt/events{/privacy}","received_events_url":"https://api.github.com/users/pysmt/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/pysmt/pysmt","description":"pySMT: A library for SMT formulae manipulation and solving","fork":false,"url":"https://api.github.com/repos/pysmt/pysmt","forks_url":"https://api.github.com/repos/pysmt/pysmt/forks","keys_url":"https://api.github.com/repos/pysmt/pysmt/keys{/key_id}","collaborators_url":"https://api.github.com/repos/pysmt/pysmt/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/pysmt/pysmt/teams","hooks_url":"https://api.github.com/repos/pysmt/pysmt/hooks","issue_events_url":"https://api.github.com/repos/pysmt/pysmt/issues/events{/number}","events_url":"https://api.github.com/repos/pysmt/pysmt/events","assignees_url":"https://api.github.com/repos/pysmt/pysmt/assignees{/user}","branches_url":"https://api.github.com/repos/pysmt/pysmt/branches{/branch}","tags_url":"https://api.github.com/repos/pysmt/pysmt/tags","blobs_url":"https://api.github.com/repos/pysmt/pysmt/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/pysmt/pysmt/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/pysmt/pysmt/git/refs{/sha}","trees_url":"https://api.github.com/repos/pysmt/pysmt/git/trees{/sha}","statuses_url":"https://api.github.com/repos/pysmt/pysmt/statuses/{sha}","languages_url":"https://api.github.com/repos/pysmt/pysmt/languages","stargazers_url":"https://api.github.com/repos/pysmt/pysmt/stargazers","contributors_url":"https://api.github.com/repos/pysmt/pysmt/contributors","subscribers_url":"https://api.github.com/repos/pysmt/pysmt/subscribers","subscription_url":"https://api.github.com/repos/pysmt/pysmt/subscription","commits_url":"https://api.github.com/repos/pysmt/pysmt/commits{/sha}","git_commits_url":"https://api.github.com/repos/pysmt/pysmt/git/commits{/sha}","comments_url":"https://api.github.com/repos/pysmt/pysmt/comments{/number}","issue_comment_url":"https://api.github.com/repos/pysmt/pysmt/issues/comments{/number}","contents_url":"https://api.github.com/repos/pysmt/pysmt/contents/{+path}","compare_url":"https://api.github.com/repos/pysmt/pysmt/compare/{base}...{head}","merges_url":"https://api.github.com/repos/pysmt/pysmt/merges","archive_url":"https://api.github.com/repos/pysmt/pysmt/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/pysmt/pysmt/downloads","issues_url":"https://api.github.com/repos/pysmt/pysmt/issues{/number}","pulls_url":"https://api.github.com/repos/pysmt/pysmt/pulls{/number}","milestones_url":"https://api.github.com/repos/pysmt/pysmt/milestones{/number}","notifications_url":"https://api.github.com/repos/pysmt/pysmt/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/pysmt/pysmt/labels{/name}","releases_url":"https://api.github.com/repos/pysmt/pysmt/releases{/id}","deployments_url":"https://api.github.com/repos/pysmt/pysmt/deployments","created_at":"2014-12-01T02:52:26Z","updated_at":"2018-05-27T15:09:49Z","pushed_at":"2018-05-27T15:11:37Z","git_url":"git://github.com/pysmt/pysmt.git","ssh_url":"git@github.com:pysmt/pysmt.git","clone_url":"https://github.com/pysmt/pysmt.git","svn_url":"https://github.com/pysmt/pysmt","homepage":"http://www.pysmt.org","size":3724,"stargazers_count":149,"watchers_count":149,"language":"Python","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":38,"mirror_url":null,"archived":false,"open_issues_count":48,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0"},"forks":38,"open_issues":48,"watchers":149,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/pysmt/pysmt/pulls/478"},"html":{"href":"https://github.com/pysmt/pysmt/pull/478"},"issue":{"href":"https://api.github.com/repos/pysmt/pysmt/issues/478"},"comments":{"href":"https://api.github.com/repos/pysmt/pysmt/issues/478/comments"},"review_comments":{"href":"https://api.github.com/repos/pysmt/pysmt/pulls/478/comments"},"review_comment":{"href":"https://api.github.com/repos/pysmt/pysmt/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/pysmt/pysmt/pulls/478/commits"},"statuses":{"href":"https://api.github.com/repos/pysmt/pysmt/statuses/e61c358498b25b859026bfe668296d23129b5d4a"}},"author_association":"NONE"}}
{"actor":{"display_login":"marcogario"}}