{"push_id":885044461,"size":76,"distinct_size":76,"ref":"refs/heads/develop","head":"454d6d69d3fa29a8b7425a2f83762e8d8b07c614","before":"d7f8a37edf32af29a907bbf2c34bead497eb76a1","commits":[{"sha":"ecb8209163aa24eb537b4be142da1e9ebb2764dc","author":{"email":"64df9394769913f3601f8647ae95064cae3ecf5a@gmail.com","name":"Linus Yang"},"message":"Partial translation from core to new core","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/ecb8209163aa24eb537b4be142da1e9ebb2764dc"},{"sha":"4780c5b1fcc25d29b71187c3ac604129c1bb7f77","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Merge from develop","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/4780c5b1fcc25d29b71187c3ac604129c1bb7f77"},{"sha":"064fc3f77b73e6d8d560e4d06b75e8ea64629d74","author":{"email":"64df9394769913f3601f8647ae95064cae3ecf5a@gmail.com","name":"Linus Yang"},"message":"Remove redundant code","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/064fc3f77b73e6d8d560e4d06b75e8ea64629d74"},{"sha":"861800fdd4023bb61f10cc0c4235b1487b0bc92a","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Merge branch 'develop' into new-core","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/861800fdd4023bb61f10cc0c4235b1487b0bc92a"},{"sha":"11e2f0fd2d9ba172e6797640716f0c2c02562de3","author":{"email":"64df9394769913f3601f8647ae95064cae3ecf5a@gmail.com","name":"Linus Yang"},"message":"ClosureF for the new core","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/11e2f0fd2d9ba172e6797640716f0c2c02562de3"},{"sha":"c212ab015fabab0cd145b75086e2350addfd0ce4","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Initial translation of dependently typed FCore to Java","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/c212ab015fabab0cd145b75086e2350addfd0ce4"},{"sha":"8dad792c39b80ef06c5c2ce3842626b622ea94a4","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Fill in some cases for new translation","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/8dad792c39b80ef06c5c2ce3842626b622ea94a4"},{"sha":"fc66a907410bd1fce33daa9b5e8799a41506bf53","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Reformatting","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/fc66a907410bd1fce33daa9b5e8799a41506bf53"},{"sha":"8c357b573260747d328b4601d153e500ce513733","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Filling in more cases, finally get type checked","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/8c357b573260747d328b4601d153e500ce513733"},{"sha":"264aee26e706726587b5cbb892cc06cc61654206","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Use qualified name for ease of testing new translation","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/264aee26e706726587b5cbb892cc06cc61654206"},{"sha":"779b13a35b1e6d2ab4c4f1018bbf24ec19cfa657","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Fill in the last piece","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/779b13a35b1e6d2ab4c4f1018bbf24ec19cfa657"},{"sha":"89ed4aada2e91dabfe341653fdb6209f6a6e834c","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Refactor","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/89ed4aada2e91dabfe341653fdb6209f6a6e834c"},{"sha":"b4b0be88c1960a48a43348c2a897fd93e0af5165","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Create new compilation method","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/b4b0be88c1960a48a43348c2a897fd93e0af5165"},{"sha":"c680ca2127461ea447e598fedfe05af0f02a6058","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Type application don't generate code\n\nSince we collapse terms and types, in the application part, we need to\ndistinguish type application from normal value application","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/c680ca2127461ea447e598fedfe05af0f02a6058"},{"sha":"088d51a17738e463ac682a2a0ecde517fcdfe140","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Translate Mu","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/088d51a17738e463ac682a2a0ecde517fcdfe140"},{"sha":"24b18faab0386faba328f55b7bdf75394a6e53a9","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Reformat","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/24b18faab0386faba328f55b7bdf75394a6e53a9"},{"sha":"9c48b92997898d6793cdf8a8559a3ced47498e53","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Cleanup","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/9c48b92997898d6793cdf8a8559a3ced47498e53"},{"sha":"b8603479397566bd92dc856e78943e619f64ae98","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Cleanup","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/b8603479397566bd92dc856e78943e619f64ae98"},{"sha":"f1be58de1d98bf40942e3a6a3ae69e595b4cb3c1","author":{"email":"b257be6f233057578f91fae54c2cd2c6a7193ad4@gmail.com","name":"Huang Li"},"message":"Let translation","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/f1be58de1d98bf40942e3a6a3ae69e595b4cb3c1"},{"sha":"f0f1dda8a2e571f671d0fd42a56b2d97b035131a","author":{"email":"b257be6f233057578f91fae54c2cd2c6a7193ad4@gmail.com","name":"Huang Li"},"message":"Translation of Java related expressions","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/fcore/commits/f0f1dda8a2e571f671d0fd42a56b2d97b035131a"}]}