{"action":"opened","issue":{"url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/issues/316","repository_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE","labels_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/issues/316/labels{/name}","comments_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/issues/316/comments","events_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/issues/316/events","html_url":"https://github.com/ClemsonRSRG/RESOLVE/issues/316","id":333071762,"node_id":"MDU6SXNzdWUzMzMwNzE3NjI=","number":316,"title":"Complete Prover Refactor","user":{"login":"yushan87","id":2300960,"node_id":"MDQ6VXNlcjIzMDA5NjA=","avatar_url":"https://avatars3.githubusercontent.com/u/2300960?v=4","gravatar_id":"","url":"https://api.github.com/users/yushan87","html_url":"https://github.com/yushan87","followers_url":"https://api.github.com/users/yushan87/followers","following_url":"https://api.github.com/users/yushan87/following{/other_user}","gists_url":"https://api.github.com/users/yushan87/gists{/gist_id}","starred_url":"https://api.github.com/users/yushan87/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yushan87/subscriptions","organizations_url":"https://api.github.com/users/yushan87/orgs","repos_url":"https://api.github.com/users/yushan87/repos","events_url":"https://api.github.com/users/yushan87/events{/privacy}","received_events_url":"https://api.github.com/users/yushan87/received_events","type":"User","site_admin":false},"labels":[{"id":12289090,"node_id":"MDU6TGFiZWwxMjI4OTA5MA==","url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/labels/general","name":"general","color":"84b6eb","default":false},{"id":398141234,"node_id":"MDU6TGFiZWwzOTgxNDEyMzQ=","url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/labels/newfeature","name":"newfeature","color":"d4c5f9","default":false},{"id":250787755,"node_id":"MDU6TGFiZWwyNTA3ODc3NTU=","url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/labels/prover","name":"prover","color":"bfdadc","default":false}],"state":"open","locked":false,"assignee":{"login":"yushan87","id":2300960,"node_id":"MDQ6VXNlcjIzMDA5NjA=","avatar_url":"https://avatars3.githubusercontent.com/u/2300960?v=4","gravatar_id":"","url":"https://api.github.com/users/yushan87","html_url":"https://github.com/yushan87","followers_url":"https://api.github.com/users/yushan87/followers","following_url":"https://api.github.com/users/yushan87/following{/other_user}","gists_url":"https://api.github.com/users/yushan87/gists{/gist_id}","starred_url":"https://api.github.com/users/yushan87/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yushan87/subscriptions","organizations_url":"https://api.github.com/users/yushan87/orgs","repos_url":"https://api.github.com/users/yushan87/repos","events_url":"https://api.github.com/users/yushan87/events{/privacy}","received_events_url":"https://api.github.com/users/yushan87/received_events","type":"User","site_admin":false},"assignees":[{"login":"yushan87","id":2300960,"node_id":"MDQ6VXNlcjIzMDA5NjA=","avatar_url":"https://avatars3.githubusercontent.com/u/2300960?v=4","gravatar_id":"","url":"https://api.github.com/users/yushan87","html_url":"https://github.com/yushan87","followers_url":"https://api.github.com/users/yushan87/followers","following_url":"https://api.github.com/users/yushan87/following{/other_user}","gists_url":"https://api.github.com/users/yushan87/gists{/gist_id}","starred_url":"https://api.github.com/users/yushan87/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yushan87/subscriptions","organizations_url":"https://api.github.com/users/yushan87/orgs","repos_url":"https://api.github.com/users/yushan87/repos","events_url":"https://api.github.com/users/yushan87/events{/privacy}","received_events_url":"https://api.github.com/users/yushan87/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/milestones/18","html_url":"https://github.com/ClemsonRSRG/RESOLVE/milestone/18","labels_url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE/milestones/18/labels","id":3422412,"node_id":"MDk6TWlsZXN0b25lMzQyMjQxMg==","number":18,"title":"Summer 2018","description":"This is the collection of bug fixes and enhancements done during the summer semester of 2018.","creator":{"login":"yushan87","id":2300960,"node_id":"MDQ6VXNlcjIzMDA5NjA=","avatar_url":"https://avatars3.githubusercontent.com/u/2300960?v=4","gravatar_id":"","url":"https://api.github.com/users/yushan87","html_url":"https://github.com/yushan87","followers_url":"https://api.github.com/users/yushan87/followers","following_url":"https://api.github.com/users/yushan87/following{/other_user}","gists_url":"https://api.github.com/users/yushan87/gists{/gist_id}","starred_url":"https://api.github.com/users/yushan87/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yushan87/subscriptions","organizations_url":"https://api.github.com/users/yushan87/orgs","repos_url":"https://api.github.com/users/yushan87/repos","events_url":"https://api.github.com/users/yushan87/events{/privacy}","received_events_url":"https://api.github.com/users/yushan87/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":2,"state":"open","created_at":"2018-06-13T16:09:41Z","updated_at":"2018-06-17T15:41:08Z","due_on":"2018-08-15T07:00:00Z","closed_at":null},"comments":0,"created_at":"2018-06-17T15:41:08Z","updated_at":"2018-06-17T15:41:08Z","closed_at":null,"author_association":"MEMBER","body":"### Summary\r\nWith the `VCGenerator` refactor almost complete, it is time to integrate the `Congruence Class Prover`. Below is a check list of things that will need to happen before we can run tests on the new compiler. Currently, the list is incomplete and new items will be added when we encounter them during the refactoring process.\r\n\r\n### Refactor Check List\r\n- [x] `Immutable Lists`\r\n- [x] `Iterators`\r\n- [ ] Output\r\n   - [ ] `Metrics`\r\n   - [ ] `PerVCProverModel`\r\n- [ ] `PExp` hierarchy\r\n- [ ] `Utilities` classes\r\n   - [ ] `ImmutableVC`\r\n   - [x] `NormalizedAtomicExpressions`\r\n   - [x] `Registry`\r\n\r\n### New Changes Check List\r\n- [ ] `FileOutputListener` method for displaying prover results\r\n\r\n### Issues to Address\r\n- [ ]  Issue #205"}}
{"actor":{"display_login":"yushan87"}}