{"action":"created","issue":{"url":"https://api.github.com/repos/CVC4/CVC4/issues/1838","repository_url":"https://api.github.com/repos/CVC4/CVC4","labels_url":"https://api.github.com/repos/CVC4/CVC4/issues/1838/labels{/name}","comments_url":"https://api.github.com/repos/CVC4/CVC4/issues/1838/comments","events_url":"https://api.github.com/repos/CVC4/CVC4/issues/1838/events","html_url":"https://github.com/CVC4/CVC4/pull/1838","id":319268569,"node_id":"MDExOlB1bGxSZXF1ZXN0MTg1MjMxMDYy","number":1838,"title":"Add support for incremental eager bit-blasting.","user":{"login":"mpreiner","id":4653598,"node_id":"MDQ6VXNlcjQ2NTM1OTg=","avatar_url":"https://avatars0.githubusercontent.com/u/4653598?v=4","gravatar_id":"","url":"https://api.github.com/users/mpreiner","html_url":"https://github.com/mpreiner","followers_url":"https://api.github.com/users/mpreiner/followers","following_url":"https://api.github.com/users/mpreiner/following{/other_user}","gists_url":"https://api.github.com/users/mpreiner/gists{/gist_id}","starred_url":"https://api.github.com/users/mpreiner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpreiner/subscriptions","organizations_url":"https://api.github.com/users/mpreiner/orgs","repos_url":"https://api.github.com/users/mpreiner/repos","events_url":"https://api.github.com/users/mpreiner/events{/privacy}","received_events_url":"https://api.github.com/users/mpreiner/received_events","type":"User","site_admin":false},"labels":[{"id":923379017,"node_id":"MDU6TGFiZWw5MjMzNzkwMTc=","url":"https://api.github.com/repos/CVC4/CVC4/labels/do%20not%20merge","name":"do not merge","color":"d93f0b","default":false},{"id":717338434,"node_id":"MDU6TGFiZWw3MTczMzg0MzQ=","url":"https://api.github.com/repos/CVC4/CVC4/labels/moderate","name":"moderate","color":"88ccf5","default":false},{"id":671891100,"node_id":"MDU6TGFiZWw2NzE4OTExMDA=","url":"https://api.github.com/repos/CVC4/CVC4/labels/normal","name":"normal","color":"ededed","default":false}],"state":"open","locked":false,"assignee":{"login":"4tXJ7f","id":1926228,"node_id":"MDQ6VXNlcjE5MjYyMjg=","avatar_url":"https://avatars3.githubusercontent.com/u/1926228?v=4","gravatar_id":"","url":"https://api.github.com/users/4tXJ7f","html_url":"https://github.com/4tXJ7f","followers_url":"https://api.github.com/users/4tXJ7f/followers","following_url":"https://api.github.com/users/4tXJ7f/following{/other_user}","gists_url":"https://api.github.com/users/4tXJ7f/gists{/gist_id}","starred_url":"https://api.github.com/users/4tXJ7f/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/4tXJ7f/subscriptions","organizations_url":"https://api.github.com/users/4tXJ7f/orgs","repos_url":"https://api.github.com/users/4tXJ7f/repos","events_url":"https://api.github.com/users/4tXJ7f/events{/privacy}","received_events_url":"https://api.github.com/users/4tXJ7f/received_events","type":"User","site_admin":false},"assignees":[{"login":"4tXJ7f","id":1926228,"node_id":"MDQ6VXNlcjE5MjYyMjg=","avatar_url":"https://avatars3.githubusercontent.com/u/1926228?v=4","gravatar_id":"","url":"https://api.github.com/users/4tXJ7f","html_url":"https://github.com/4tXJ7f","followers_url":"https://api.github.com/users/4tXJ7f/followers","following_url":"https://api.github.com/users/4tXJ7f/following{/other_user}","gists_url":"https://api.github.com/users/4tXJ7f/gists{/gist_id}","starred_url":"https://api.github.com/users/4tXJ7f/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/4tXJ7f/subscriptions","organizations_url":"https://api.github.com/users/4tXJ7f/orgs","repos_url":"https://api.github.com/users/4tXJ7f/repos","events_url":"https://api.github.com/users/4tXJ7f/events{/privacy}","received_events_url":"https://api.github.com/users/4tXJ7f/received_events","type":"User","site_admin":false},{"login":"aniemetz","id":29313325,"node_id":"MDQ6VXNlcjI5MzEzMzI1","avatar_url":"https://avatars3.githubusercontent.com/u/29313325?v=4","gravatar_id":"","url":"https://api.github.com/users/aniemetz","html_url":"https://github.com/aniemetz","followers_url":"https://api.github.com/users/aniemetz/followers","following_url":"https://api.github.com/users/aniemetz/following{/other_user}","gists_url":"https://api.github.com/users/aniemetz/gists{/gist_id}","starred_url":"https://api.github.com/users/aniemetz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aniemetz/subscriptions","organizations_url":"https://api.github.com/users/aniemetz/orgs","repos_url":"https://api.github.com/users/aniemetz/repos","events_url":"https://api.github.com/users/aniemetz/events{/privacy}","received_events_url":"https://api.github.com/users/aniemetz/received_events","type":"User","site_admin":false}],"milestone":null,"comments":1,"created_at":"2018-05-01T17:39:50Z","updated_at":"2018-07-30T17:41:11Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/CVC4/CVC4/pulls/1838","html_url":"https://github.com/CVC4/CVC4/pull/1838","diff_url":"https://github.com/CVC4/CVC4/pull/1838.diff","patch_url":"https://github.com/CVC4/CVC4/pull/1838.patch"},"body":"Eager incremental solving is achieved via solving under assumptions. As soon as incremental and eager bit-blasting is enabled, assertions are passed to the SAT solver as assumptions rather than assertions. This requires the eager SAT solver to support incremental solving, which is currently only supported by CryptoMiniSat."},"comment":{"url":"https://api.github.com/repos/CVC4/CVC4/issues/comments/408948860","html_url":"https://github.com/CVC4/CVC4/pull/1838#issuecomment-408948860","issue_url":"https://api.github.com/repos/CVC4/CVC4/issues/1838","id":408948860,"node_id":"MDEyOklzc3VlQ29tbWVudDQwODk0ODg2MA==","user":{"login":"aniemetz","id":29313325,"node_id":"MDQ6VXNlcjI5MzEzMzI1","avatar_url":"https://avatars3.githubusercontent.com/u/29313325?v=4","gravatar_id":"","url":"https://api.github.com/users/aniemetz","html_url":"https://github.com/aniemetz","followers_url":"https://api.github.com/users/aniemetz/followers","following_url":"https://api.github.com/users/aniemetz/following{/other_user}","gists_url":"https://api.github.com/users/aniemetz/gists{/gist_id}","starred_url":"https://api.github.com/users/aniemetz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aniemetz/subscriptions","organizations_url":"https://api.github.com/users/aniemetz/orgs","repos_url":"https://api.github.com/users/aniemetz/repos","events_url":"https://api.github.com/users/aniemetz/events{/privacy}","received_events_url":"https://api.github.com/users/aniemetz/received_events","type":"User","site_admin":false},"created_at":"2018-07-30T17:41:11Z","updated_at":"2018-07-30T17:41:11Z","author_association":"MEMBER","body":"LGTM"}}
{"actor":{"display_login":"aniemetz"}}