{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/10430","repository_url":"https://api.github.com/repos/ocaml/opam-repository","labels_url":"https://api.github.com/repos/ocaml/opam-repository/issues/10430/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam-repository/issues/10430/comments","events_url":"https://api.github.com/repos/ocaml/opam-repository/issues/10430/events","html_url":"https://github.com/ocaml/opam-repository/pull/10430","id":263949384,"number":10430,"title":"Package fstar.0.9.5.0","user":{"login":"tahina-pro","id":15695239,"avatar_url":"https://avatars3.githubusercontent.com/u/15695239?v=4","gravatar_id":"","url":"https://api.github.com/users/tahina-pro","html_url":"https://github.com/tahina-pro","followers_url":"https://api.github.com/users/tahina-pro/followers","following_url":"https://api.github.com/users/tahina-pro/following{/other_user}","gists_url":"https://api.github.com/users/tahina-pro/gists{/gist_id}","starred_url":"https://api.github.com/users/tahina-pro/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tahina-pro/subscriptions","organizations_url":"https://api.github.com/users/tahina-pro/orgs","repos_url":"https://api.github.com/users/tahina-pro/repos","events_url":"https://api.github.com/users/tahina-pro/events{/privacy}","received_events_url":"https://api.github.com/users/tahina-pro/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2017-10-09T16:11:42Z","updated_at":"2017-10-10T12:38:49Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/ocaml/opam-repository/pulls/10430","html_url":"https://github.com/ocaml/opam-repository/pull/10430","diff_url":"https://github.com/ocaml/opam-repository/pull/10430.diff","patch_url":"https://github.com/ocaml/opam-repository/pull/10430.patch"},"body":"This is another big release of the F* programming language with lots of changes and new features compared to v0.9.4.0\r\n\r\n# Main new features\r\n\r\n- Proofs by reification (see this [paper](https://arxiv.org/abs/1703.00055))\r\n- A revision of the libraries based on a new formal account of monotonic state (see this [paper](https://arxiv.org/abs/1707.02466))\r\n- Extraction of programs with user-defined effects\r\n- Experimental support for tactics\r\n- [New IDE protocol](https://github.com/FStarLang/FStar/wiki/Editor-support-for-F*) and [new IDE features](https://github.com/FStarLang/fstar-mode.el): autocompletion, evaluation, real-time syntax checking, jump-to-definition, type-at-point, etc.\r\n\r\n# Changes and other improvements\r\n- A reorganization of the library and a single `fstarlib.cmxa` against which to link all F* programs compiled to OCaml (this change is incompatible with previous versions of F*)\r\n- A new printer of source terms\r\n- Revised error reporting from failed SMT queries\r\n- Improved support for separate compilation via a binary format for checked modules\r\n- Fixed a ton of bugs ([179 closed GitHub issues](https://github.com/FStarLang/FStar/issues?utf8=%E2%9C%93&q=is%3Aissue%20is%3Aclosed%20closed%3A%222017-02-02%20..%202017-08-23%22%20))\r\n"},"comment":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/comments/335458682","html_url":"https://github.com/ocaml/opam-repository/pull/10430#issuecomment-335458682","issue_url":"https://api.github.com/repos/ocaml/opam-repository/issues/10430","id":335458682,"user":{"login":"samoht","id":103693,"avatar_url":"https://avatars0.githubusercontent.com/u/103693?v=4","gravatar_id":"","url":"https://api.github.com/users/samoht","html_url":"https://github.com/samoht","followers_url":"https://api.github.com/users/samoht/followers","following_url":"https://api.github.com/users/samoht/following{/other_user}","gists_url":"https://api.github.com/users/samoht/gists{/gist_id}","starred_url":"https://api.github.com/users/samoht/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/samoht/subscriptions","organizations_url":"https://api.github.com/users/samoht/orgs","repos_url":"https://api.github.com/users/samoht/repos","events_url":"https://api.github.com/users/samoht/events{/privacy}","received_events_url":"https://api.github.com/users/samoht/received_events","type":"User","site_admin":false},"created_at":"2017-10-10T12:38:49Z","updated_at":"2017-10-10T12:38:49Z","author_association":"MEMBER","body":"Thank you! Merged."}}
{"actor":{"display_login":"samoht"}}