{"push_id":961355347,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"cedf730bfe06a3c2298dee325a3e88b600e99dc1","before":"522e15456a4dda4489122bd023a84e22a092d12a","commits":[{"sha":"b508cf813ce2dee4a6058bc96661e6437ba62f9b","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"perf(library/type_context): small optimization","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/b508cf813ce2dee4a6058bc96661e6437ba62f9b"},{"sha":"c55b10af1b761dceb169239b519df763f05ce9a9","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"perf(library/type_context): move check_system to strategic places","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/c55b10af1b761dceb169239b519df763f05ce9a9"},{"sha":"4324726a8ed267462b2698e4436ae2b684631933","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"perf(kernel/expr_eq_fn): minimize number of calls to check_system","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/4324726a8ed267462b2698e4436ae2b684631933"},{"sha":"a7b3dcbc09322fcbb685eb22fa3f3b697849f5b3","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"perf(library/blast/state): do not add hypotheses that are Pi-expressions into discrimination trees","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/a7b3dcbc09322fcbb685eb22fa3f3b697849f5b3"},{"sha":"701d6b501621a4f3e720dac09671eb05a1248e2d","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"perf(library/blast/forward/pattern): simplify is_higher_order test","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/701d6b501621a4f3e720dac09671eb05a1248e2d"},{"sha":"cedf730bfe06a3c2298dee325a3e88b600e99dc1","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"perf(library/blast/forward/pattern): simplify is_higher_order test","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/cedf730bfe06a3c2298dee325a3e88b600e99dc1"}]}