{"action":"created","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/1547","repository_url":"https://api.github.com/repos/FStarLang/FStar","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/1547/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/1547/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/1547/events","html_url":"https://github.com/FStarLang/FStar/pull/1547","id":365112753,"node_id":"MDExOlB1bGxSZXF1ZXN0MjE5MTM1NTk1","number":1547,"title":"LowStar libraries for `vector` and the `regional` typeclass","user":{"login":"joonwonc","id":9726269,"node_id":"MDQ6VXNlcjk3MjYyNjk=","avatar_url":"https://avatars3.githubusercontent.com/u/9726269?v=4","gravatar_id":"","url":"https://api.github.com/users/joonwonc","html_url":"https://github.com/joonwonc","followers_url":"https://api.github.com/users/joonwonc/followers","following_url":"https://api.github.com/users/joonwonc/following{/other_user}","gists_url":"https://api.github.com/users/joonwonc/gists{/gist_id}","starred_url":"https://api.github.com/users/joonwonc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joonwonc/subscriptions","organizations_url":"https://api.github.com/users/joonwonc/orgs","repos_url":"https://api.github.com/users/joonwonc/repos","events_url":"https://api.github.com/users/joonwonc/events{/privacy}","received_events_url":"https://api.github.com/users/joonwonc/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"msprotz","id":10673049,"node_id":"MDQ6VXNlcjEwNjczMDQ5","avatar_url":"https://avatars1.githubusercontent.com/u/10673049?v=4","gravatar_id":"","url":"https://api.github.com/users/msprotz","html_url":"https://github.com/msprotz","followers_url":"https://api.github.com/users/msprotz/followers","following_url":"https://api.github.com/users/msprotz/following{/other_user}","gists_url":"https://api.github.com/users/msprotz/gists{/gist_id}","starred_url":"https://api.github.com/users/msprotz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/msprotz/subscriptions","organizations_url":"https://api.github.com/users/msprotz/orgs","repos_url":"https://api.github.com/users/msprotz/repos","events_url":"https://api.github.com/users/msprotz/events{/privacy}","received_events_url":"https://api.github.com/users/msprotz/received_events","type":"User","site_admin":false},"assignees":[{"login":"msprotz","id":10673049,"node_id":"MDQ6VXNlcjEwNjczMDQ5","avatar_url":"https://avatars1.githubusercontent.com/u/10673049?v=4","gravatar_id":"","url":"https://api.github.com/users/msprotz","html_url":"https://github.com/msprotz","followers_url":"https://api.github.com/users/msprotz/followers","following_url":"https://api.github.com/users/msprotz/following{/other_user}","gists_url":"https://api.github.com/users/msprotz/gists{/gist_id}","starred_url":"https://api.github.com/users/msprotz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/msprotz/subscriptions","organizations_url":"https://api.github.com/users/msprotz/orgs","repos_url":"https://api.github.com/users/msprotz/repos","events_url":"https://api.github.com/users/msprotz/events{/privacy}","received_events_url":"https://api.github.com/users/msprotz/received_events","type":"User","site_admin":false}],"milestone":null,"comments":14,"created_at":"2018-09-29T08:49:45Z","updated_at":"2018-11-13T05:37:04Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/FStarLang/FStar/pulls/1547","html_url":"https://github.com/FStarLang/FStar/pull/1547","diff_url":"https://github.com/FStarLang/FStar/pull/1547.diff","patch_url":"https://github.com/FStarLang/FStar/pull/1547.patch"},"body":"LowStar libraries for `vector` and the `regional` typeclass:\r\n- LowStar.Vector.fst: `vector`, a resizable `LowStar.Buffer` where a struct has its current size and capacity\r\n- LowStar.Regional.fst: the `regional` typeclass for fine-grained region control\r\n- LowStar.RVector.fst: `vector` as a `regional` typeclass instance\r\n- LowStar.Regional.Instances.fst: some useful typeclass instances"},"comment":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/comments/438143149","html_url":"https://github.com/FStarLang/FStar/pull/1547#issuecomment-438143149","issue_url":"https://api.github.com/repos/FStarLang/FStar/issues/1547","id":438143149,"node_id":"MDEyOklzc3VlQ29tbWVudDQzODE0MzE0OQ==","user":{"login":"aseemr","id":3921573,"node_id":"MDQ6VXNlcjM5MjE1NzM=","avatar_url":"https://avatars3.githubusercontent.com/u/3921573?v=4","gravatar_id":"","url":"https://api.github.com/users/aseemr","html_url":"https://github.com/aseemr","followers_url":"https://api.github.com/users/aseemr/followers","following_url":"https://api.github.com/users/aseemr/following{/other_user}","gists_url":"https://api.github.com/users/aseemr/gists{/gist_id}","starred_url":"https://api.github.com/users/aseemr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aseemr/subscriptions","organizations_url":"https://api.github.com/users/aseemr/orgs","repos_url":"https://api.github.com/users/aseemr/repos","events_url":"https://api.github.com/users/aseemr/events{/privacy}","received_events_url":"https://api.github.com/users/aseemr/received_events","type":"User","site_admin":false},"created_at":"2018-11-13T05:37:04Z","updated_at":"2018-11-13T05:37:04Z","author_association":"CONTRIBUTOR","body":"Could we also want a monotonic vector in the future? If so, this library should use `LowStar.Monotonic.Buffer` and should have a preorder.\r\n\r\nWe should merge it as is, but something to keep in mind. Also, changing it in the future would be easy enough."}}
{"actor":{"display_login":"aseemr"}}