{"push_id":2553024367,"size":35,"distinct_size":1,"ref":"refs/heads/interfaces-dir","head":"5c620226ac4ba1bc4677fe7b8354f63db069dabe","before":"c49e4b26c47536e92fb1dafc4efba05c3b228f95","commits":[{"sha":"5e50ff8bdc25a703b922a492d26e2b2febe85b32","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add skeleton PrimitiveDeclaration code","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/5e50ff8bdc25a703b922a492d26e2b2febe85b32"},{"sha":"360436fc6600e4ee883de5463d88f55c972c17bb","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Resolve ocaml primitives to Primitive, add more stubs","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/360436fc6600e4ee883de5463d88f55c972c17bb"},{"sha":"f50dc093d833271b9ad5b377cae5d8dd8c73e543","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add naive implementation for primitives","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/f50dc093d833271b9ad5b377cae5d8dd8c73e543"},{"sha":"b03196cfb47eb607bd3809b25de39de800bbab9f","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Extract type parameters for primitive declarations","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/b03196cfb47eb607bd3809b25de39de800bbab9f"},{"sha":"3af03bc5e58c462a5492484274264f18d2b24e06","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add a test for \"external\" OCaml keyword\n\nNOTE: This test doesn't pass extraction. Coq currently has no way to\nextract a declaration as external, so this is stuck as failing for now.","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/3af03bc5e58c462a5492484274264f18d2b24e06"},{"sha":"26075e11a5d8073b3e1fc745949ad3355cc3715f","author":{"name":"Matthew Ryan","email":"93267e9fddeca34b20b2939c1e4245b543d6d642@hotmail.co.uk"},"message":"Merge pull request #2 from mrmr1993/support-external\n\nSupport 'external' definitions","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/26075e11a5d8073b3e1fc745949ad3355cc3715f"},{"sha":"1fa8e9e962730539439bd835818296f2bb3cd8b0","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Make Mod.t to represent modules, with some utility functions","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/1fa8e9e962730539439bd835818296f2bb3cd8b0"},{"sha":"ae21026a6364c32eb92c627f83b192cd33081098","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add ModList.t and some basic environment functions","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/ae21026a6364c32eb92c627f83b192cd33081098"},{"sha":"e500bdc41d71e51827c47a327537077f805ba89a","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add bound_name to ModList, as well as bound_{var,typ,etc.}","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/e500bdc41d71e51827c47a327537077f805ba89a"},{"sha":"4951e4aae811a71780296454f145f186550a6f1a","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add leave_module to ModList, close_module to Mod","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/4951e4aae811a71780296454f145f186550a6f1a"},{"sha":"2a70f1e4125146f81b24185581afa679b8bbd2df","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add fresh method to Envi.Mod.Vars","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/2a70f1e4125146f81b24185581afa679b8bbd2df"},{"sha":"d66ed6ac01dc806a394735ebc6aeb336907bb006","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add fresh_var to FullEnvi.ModList","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/d66ed6ac01dc806a394735ebc6aeb336907bb006"},{"sha":"a64d19eb578062e96108e6d9afad4fac852b3204","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add find_var to FullEnvi.ModList","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/a64d19eb578062e96108e6d9afad4fac852b3204"},{"sha":"fd1121be993e4d984610210a0c3cfcc6bfccbf34","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Add map to FullEnvi.ModList","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/fd1121be993e4d984610210a0c3cfcc6bfccbf34"},{"sha":"2da89a392632a268884f7ab8b1788583d1ccb990","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Move all uses of Envi and FullEnvi to Envi.Mod and FullEnvi.ModList","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/2da89a392632a268884f7ab8b1788583d1ccb990"},{"sha":"43864393ab97aa3f9d8a5c1596df637ddbd31607","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Remove old Envi and FullEnvi contents","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/43864393ab97aa3f9d8a5c1596df637ddbd31607"},{"sha":"c2c48b9e42c29c8b929d2665edad6a2318b3e0ce","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Move Envi.Mod to Envi","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/c2c48b9e42c29c8b929d2665edad6a2318b3e0ce"},{"sha":"404770c2400b1376aace8c4009fb7c1ebf2cee4d","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Move FullEnvi.ModList to FullEnvi","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/404770c2400b1376aace8c4009fb7c1ebf2cee4d"},{"sha":"8c212e90baf3ba3f3026793122ca32365b00f33c","author":{"name":"Matthew Ryan","email":"93267e9fddeca34b20b2939c1e4245b543d6d642@hotmail.co.uk"},"message":"Merge pull request #3 from mrmr1993/modules-list\n\nRework the environment to be a list of modules","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/8c212e90baf3ba3f3026793122ca32365b00f33c"},{"sha":"434f93f5a25cccb5907014fc4b3df3f596fd882a","author":{"name":"mrmr1993","email":"96942ddbe5bcee589a4f70d7d17b98045ae57a27@hotmail.co.uk"},"message":"Move map_union to PathName.Map","distinct":false,"url":"https://api.github.com/repos/mrmr1993/coq-of-ocaml/commits/434f93f5a25cccb5907014fc4b3df3f596fd882a"}]}
{"actor":{"display_login":"mrmr1993"}}