{"action":"created","issue":{"url":"https://api.github.com/repos/probmods/webppl/issues/99","labels_url":"https://api.github.com/repos/probmods/webppl/issues/99/labels{/name}","comments_url":"https://api.github.com/repos/probmods/webppl/issues/99/comments","events_url":"https://api.github.com/repos/probmods/webppl/issues/99/events","html_url":"https://github.com/probmods/webppl/pull/99","id":73867969,"number":99,"title":"more efficient MH","user":{"login":"iffsid","id":1027018,"avatar_url":"https://avatars.githubusercontent.com/u/1027018?v=3","gravatar_id":"","url":"https://api.github.com/users/iffsid","html_url":"https://github.com/iffsid","followers_url":"https://api.github.com/users/iffsid/followers","following_url":"https://api.github.com/users/iffsid/following{/other_user}","gists_url":"https://api.github.com/users/iffsid/gists{/gist_id}","starred_url":"https://api.github.com/users/iffsid/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/iffsid/subscriptions","organizations_url":"https://api.github.com/users/iffsid/orgs","repos_url":"https://api.github.com/users/iffsid/repos","events_url":"https://api.github.com/users/iffsid/events{/privacy}","received_events_url":"https://api.github.com/users/iffsid/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-05-07T06:43:40Z","updated_at":"2015-06-16T00:30:43Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/probmods/webppl/pulls/99","html_url":"https://github.com/probmods/webppl/pull/99","diff_url":"https://github.com/probmods/webppl/pull/99.diff","patch_url":"https://github.com/probmods/webppl/pull/99.patch"},"body":" - use hashmap for efficiency (similar to DanR's version)\r\n - other assorted minor efficiencies\r\n - modularize so reuse is better (in future branches/commits to merge into dev)\r\n   [deepcopytrace moved into MH to faciliate exports to other places where mh may be used]\r\n\r\n Changes to smc.js are superficial and were needed to make tests work because of\r\n dependence on old MH stuff. Once this is merged, smc can be updated to use new MH\r\n and pf with var#factors."},"comment":{"url":"https://api.github.com/repos/probmods/webppl/issues/comments/112244120","html_url":"https://github.com/probmods/webppl/pull/99#issuecomment-112244120","issue_url":"https://api.github.com/repos/probmods/webppl/issues/99","id":112244120,"user":{"login":"stuhlmueller","id":382515,"avatar_url":"https://avatars.githubusercontent.com/u/382515?v=3","gravatar_id":"","url":"https://api.github.com/users/stuhlmueller","html_url":"https://github.com/stuhlmueller","followers_url":"https://api.github.com/users/stuhlmueller/followers","following_url":"https://api.github.com/users/stuhlmueller/following{/other_user}","gists_url":"https://api.github.com/users/stuhlmueller/gists{/gist_id}","starred_url":"https://api.github.com/users/stuhlmueller/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stuhlmueller/subscriptions","organizations_url":"https://api.github.com/users/stuhlmueller/orgs","repos_url":"https://api.github.com/users/stuhlmueller/repos","events_url":"https://api.github.com/users/stuhlmueller/events{/privacy}","received_events_url":"https://api.github.com/users/stuhlmueller/received_events","type":"User","site_admin":false},"created_at":"2015-06-16T00:30:43Z","updated_at":"2015-06-16T00:30:43Z","body":"Given that we now already have hashmh and the store handling fix, what extra things does this pull request do? Maybe make new (smaller) pull requests on top off the current dev head so that we can have those extra things for hashmh? (In general, it's much easier to merge smaller pull requests.)"}}