{"action":"published","release":{"url":"https://api.github.com/repos/lgwagner/SpeAR/releases/11250045","assets_url":"https://api.github.com/repos/lgwagner/SpeAR/releases/11250045/assets","upload_url":"https://uploads.github.com/repos/lgwagner/SpeAR/releases/11250045/assets{?name,label}","html_url":"https://github.com/lgwagner/SpeAR/releases/tag/v2.1.1","id":11250045,"node_id":"MDc6UmVsZWFzZTExMjUwMDQ1","tag_name":"v2.1.1","target_commitish":"master","name":"","draft":false,"author":{"login":"lgwagner","id":2699181,"node_id":"MDQ6VXNlcjI2OTkxODE=","avatar_url":"https://avatars0.githubusercontent.com/u/2699181?v=4","gravatar_id":"","url":"https://api.github.com/users/lgwagner","html_url":"https://github.com/lgwagner","followers_url":"https://api.github.com/users/lgwagner/followers","following_url":"https://api.github.com/users/lgwagner/following{/other_user}","gists_url":"https://api.github.com/users/lgwagner/gists{/gist_id}","starred_url":"https://api.github.com/users/lgwagner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lgwagner/subscriptions","organizations_url":"https://api.github.com/users/lgwagner/orgs","repos_url":"https://api.github.com/users/lgwagner/repos","events_url":"https://api.github.com/users/lgwagner/events{/privacy}","received_events_url":"https://api.github.com/users/lgwagner/received_events","type":"User","site_admin":false},"prerelease":false,"created_at":"2018-05-09T20:42:14Z","published_at":"2018-05-30T21:33:10Z","assets":[{"url":"https://api.github.com/repos/lgwagner/SpeAR/releases/assets/7355224","id":7355224,"node_id":"MDEyOlJlbGVhc2VBc3NldDczNTUyMjQ=","name":"spear_win64.zip","label":null,"uploader":{"login":"lgwagner","id":2699181,"node_id":"MDQ6VXNlcjI2OTkxODE=","avatar_url":"https://avatars0.githubusercontent.com/u/2699181?v=4","gravatar_id":"","url":"https://api.github.com/users/lgwagner","html_url":"https://github.com/lgwagner","followers_url":"https://api.github.com/users/lgwagner/followers","following_url":"https://api.github.com/users/lgwagner/following{/other_user}","gists_url":"https://api.github.com/users/lgwagner/gists{/gist_id}","starred_url":"https://api.github.com/users/lgwagner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lgwagner/subscriptions","organizations_url":"https://api.github.com/users/lgwagner/orgs","repos_url":"https://api.github.com/users/lgwagner/repos","events_url":"https://api.github.com/users/lgwagner/events{/privacy}","received_events_url":"https://api.github.com/users/lgwagner/received_events","type":"User","site_admin":false},"content_type":"application/x-zip-compressed","state":"uploaded","size":86404421,"download_count":0,"created_at":"2018-05-30T21:31:18Z","updated_at":"2018-05-30T21:31:21Z","browser_download_url":"https://github.com/lgwagner/SpeAR/releases/download/v2.1.1/spear_win64.zip"}],"tarball_url":"https://api.github.com/repos/lgwagner/SpeAR/tarball/v2.1.1","zipball_url":"https://api.github.com/repos/lgwagner/SpeAR/zipball/v2.1.1","body":"This release introduces SpeAR 2.1.1. This release introduces several improvements to the underlying tool to improve efficiency, readability, and maintainability of the code. This release does *not* introduce any new features. Any feedback on errors/issues should be reported as issues [here](https://github.com/lgwagner/SpeAR/issues).\r\n\r\n----\r\n\r\nSpeAR requires an SMT solver to be installed to work correctly. SMTInterpol is bundled with SpeAR and will support logical entailment and logical consistency analysis. [Z3](http://github.com/Z3Prover/z3/releases)  is _strongly_ recommended and is **required** to run realizability analysis.\r\n\r\nSpeAR also supports the following solvers for logical entailment and logical consistency analysis.\r\n    - [CVC4](http://cvc4.cs.nyu.edu/web/)\r\n    - [Yices2](http://yices.csl.sri.com/)\r\n\r\nThe solver that JKind uses for its analyses can be set from the Window -> Preferences, SpeAR Menu.\r\n\r\n![setsolver gif](https://cloud.githubusercontent.com/assets/2699181/25022051/0f986558-205a-11e7-9044-b5a490a57e21.gif)\r\n\r\nLastly, the feature for generating graphical representations of a specification requires [GraphViz](http://www.graphviz.org) to be installed."}}
{"actor":{"display_login":"lgwagner"}}