{"push_id":2862114497,"size":37,"distinct_size":9,"ref":"refs/heads/guido_tactics","head":"dd16b0fdd0094ab697842c13685735f16bc3a2f5","before":"494f0e705ae9d08ecf6e751e80fbb5cd5d6968b4","commits":[{"sha":"88e86322d086a3600b13540ff6cb2789950580f4","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/88e86322d086a3600b13540ff6cb2789950580f4"},{"sha":"364c68dd6e953c3e1011044124f407e57fd1263c","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/364c68dd6e953c3e1011044124f407e57fd1263c"},{"sha":"8a16902e9d14e7fa8c37f2d46f469c83d7656f7a","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"makefile nits","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8a16902e9d14e7fa8c37f2d46f469c83d7656f7a"},{"sha":"a437704bdab6d5643326ae61e62ee619d39bdd71","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"removing the duplication of specs from buffer and wrappers","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a437704bdab6d5643326ae61e62ee619d39bdd71"},{"sha":"636188ee3aeaa5c6b700aaa3d509c69b91523360","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"cleanup kremlin extraction","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/636188ee3aeaa5c6b700aaa3d509c69b91523360"},{"sha":"4719b929ec4ce571bfe5ab85adad65f82919036c","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4719b929ec4ce571bfe5ab85adad65f82919036c"},{"sha":"f2f56437f4a367d5af6eeecf76c9c6d7e6f49f9d","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"tweaking a timeout","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f2f56437f4a367d5af6eeecf76c9c6d7e6f49f9d"},{"sha":"81ff82ad9d6189a444e4c8096d966d80bbdea04d","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"removing the duplication of specs from buffer and wrappers","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/81ff82ad9d6189a444e4c8096d966d80bbdea04d"},{"sha":"a4bbc2d10f1071829c9074fc7d71c8c0035fa31b","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"some hints","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a4bbc2d10f1071829c9074fc7d71c8c0035fa31b"},{"sha":"37e71a9bd8ba0ad153ee93acafac74acf64d40b9","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"unfolding null (after kremlin fix)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/37e71a9bd8ba0ad153ee93acafac74acf64d40b9"},{"sha":"2f6f8904cdcb7cb7d29d49a0c29462bf39efd3f1","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"typeclasses","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2f6f8904cdcb7cb7d29d49a0c29462bf39efd3f1"},{"sha":"3a0ffeb3fb2d5697d9ae0fcd3e5da428a39f5831","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/3a0ffeb3fb2d5697d9ae0fcd3e5da428a39f5831"},{"sha":"fd3305915c8b913f4f5dfbd08936e52755478e8f","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"immutable buffers library","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/fd3305915c8b913f4f5dfbd08936e52755478e8f"},{"sha":"f8ba802b2471bd74485c7ed963618b65c0d2fc38","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"Merge branch 'master' into aseem_buffer_cleanup","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f8ba802b2471bd74485c7ed963618b65c0d2fc38"},{"sha":"2d3b08c757440c097ebe9e53cd2fd5bf42898940","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/2d3b08c757440c097ebe9e53cd2fd5bf42898940"},{"sha":"42fdf49578b7d64900e98d5e464a729edfb8117c","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"extract all witness and recall functions to unit in kremlin","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/42fdf49578b7d64900e98d5e464a729edfb8117c"},{"sha":"f69cab18af4ec30bf30a705706d7cbf30a5017d2","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"tweak","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f69cab18af4ec30bf30a705706d7cbf30a5017d2"},{"sha":"0cc9228a0efab91d7fb5d80e526d625dafb0afde","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"tweak","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/0cc9228a0efab91d7fb5d80e526d625dafb0afde"},{"sha":"041c151499b8e1d6a726f65e40d0dde8c206bc23","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/041c151499b8e1d6a726f65e40d0dde8c206bc23"},{"sha":"e73041c42378e63a52339f41e8602d7507d40c34","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"Merge branch 'aseem_buffer_cleanup'","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e73041c42378e63a52339f41e8602d7507d40c34"}]}
{"actor":{"display_login":"mtzguido"}}