{"push_id":1427024082,"size":30,"distinct_size":3,"ref":"refs/heads/kyod_dm4f_normalize_reify","head":"11a8b1db5aee3e99913911591a977cae1ea00119","before":"a8616c974ad7ab3cd63f93551410a44137296310","commits":[{"sha":"a5d53be866de833d768a3c155657056f4885ece3","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"only 2000+ shift/reduce and ~40 reduce/reduce to go","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a5d53be866de833d768a3c155657056f4885ece3"},{"sha":"2ea862269b8135dc44f046b963eb8bc0e6b1bc68","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"reverted patterns to not prevent double ascriptions","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2ea862269b8135dc44f046b963eb8bc0e6b1bc68"},{"sha":"7ed0c2cb3d706853eeb8b28b7bbb6407280d95f9","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"ulib and bootstrap compiles with menhir and ocamlyacc","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/7ed0c2cb3d706853eeb8b28b7bbb6407280d95f9"},{"sha":"82b4137acf00d9d4adcfd991b8b02f0baeae18be","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"minor corrections","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/82b4137acf00d9d4adcfd991b8b02f0baeae18be"},{"sha":"0dbc21af611133c1423165f8c03ac61d0b67a888","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"interactive mode restoredc","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/0dbc21af611133c1423165f8c03ac61d0b67a888"},{"sha":"40c656b5d5b13a380c521e7c671efee5aca60ce0","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"another try with the new parser","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/40c656b5d5b13a380c521e7c671efee5aca60ce0"},{"sha":"862ee946dc804e88066f64873ad4a11eafaea701","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Allowing an empty list of actions for DM4F","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/862ee946dc804e88066f64873ad4a11eafaea701"},{"sha":"d74a11e0706fed2b7bc575b9497c2c8dcda6052e","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"menhir version of the parser should be ready to use","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/d74a11e0706fed2b7bc575b9497c2c8dcda6052e"},{"sha":"c7a7805027dba8b5d1782b5cf74591c8b6091f0c","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"small bug with sed","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c7a7805027dba8b5d1782b5cf74591c8b6091f0c"},{"sha":"9bc11b81792764dbc53d3f02e48b88961ce58878","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Reviewing the parser with Tahina","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9bc11b81792764dbc53d3f02e48b88961ce58878"},{"sha":"7b7c4a29940324818b01ff9d28a013ded28633b9","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Multiple binders in let + fix #765c","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/7b7c4a29940324818b01ff9d28a013ded28633b9"},{"sha":"a49de44f7894bb0ec39182b9f575f68e7e3b4559","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"regenerating the fsharp parser parse.fsy","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a49de44f7894bb0ec39182b9f575f68e7e3b4559"},{"sha":"8fa06110f681810ac0a80b2347918dcde648c5e9","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Some cleaning up in the parser","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8fa06110f681810ac0a80b2347918dcde648c5e9"},{"sha":"78b2707534431a619e82ca6011c7ea6eed97fdc9","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Cleaning up the mess of the previous clean up","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/78b2707534431a619e82ca6011c7ea6eed97fdc9"},{"sha":"6bc332935532fabfabf54d29f0453c1b404fe589","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Debugging the bootstrap in F# (see bug 656)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6bc332935532fabfabf54d29f0453c1b404fe589"},{"sha":"4aa572a1a7e8c03f69543d1eea9f3f7cd2ebdd3d","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Debugging the bootstrap in F# (see bugs 746 and 672)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4aa572a1a7e8c03f69543d1eea9f3f7cd2ebdd3d"},{"sha":"aebd51f261c29d91d46004c6d47868a53a34cc6d","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Allowing operator definitions (#697)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/aebd51f261c29d91d46004c6d47868a53a34cc6d"},{"sha":"645459cb4759ff1e8e4617d32e9269c3c1a1cc09","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"accept underscore in binders and refinements (#413)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/645459cb4759ff1e8e4617d32e9269c3c1a1cc09"},{"sha":"ddd19b13af2c7aba63e1a46584f7d3968e4df452","author":{"name":"Benjamin Beurdouche","email":"fa71c29321e6a8abbb0f943008e4254da192add3@inria.fr"},"message":"Prims: align numbers of dtuples with tuples","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/ddd19b13af2c7aba63e1a46584f7d3968e4df452"},{"sha":"fdb9d26756a1b9404c54955ad65ace740f5f6221","author":{"name":"Kyo Dralliam","email":"f9aa4166dfc5db72629fb7ce5e5a96f90ac15bd8@gmail.com"},"message":"Fsharp's F* is now totally broken...","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/fdb9d26756a1b9404c54955ad65ace740f5f6221"}]}
{"actor":{"display_login":"kyoDralliam"}}