{"action":"closed","issue":{"url":"https://api.github.com/repos/shnarazk/mios/issues/1","labels_url":"https://api.github.com/repos/shnarazk/mios/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/shnarazk/mios/issues/1/comments","events_url":"https://api.github.com/repos/shnarazk/mios/issues/1/events","html_url":"https://github.com/shnarazk/mios/issues/1","id":119408297,"number":1,"title":"release plan","user":{"login":"shnarazk","id":997855,"avatar_url":"https://avatars.githubusercontent.com/u/997855?v=3","gravatar_id":"","url":"https://api.github.com/users/shnarazk","html_url":"https://github.com/shnarazk","followers_url":"https://api.github.com/users/shnarazk/followers","following_url":"https://api.github.com/users/shnarazk/following{/other_user}","gists_url":"https://api.github.com/users/shnarazk/gists{/gist_id}","starred_url":"https://api.github.com/users/shnarazk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shnarazk/subscriptions","organizations_url":"https://api.github.com/users/shnarazk/orgs","repos_url":"https://api.github.com/users/shnarazk/repos","events_url":"https://api.github.com/users/shnarazk/events{/privacy}","received_events_url":"https://api.github.com/users/shnarazk/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/shnarazk/mios/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"closed","locked":false,"assignee":{"login":"shnarazk","id":997855,"avatar_url":"https://avatars.githubusercontent.com/u/997855?v=3","gravatar_id":"","url":"https://api.github.com/users/shnarazk","html_url":"https://github.com/shnarazk","followers_url":"https://api.github.com/users/shnarazk/followers","following_url":"https://api.github.com/users/shnarazk/following{/other_user}","gists_url":"https://api.github.com/users/shnarazk/gists{/gist_id}","starred_url":"https://api.github.com/users/shnarazk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shnarazk/subscriptions","organizations_url":"https://api.github.com/users/shnarazk/orgs","repos_url":"https://api.github.com/users/shnarazk/repos","events_url":"https://api.github.com/users/shnarazk/events{/privacy}","received_events_url":"https://api.github.com/users/shnarazk/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/shnarazk/mios/milestones/1","html_url":"https://github.com/shnarazk/mios/milestones/hello%20world","labels_url":"https://api.github.com/repos/shnarazk/mios/milestones/1/labels","id":1434354,"number":1,"title":"hello world","description":"Open the code.","creator":{"login":"shnarazk","id":997855,"avatar_url":"https://avatars.githubusercontent.com/u/997855?v=3","gravatar_id":"","url":"https://api.github.com/users/shnarazk","html_url":"https://github.com/shnarazk","followers_url":"https://api.github.com/users/shnarazk/followers","following_url":"https://api.github.com/users/shnarazk/following{/other_user}","gists_url":"https://api.github.com/users/shnarazk/gists{/gist_id}","starred_url":"https://api.github.com/users/shnarazk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shnarazk/subscriptions","organizations_url":"https://api.github.com/users/shnarazk/orgs","repos_url":"https://api.github.com/users/shnarazk/repos","events_url":"https://api.github.com/users/shnarazk/events{/privacy}","received_events_url":"https://api.github.com/users/shnarazk/received_events","type":"User","site_admin":false},"open_issues":0,"closed_issues":1,"state":"open","created_at":"2015-11-30T02:40:35Z","updated_at":"2016-01-12T15:06:00Z","due_on":"2015-12-30T15:00:00Z","closed_at":null},"comments":2,"created_at":"2015-11-30T02:30:59Z","updated_at":"2016-01-12T15:06:00Z","closed_at":"2016-01-12T15:06:00Z","body":"LBD was implemented. But before committing it to master, I must make a release of a vanilla minisat implementation.\r\n\r\n- [x] move codes on LBD from the HEAD to a new branch\r\n- [x] move codes on my heuristics on clause activity to somewhere\r\n- [x] bump to *closed version 0.9* in my private repository --  a *solid* minisat implementation\r\n  - [x] check the clause reducing strategy in the paper again and again\r\n  - [x] compare to [minisat 1.14](http://minisat.se/downloads/MiniSat_v1.14.2006-Aug-29.src.zip)\r\n  - [x] compare to *[TAOCP 7.2.2.2 Satisfiability](http://www-cs-faculty.stanford.edu/~uno/fasc6a.ps.gz)*  :mag: \r\n- [x] swtich to this repository from a private one **by Dec. 10**\r\n  - [x] prune everything but mios :christmas_tree: \r\n  - [x] rebase :tanabata_tree: \r\n- [x] bump to *closed version 1.0* in my private repository\r\n  - [x] switch to **stack** from **cabal**\r\n  - [x] comparison of `IORef`, `Vector.Unboxed.Mutable singleton`, `Data.Mutable`\r\n- [x] reimplement old version based on 1.0 codebases to make version comparisons meaningful. (Old versions have critical mistakes in various functions)\r\n  - [x] salvage old classes and types :anchor: \r\n  - [x] ~~add some mechanism to switch versions easily~~\r\n  - [x] ~~update cabal file in order to generate *all versions*~~\r\n- [x] Test!  Experiment! Record! Summarize! :school:\r\n- [x] refactoring to RC3\r\n  - [x] commit everything\r\n  - [x] rebase\r\n  - [x] activate all options\r\n- [x] refactoring to 1.0\r\n  - [x] update REAME.md\r\n  - [x] commit everything\r\n  - [x] rebase\r\n  - [x] final check\r\n- [x] update statistics\r\n- [x] open **version 1.0** -- *slow but true minisat* **by ~~Dec. 30~~ 2016-01-13** :tada: \r\n\r\n"}}