{"push_id":1392825603,"size":4,"distinct_size":4,"ref":"refs/heads/lean3","head":"6ce00a9b45a8f9109dc9db969c775bdee05cd262","before":"cd32335c512b3e4c90cba2ec174f6bf0efa39237","commits":[{"sha":"d66584f39067a96156d3d389418f12e78c83f943","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/vm,library/compiler): save argument names","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/d66584f39067a96156d3d389418f12e78c83f943"},{"sha":"6b3da2daf457f69b110cd11482773eff1bdf93e6","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/compiler/vm_compiler): save local_info for let-expressions","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/6b3da2daf457f69b110cd11482773eff1bdf93e6"},{"sha":"c6558f8af5a59b832581e8c9f157807492375313","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/num): handle nat.zero and (nat.succ nat.zero) at to_num","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/c6558f8af5a59b832581e8c9f157807492375313"},{"sha":"6ce00a9b45a8f9109dc9db969c775bdee05cd262","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/compiler): move inliner to the beginning\n\nReason: the inliner may introduce recursors, non eta-expanded terms,\netc. Before this commit, it was \"undoing\" previous compilation steps.","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/6ce00a9b45a8f9109dc9db969c775bdee05cd262"}]}
{"actor":{"display_login":"leodemoura"}}