{"push_id":1167196125,"size":13,"distinct_size":13,"ref":"refs/heads/master","head":"f98e9d7dbe2790205ec3b25aa8125bd6bcda94a6","before":"840e80adee3ef31bb246e403032a5446f9ad420e","commits":[{"sha":"a2745aa2730565be356f17d68dcd292066755c13","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"perf(library/metavar_util): do nothing if term does not contain assigned metavars","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/a2745aa2730565be356f17d68dcd292066755c13"},{"sha":"32f382991a7f8f254daec2dac84246da555d5c63","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/init/meta/tactic): intro returns new free_var","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/32f382991a7f8f254daec2dac84246da555d5c63"},{"sha":"a85d027c90835f2b298191fc286282e0938292f3","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/init/sigma): remove 'sorry'","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/a85d027c90835f2b298191fc286282e0938292f3"},{"sha":"397ea25e24b2831c9f0599b1ec0edc16c0b2da45","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/tactic/subst_tactic): use intermediate state for errors","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/397ea25e24b2831c9f0599b1ec0edc16c0b2da45"},{"sha":"6e007cd12f621fd01333f1f91bb493480d5544bf","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/app_builder): use current context when tracing","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/6e007cd12f621fd01333f1f91bb493480d5544bf"},{"sha":"851bc30f3a0131150c25e5a193c8e712d47d0eae","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/type_context): make sure explicitly reverted locals occur first","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/851bc30f3a0131150c25e5a193c8e712d47d0eae"},{"sha":"d03dc18096f519c874c14a523501ca7ec17bc02c","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/tactic/tactic_state): add helper methods","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/d03dc18096f519c874c14a523501ca7ec17bc02c"},{"sha":"149fefe4802708eacc5f85d39f177bbe8ad4feca","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(frontends/lean/token_table): remove 'note' keyword","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/149fefe4802708eacc5f85d39f177bbe8ad4feca"},{"sha":"1dd427cdeba9eec9455c8cb3426f4245b991bb2c","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/init/meta/tactic): add 'note' tactic","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/1dd427cdeba9eec9455c8cb3426f4245b991bb2c"},{"sha":"6701e5499f853c7a6792fd10954bc2a4057d7f17","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/init): remove 'sorry's from sigma","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/6701e5499f853c7a6792fd10954bc2a4057d7f17"},{"sha":"0261cb95bf3f4296a33cca599fc09f355fb7b047","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean/old_elaborator): use type_context for failure tactic_state","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/0261cb95bf3f4296a33cca599fc09f355fb7b047"},{"sha":"4f7f59e47f1454246a027f11b92a04a34a47f94d","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(tests/lean): fix tests output","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/4f7f59e47f1454246a027f11b92a04a34a47f94d"},{"sha":"f98e9d7dbe2790205ec3b25aa8125bd6bcda94a6","author":{"name":"Travis CI","email":"10f03dd0063d0778d10ada107c04ef3de547981f@travis-ci.org"},"message":"chore(tests/lean): fix tests output","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/f98e9d7dbe2790205ec3b25aa8125bd6bcda94a6"}]}
{"actor":{"display_login":"soonhokong"}}