{"push_id":2017275110,"size":165,"distinct_size":32,"ref":"refs/heads/cpitclaudel_912","head":"03a6154e5d81aff29b334781429a09099275075d","before":"ab8464aa69f6d581f600ce47a13a3bb60d4d9a0f","commits":[{"sha":"045989721a57810171ba965d2db59c088d49896a","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"nit","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/045989721a57810171ba965d2db59c088d49896a"},{"sha":"98fdbb9c68ec5898cfd0d89480440121746cb981","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: catch possible unification exceptions","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/98fdbb9c68ec5898cfd0d89480440121746cb981"},{"sha":"2b1046592df974fc98a78eb49364ff23f60f728f","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2b1046592df974fc98a78eb49364ff23f60f728f"},{"sha":"afa3c5ddb94d944faf64ed438418ce6c27d4426f","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: small tweak\n\nIt doesn't make sense to add the goal and then try to solve it, only add\nit if not trivial","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/afa3c5ddb94d944faf64ed438418ce6c27d4426f"},{"sha":"cec4d62841d46d3a57254454a58e91dc853c2191","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cec4d62841d46d3a57254454a58e91dc853c2191"},{"sha":"62c07e033b49dbf427e3f2d2dcaee8576650689c","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: fix stupid mistake","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/62c07e033b49dbf427e3f2d2dcaee8576650689c"},{"sha":"ab8c8b5372ea89ca23ec1ec00f543d2e98ef9f85","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/ab8c8b5372ea89ca23ec1ec00f543d2e98ef9f85"},{"sha":"c0a31e9b8c0e9afa75c8e04b14b8c91387d74c43","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: normalizing on error messages","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c0a31e9b8c0e9afa75c8e04b14b8c91387d74c43"},{"sha":"052ae7fe84095369adfc7d91115ca9c43bdd93ec","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/052ae7fe84095369adfc7d91115ca9c43bdd93ec"},{"sha":"a9b9b03684255189ddd6958984cb1a531f3618cc","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: bitvector: removing an admit","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a9b9b03684255189ddd6958984cb1a531f3618cc"},{"sha":"31a7912fbe18e36a7e6fd1e1c0e85204fd3e50b4","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"prims: rename `simpl` (the norm_step) to `simplify` to not collide with tactics","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/31a7912fbe18e36a7e6fd1e1c0e85204fd3e50b4"},{"sha":"b50afde6a81219342e5562ee6cb927aa0afd8501","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b50afde6a81219342e5562ee6cb927aa0afd8501"},{"sha":"43d0096c5df6b1ca19079ebd6b3d048eecb647ac","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"fixing nosynth","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/43d0096c5df6b1ca19079ebd6b3d048eecb647ac"},{"sha":"cae47898d583d3be7d8016fd64ca6ae86e827d73","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cae47898d583d3be7d8016fd64ca6ae86e827d73"},{"sha":"38430123e846cafe12a864607894a56d81e84ec4","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"fix a bug in apply","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/38430123e846cafe12a864607894a56d81e84ec4"},{"sha":"5ce5b41205035d30947a1eeede106f854be89e0f","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: better error handling","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5ce5b41205035d30947a1eeede106f854be89e0f"},{"sha":"5289fe0e824cd9d8952830e05ea3470467397605","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: binder_retype","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5289fe0e824cd9d8952830e05ea3470467397605"},{"sha":"81e7505defd834c1f4228e61d0bffc3a91b256d8","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"tactics: adding example","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/81e7505defd834c1f4228e61d0bffc3a91b256d8"},{"sha":"acbea81ec4e718b3ac3bf68e77077ef4cd84acee","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/acbea81ec4e718b3ac3bf68e77077ef4cd84acee"},{"sha":"ebd4d61f4795e553eb51cedc2a7a2239a78ebc0b","author":{"name":"Guido Martínez","email":"dd7936c276102ad017c14050b5ace25b193bf30e@gmail.com"},"message":"Merge remote-tracking branch 'origin/master' into guido_tactics","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/ebd4d61f4795e553eb51cedc2a7a2239a78ebc0b"}]}
{"actor":{"display_login":"cpitclaudel"}}