{"push_id":1100861324,"size":46,"distinct_size":1,"ref":"refs/heads/master","head":"92b2a2bfc0db1b48af91021d205c246cb55bcd11","before":"4504683fb3216db777a73213a23d7857ae154d0a","commits":[{"sha":"450db55163ad308a933185120a0cd117a7bd1203","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add jacoco to pom","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/450db55163ad308a933185120a0cd117a7bd1203"},{"sha":"98d5ea3e47b92edb0a99175bccc4514ffcd0248a","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"report-integration","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/98d5ea3e47b92edb0a99175bccc4514ffcd0248a"},{"sha":"1ed70f2f1210192928dcc8bd3c38ffc9844db92b","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add test file for SpecExtractor.java: test whether it can parse mop spec correctly","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/1ed70f2f1210192928dcc8bd3c38ffc9844db92b"},{"sha":"c7531186c10b414a6f03d77805f31d06789d61d0","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"restructure the system tests","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/c7531186c10b414a6f03d77805f31d06789d61d0"},{"sha":"d0f1145be63c31d9dac395c6db4cfd54cef4fad4","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"fix the incorrect paths introduced by refactoring","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/d0f1145be63c31d9dac395c6db4cfd54cef4fad4"},{"sha":"093101f30fd9fdceeb0b4a95da8194dab8fa6bde","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add test stub","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/093101f30fd9fdceeb0b4a95da8194dab8fa6bde"},{"sha":"4c6aa2bc8c0617df6139a1f3dd9712beb26733cd","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add shapechecking visitor stub","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/4c6aa2bc8c0617df6139a1f3dd9712beb26733cd"},{"sha":"1d43a71a90e952e649ee3a4934d5ad84c4b44b88","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"add one method for shape analysis","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/1d43a71a90e952e649ee3a4934d5ad84c4b44b88"},{"sha":"c366f6d2fff924efca70d591c8a86ff8892ccfe6","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add unit-test design doc","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/c366f6d2fff924efca70d591c8a86ff8892ccfe6"},{"sha":"7c8083646fc8968e1eabb4b97f5173fbe4f18ece","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add some todo","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/7c8083646fc8968e1eabb4b97f5173fbe4f18ece"},{"sha":"2fa78c559bf0be15dad18de6382a55df15c4ac86","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"update unit-test idea","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/2fa78c559bf0be15dad18de6382a55df15c4ac86"},{"sha":"90213801acbea3dfca9b680568d6f652176e6730","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"refactor to make testing of EventManager.EventMethodHelper.methodName() easier","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/90213801acbea3dfca9b680568d6f652176e6730"},{"sha":"cb895bc7c2ecc02fd9f46f24aa533a42e79eb445","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"further refactor to make testing of EventManager.EventMethodHelper.methodName() easier","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/cb895bc7c2ecc02fd9f46f24aa533a42e79eb445"},{"sha":"4afbdc07a910c9ffa3ea2556569a5a1b57258068","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"re-structure tests","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/4afbdc07a910c9ffa3ea2556569a5a1b57258068"},{"sha":"2f5c587e88bd1a36923932e39b64a0c1ba9ade93","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add some test inputs","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/2f5c587e88bd1a36923932e39b64a0c1ba9ade93"},{"sha":"33306980e441d63cc8eff9268b2dd60deaa5405a","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add one more test input","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/33306980e441d63cc8eff9268b2dd60deaa5405a"},{"sha":"414022be92db244a42ebe0bf65d123fba7f97442","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"check system.exit(1)","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/414022be92db244a42ebe0bf65d123fba7f97442"},{"sha":"0babf8bd3bd3aee1de587a0aaf846e0b9a32a2f6","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add comment","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/0babf8bd3bd3aee1de587a0aaf846e0b9a32a2f6"},{"sha":"0bf8e809457b1d64344858d21a84fedf959d7c15","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add some methods for checking whether two ast nodes are equivalent","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/0bf8e809457b1d64344858d21a84fedf959d7c15"},{"sha":"54db96de7767f6d84d331c0c23ff9d6d7003ab96","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add more ast comparison methods","distinct":false,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/54db96de7767f6d84d331c0c23ff9d6d7003ab96"}]}