{"push_id":1150486140,"size":10,"distinct_size":10,"ref":"refs/heads/master","head":"fc4909e6eea3f2d3412342b931000e8f73747c86","before":"55df38045fc06f56b516d3e7f9c8e54dee486121","commits":[{"sha":"cf073f5ed093bb1d69c8ed167b0035ced509d7a4","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/tactic): add tactic_state","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/cf073f5ed093bb1d69c8ed167b0035ced509d7a4"},{"sha":"94ef8e307859017519de3b7cde2975de0b8de315","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/init/meta/base_tactic): change or_else notation","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/94ef8e307859017519de3b7cde2975de0b8de315"},{"sha":"165d45ac3210ed6ac4392d3975f105b1effd13e2","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/compiler/erase_irrelevant): monad.return was renamed to monad.ret","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/165d45ac3210ed6ac4392d3975f105b1effd13e2"},{"sha":"586e9447d1fa51ed775679643e249f251746d097","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean/builtin_cmds): add command #tactic for testing new tactic framework","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/586e9447d1fa51ed775679643e249f251746d097"},{"sha":"dde4a46fe396af30c98e65ac9eacaad06ebb6a28","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/vm): add 'trace'","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/dde4a46fe396af30c98e65ac9eacaad06ebb6a28"},{"sha":"0261a81eb0b9b243926954e3305a6bbd4f99c757","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): add '()' as notation for unit.star","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/0261a81eb0b9b243926954e3305a6bbd4f99c757"},{"sha":"790980013a499358560c78b81efeeeb5c59636c8","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/init/meta): add 'trace_expr'","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/790980013a499358560c78b81efeeeb5c59636c8"},{"sha":"222f7429e26f51f2c0a00e2f1ae37493cd4ab3a1","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean/pp): pp unit.star","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/222f7429e26f51f2c0a00e2f1ae37493cd4ab3a1"},{"sha":"c2c459364883d41001a58eefe95d2353924f5469","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library): unit.star ==> ()","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/c2c459364883d41001a58eefe95d2353924f5469"},{"sha":"fc4909e6eea3f2d3412342b931000e8f73747c86","author":{"name":"Travis CI","email":"10f03dd0063d0778d10ada107c04ef3de547981f@travis-ci.org"},"message":"chore(library): unit.star ==> ()","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/fc4909e6eea3f2d3412342b931000e8f73747c86"}]}
{"actor":{"display_login":"soonhokong"}}