{"push_id":2656841263,"size":14,"distinct_size":6,"ref":"refs/heads/guido_tactics","head":"6ff56f6b2adf53df8c9e906c03e7bb511c5dcead","before":"502d05ffb18fbec91133450cfe3c8903386fe9bb","commits":[{"sha":"0dc9e8173486dd7cdeebf6b0db8e1ed1e2b71153","author":{"name":"Dzomo the everest Yak","email":"76c82b5e467a903462cf94fa82200db51ccc5116@microsoft.com"},"message":"[CI] regenerate hints + ocaml snapshot","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/0dc9e8173486dd7cdeebf6b0db8e1ed1e2b71153"},{"sha":"a025ebe49599a9e5313465456b198f4431dfe56a","author":{"name":"Dzomo the everest Yak","email":"76c82b5e467a903462cf94fa82200db51ccc5116@microsoft.com"},"message":"[CI] regenerate hints + ocaml snapshot","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a025ebe49599a9e5313465456b198f4431dfe56a"},{"sha":"53f3e3bbe45e865f86aa6c8ce6b59816fc661b38","author":{"name":"Dzomo the everest Yak","email":"76c82b5e467a903462cf94fa82200db51ccc5116@microsoft.com"},"message":"[CI] regenerate hints + ocaml snapshot","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/53f3e3bbe45e865f86aa6c8ce6b59816fc661b38"},{"sha":"5621ea8280cdbfc96a496a90db62a51815548e27","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"loc_disjoint_union should be an equivalence (reported by @jaybosamiya)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5621ea8280cdbfc96a496a90db62a51815548e27"},{"sha":"f6b86ac37a4cbb614eb087a31c2d7b472b9b1735","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"Merge branch 'master' of github.com:FStarLang/FStar into taramana_bufferv2","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f6b86ac37a4cbb614eb087a31c2d7b472b9b1735"},{"sha":"b3a05af6abe52f33dfe8a18a20f2375c61ade814","author":{"name":"Dzomo the everest Yak","email":"76c82b5e467a903462cf94fa82200db51ccc5116@microsoft.com"},"message":"[CI] regenerate hints + ocaml snapshot","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b3a05af6abe52f33dfe8a18a20f2375c61ade814"},{"sha":"627aa551f39c445908a178af0b9f4e8f0b5581fe","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"tutorial changes for LowStar @ pldi 2018","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/627aa551f39c445908a178af0b9f4e8f0b5581fe"},{"sha":"2bb80e2d2d253da0827addb7c4f9042222b69fd5","author":{"name":"Jonathan Protzenko","email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com"},"message":"Add deref in BufferOps and use it for the examples","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2bb80e2d2d253da0827addb7c4f9042222b69fd5"},{"sha":"3101a073e657686a4f4317f2d1cf229e31b5fb93","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"fix warning","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/3101a073e657686a4f4317f2d1cf229e31b5fb93"},{"sha":"08cccf8a69ea5e3cf11c1f0845d361fc1b821473","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"tc: being more explicit with the `implicit` type","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/08cccf8a69ea5e3cf11c1f0845d361fc1b821473"},{"sha":"e461875b84f3dc12ebc74f5e6ff2b39dfd1e4f09","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"tc: env: keep a hash table from (simple) attributes to sigelts","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e461875b84f3dc12ebc74f5e6ff2b39dfd1e4f09"},{"sha":"9af6144d7cfa444bc3ba7f78fa76ef9304180c40","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"reflection: adding a lookup_attr","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9af6144d7cfa444bc3ba7f78fa76ef9304180c40"},{"sha":"fa96931b985a6815092ae253e0ac055f17f68b34","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"tc: reorg fail attr and debug info","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/fa96931b985a6815092ae253e0ac055f17f68b34"},{"sha":"6ff56f6b2adf53df8c9e906c03e7bb511c5dcead","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"snap","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6ff56f6b2adf53df8c9e906c03e7bb511c5dcead"}]}
{"actor":{"display_login":"mtzguido"}}