{"action":"created","comment":{"url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/comments/193560025","pull_request_review_id":126556411,"id":193560025,"node_id":"MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDE5MzU2MDAyNQ==","diff_hunk":"@@ -80,10 +82,13 @@ function reach_blocks!(ϕ::SparseMatrixCSC{NUM, Int},\n                     Xhatk_bi = Xhatk_bi + block * Xhat0[j]\n                 end\n             end\n-            Xhatk[i] = overapproximate(blocks[i],\n-                U == nothing ? Xhatk_bi : Xhatk_bi + Whatk[i])\n+            lazy_set = (U == nothing ? Xhatk_bi : Xhatk_bi + Whatk[i])","path":"src/ReachSets/reach_blocks.jl","position":23,"original_position":23,"commit_id":"81f7a1629994343a93071aacdf9934296b4690fa","original_commit_id":"81f7a1629994343a93071aacdf9934296b4690fa","user":{"login":"mforets","id":12424594,"node_id":"MDQ6VXNlcjEyNDI0NTk0","avatar_url":"https://avatars3.githubusercontent.com/u/12424594?v=4","gravatar_id":"","url":"https://api.github.com/users/mforets","html_url":"https://github.com/mforets","followers_url":"https://api.github.com/users/mforets/followers","following_url":"https://api.github.com/users/mforets/following{/other_user}","gists_url":"https://api.github.com/users/mforets/gists{/gist_id}","starred_url":"https://api.github.com/users/mforets/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mforets/subscriptions","organizations_url":"https://api.github.com/users/mforets/orgs","repos_url":"https://api.github.com/users/mforets/repos","events_url":"https://api.github.com/users/mforets/events{/privacy}","received_events_url":"https://api.github.com/users/mforets/received_events","type":"User","site_admin":false},"body":"better name for `lazy_set`? like `Xhatk_bi_lazy`","created_at":"2018-06-06T21:09:05Z","updated_at":"2018-06-06T21:09:06Z","html_url":"https://github.com/JuliaReach/Reachability.jl/pull/213#discussion_r193560025","pull_request_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213","author_association":"MEMBER","_links":{"self":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/comments/193560025"},"html":{"href":"https://github.com/JuliaReach/Reachability.jl/pull/213#discussion_r193560025"},"pull_request":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213"}}},"pull_request":{"url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213","id":193134624,"node_id":"MDExOlB1bGxSZXF1ZXN0MTkzMTM0NjI0","html_url":"https://github.com/JuliaReach/Reachability.jl/pull/213","diff_url":"https://github.com/JuliaReach/Reachability.jl/pull/213.diff","patch_url":"https://github.com/JuliaReach/Reachability.jl/pull/213.patch","issue_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/213","number":213,"state":"open","locked":false,"title":"[WIP #209] Add output function","user":{"login":"schillic","id":9656686,"node_id":"MDQ6VXNlcjk2NTY2ODY=","avatar_url":"https://avatars2.githubusercontent.com/u/9656686?v=4","gravatar_id":"","url":"https://api.github.com/users/schillic","html_url":"https://github.com/schillic","followers_url":"https://api.github.com/users/schillic/followers","following_url":"https://api.github.com/users/schillic/following{/other_user}","gists_url":"https://api.github.com/users/schillic/gists{/gist_id}","starred_url":"https://api.github.com/users/schillic/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/schillic/subscriptions","organizations_url":"https://api.github.com/users/schillic/orgs","repos_url":"https://api.github.com/users/schillic/repos","events_url":"https://api.github.com/users/schillic/events{/privacy}","received_events_url":"https://api.github.com/users/schillic/received_events","type":"User","site_admin":false},"body":"Closes #209.\r\n\r\n* [x] sparse analysis (proof-of-concept)\r\n* [ ] other analyses","created_at":"2018-06-06T20:42:14Z","updated_at":"2018-06-06T21:09:06Z","closed_at":null,"merged_at":null,"merge_commit_sha":"e1df024bfe9759aca6ddbb22492b362662f32dda","assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213/commits","review_comments_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213/comments","review_comment_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/comments{/number}","comments_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/213/comments","statuses_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/statuses/81f7a1629994343a93071aacdf9934296b4690fa","head":{"label":"JuliaReach:schillic/209","ref":"schillic/209","sha":"81f7a1629994343a93071aacdf9934296b4690fa","user":{"login":"JuliaReach","id":33028082,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMzMDI4MDgy","avatar_url":"https://avatars3.githubusercontent.com/u/33028082?v=4","gravatar_id":"","url":"https://api.github.com/users/JuliaReach","html_url":"https://github.com/JuliaReach","followers_url":"https://api.github.com/users/JuliaReach/followers","following_url":"https://api.github.com/users/JuliaReach/following{/other_user}","gists_url":"https://api.github.com/users/JuliaReach/gists{/gist_id}","starred_url":"https://api.github.com/users/JuliaReach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JuliaReach/subscriptions","organizations_url":"https://api.github.com/users/JuliaReach/orgs","repos_url":"https://api.github.com/users/JuliaReach/repos","events_url":"https://api.github.com/users/JuliaReach/events{/privacy}","received_events_url":"https://api.github.com/users/JuliaReach/received_events","type":"Organization","site_admin":false},"repo":{"id":106649339,"node_id":"MDEwOlJlcG9zaXRvcnkxMDY2NDkzMzk=","name":"Reachability.jl","full_name":"JuliaReach/Reachability.jl","owner":{"login":"JuliaReach","id":33028082,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMzMDI4MDgy","avatar_url":"https://avatars3.githubusercontent.com/u/33028082?v=4","gravatar_id":"","url":"https://api.github.com/users/JuliaReach","html_url":"https://github.com/JuliaReach","followers_url":"https://api.github.com/users/JuliaReach/followers","following_url":"https://api.github.com/users/JuliaReach/following{/other_user}","gists_url":"https://api.github.com/users/JuliaReach/gists{/gist_id}","starred_url":"https://api.github.com/users/JuliaReach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JuliaReach/subscriptions","organizations_url":"https://api.github.com/users/JuliaReach/orgs","repos_url":"https://api.github.com/users/JuliaReach/repos","events_url":"https://api.github.com/users/JuliaReach/events{/privacy}","received_events_url":"https://api.github.com/users/JuliaReach/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/JuliaReach/Reachability.jl","description":"Reachability and Safety Properties of Affine ODEs with Nondeterministic Inputs","fork":false,"url":"https://api.github.com/repos/JuliaReach/Reachability.jl","forks_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/forks","keys_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/keys{/key_id}","collaborators_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/teams","hooks_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/hooks","issue_events_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/events{/number}","events_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/events","assignees_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/assignees{/user}","branches_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/branches{/branch}","tags_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/tags","blobs_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/refs{/sha}","trees_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/trees{/sha}","statuses_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/statuses/{sha}","languages_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/languages","stargazers_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/stargazers","contributors_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/contributors","subscribers_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/subscribers","subscription_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/subscription","commits_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/commits{/sha}","git_commits_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/commits{/sha}","comments_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/comments{/number}","issue_comment_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/comments{/number}","contents_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/contents/{+path}","compare_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/compare/{base}...{head}","merges_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/merges","archive_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/downloads","issues_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues{/number}","pulls_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls{/number}","milestones_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/milestones{/number}","notifications_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/labels{/name}","releases_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/releases{/id}","deployments_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/deployments","created_at":"2017-10-12T05:39:18Z","updated_at":"2018-06-06T20:21:20Z","pushed_at":"2018-06-06T20:42:14Z","git_url":"git://github.com/JuliaReach/Reachability.jl.git","ssh_url":"git@github.com:JuliaReach/Reachability.jl.git","clone_url":"https://github.com/JuliaReach/Reachability.jl.git","svn_url":"https://github.com/JuliaReach/Reachability.jl","homepage":"","size":501,"stargazers_count":9,"watchers_count":9,"language":"Julia","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":49,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"forks":0,"open_issues":49,"watchers":9,"default_branch":"master"}},"base":{"label":"JuliaReach:master","ref":"master","sha":"e07e57c89b5ad9d3bb86c8bba08a4b7a4dbcc619","user":{"login":"JuliaReach","id":33028082,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMzMDI4MDgy","avatar_url":"https://avatars3.githubusercontent.com/u/33028082?v=4","gravatar_id":"","url":"https://api.github.com/users/JuliaReach","html_url":"https://github.com/JuliaReach","followers_url":"https://api.github.com/users/JuliaReach/followers","following_url":"https://api.github.com/users/JuliaReach/following{/other_user}","gists_url":"https://api.github.com/users/JuliaReach/gists{/gist_id}","starred_url":"https://api.github.com/users/JuliaReach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JuliaReach/subscriptions","organizations_url":"https://api.github.com/users/JuliaReach/orgs","repos_url":"https://api.github.com/users/JuliaReach/repos","events_url":"https://api.github.com/users/JuliaReach/events{/privacy}","received_events_url":"https://api.github.com/users/JuliaReach/received_events","type":"Organization","site_admin":false},"repo":{"id":106649339,"node_id":"MDEwOlJlcG9zaXRvcnkxMDY2NDkzMzk=","name":"Reachability.jl","full_name":"JuliaReach/Reachability.jl","owner":{"login":"JuliaReach","id":33028082,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMzMDI4MDgy","avatar_url":"https://avatars3.githubusercontent.com/u/33028082?v=4","gravatar_id":"","url":"https://api.github.com/users/JuliaReach","html_url":"https://github.com/JuliaReach","followers_url":"https://api.github.com/users/JuliaReach/followers","following_url":"https://api.github.com/users/JuliaReach/following{/other_user}","gists_url":"https://api.github.com/users/JuliaReach/gists{/gist_id}","starred_url":"https://api.github.com/users/JuliaReach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JuliaReach/subscriptions","organizations_url":"https://api.github.com/users/JuliaReach/orgs","repos_url":"https://api.github.com/users/JuliaReach/repos","events_url":"https://api.github.com/users/JuliaReach/events{/privacy}","received_events_url":"https://api.github.com/users/JuliaReach/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/JuliaReach/Reachability.jl","description":"Reachability and Safety Properties of Affine ODEs with Nondeterministic Inputs","fork":false,"url":"https://api.github.com/repos/JuliaReach/Reachability.jl","forks_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/forks","keys_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/keys{/key_id}","collaborators_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/teams","hooks_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/hooks","issue_events_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/events{/number}","events_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/events","assignees_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/assignees{/user}","branches_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/branches{/branch}","tags_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/tags","blobs_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/refs{/sha}","trees_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/trees{/sha}","statuses_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/statuses/{sha}","languages_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/languages","stargazers_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/stargazers","contributors_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/contributors","subscribers_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/subscribers","subscription_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/subscription","commits_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/commits{/sha}","git_commits_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/git/commits{/sha}","comments_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/comments{/number}","issue_comment_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/comments{/number}","contents_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/contents/{+path}","compare_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/compare/{base}...{head}","merges_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/merges","archive_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/downloads","issues_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues{/number}","pulls_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls{/number}","milestones_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/milestones{/number}","notifications_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/labels{/name}","releases_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/releases{/id}","deployments_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/deployments","created_at":"2017-10-12T05:39:18Z","updated_at":"2018-06-06T20:21:20Z","pushed_at":"2018-06-06T20:42:14Z","git_url":"git://github.com/JuliaReach/Reachability.jl.git","ssh_url":"git@github.com:JuliaReach/Reachability.jl.git","clone_url":"https://github.com/JuliaReach/Reachability.jl.git","svn_url":"https://github.com/JuliaReach/Reachability.jl","homepage":"","size":501,"stargazers_count":9,"watchers_count":9,"language":"Julia","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":49,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"forks":0,"open_issues":49,"watchers":9,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213"},"html":{"href":"https://github.com/JuliaReach/Reachability.jl/pull/213"},"issue":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/213"},"comments":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/213/comments"},"review_comments":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213/comments"},"review_comment":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/pulls/213/commits"},"statuses":{"href":"https://api.github.com/repos/JuliaReach/Reachability.jl/statuses/81f7a1629994343a93071aacdf9934296b4690fa"}},"author_association":"MEMBER"}}
{"actor":{"display_login":"mforets"}}