{"push_id":2407996189,"size":91,"distinct_size":3,"ref":"refs/heads/guido_tactics","head":"c0b24ed7b1913c3a254ec423747e8d6543e20019","before":"00bd14ad9e037c11b4ebfe0fa6436e9cc647430f","commits":[{"sha":"a1589acb2f4bc04cfdb640d567a6af7681365bac","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"A \"string printer\" example, for some paper submission\n\n***NO_CI***","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a1589acb2f4bc04cfdb640d567a6af7681365bac"},{"sha":"9ed47c018c283543695078a22279d6bfc4e7e4be","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"With 2-phase type checking, everything is simpler\n\nWith @nikswamy\n\n***NO_CI***","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9ed47c018c283543695078a22279d6bfc4e7e4be"},{"sha":"ea381757bf782cda5750ebf15402d85e270c8863","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Merge branch 'master' of github.com:FStarLang/FStar into taramana_string_printer","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/ea381757bf782cda5750ebf15402d85e270c8863"},{"sha":"c9e3f2fe4615ce912f442c956766a371f5d0dd6c","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Not sure why this fails.\n\n***NO_CI***","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c9e3f2fe4615ce912f442c956766a371f5d0dd6c"},{"sha":"357e288545e4715783e77d47ab3ddd3cb1bb4078","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Merge branch 'master' of github.com:FStarLang/FStar into taramana_string_printer","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/357e288545e4715783e77d47ab3ddd3cb1bb4078"},{"sha":"5b57a0e743649e35a9b1261a5b024c909a38b7d3","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"Port tactics to new direct style","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5b57a0e743649e35a9b1261a5b024c909a38b7d3"},{"sha":"032fc9c772c4c21e9e6a5a1248f3864d11c29031","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"With a coercion, it works. Need the type, though","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/032fc9c772c4c21e9e6a5a1248f3864d11c29031"},{"sha":"4cd0801f4d640d01a3b4c7a219e7ce5288d67222","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Enable CI","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4cd0801f4d640d01a3b4c7a219e7ce5288d67222"},{"sha":"b1ae51acc333269297df5e6c5e31c91d7d6c2839","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Fix tactic for `bind`","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b1ae51acc333269297df5e6c5e31c91d7d6c2839"},{"sha":"b2e2478c5dc7c710331d5f814757262dc468cbd8","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Support function bodies","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b2e2478c5dc7c710331d5f814757262dc468cbd8"},{"sha":"a914f4aa8735ae06a3c9d0e5c43c5440aae44f4c","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"ifthenelse\n\nThis makes the example test extract correctly!","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a914f4aa8735ae06a3c9d0e5c43c5440aae44f4c"},{"sha":"a7e9b13cf7c572c1ed5f98dbddfd7db4bf1d0b8a","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Merge branch 'master' of github.com:FStarLang/FStar into taramana_string_printer","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a7e9b13cf7c572c1ed5f98dbddfd7db4bf1d0b8a"},{"sha":"9772c6a5c3adead963c51e5e1964adf31aa94c50","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Merge branch 'master' of github.com:FStarLang/FStar into taramana_string_printer","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9772c6a5c3adead963c51e5e1964adf31aa94c50"},{"sha":"42d5f3b645b42463c70c56fdcdba46c8ec4c25ad","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Pair destruct combinator (not yet in tactic)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/42d5f3b645b42463c70c56fdcdba46c8ec4c25ad"},{"sha":"71d56d330172a78f4c7f062f8e0f2df603ca09b2","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Stateful combinators (WIP)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/71d56d330172a78f4c7f062f8e0f2df603ca09b2"},{"sha":"6b37f7112bf40e9c3c3680be359102fc89146435","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Merge branch 'master' of github.com:FStarLang/FStar into taramana_string_printer","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6b37f7112bf40e9c3c3680be359102fc89146435"},{"sha":"4374b8e843fd9d3654b06608a1f79ece4d822f34","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Stateful combinators","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4374b8e843fd9d3654b06608a1f79ece4d822f34"},{"sha":"6eef2922e35a70c2dff68a0b3f3b10d233201886","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"One tactic, two systems","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6eef2922e35a70c2dff68a0b3f3b10d233201886"},{"sha":"e0db8eefdb2b88534f1b8c7a2d11625bbb1549fc","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"Example works, but does not extract (universes?)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e0db8eefdb2b88534f1b8c7a2d11625bbb1549fc"},{"sha":"fd5df433759e43c508217d53e56be223b2fc6dbc","author":{"name":"Tahina Ramananandro","email":"6e0695e2d671edd1da87f7a34784dadce00c8c13@microsoft.com"},"message":"This one does extract, giving up on some CPS","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/fd5df433759e43c508217d53e56be223b2fc6dbc"}]}
{"actor":{"display_login":"mtzguido"}}