{"push_id":1375180827,"size":39,"distinct_size":1,"ref":"refs/heads/feature/kale-backend","head":"a9d9386debbd8bef4056b3ff8336a892ee8aae72","before":"d8739e79afee48779591a4b12f328a094a9f3d89","commits":[{"sha":"7dfd556cec23f816fe4be7795cfda42cd3e40e0c","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"add regression test","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/7dfd556cec23f816fe4be7795cfda42cd3e40e0c"},{"sha":"62bb2f89620f11cf8de75bbd460c524cacb3aa7a","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"fix config.xml bug","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/62bb2f89620f11cf8de75bbd460c524cacb3aa7a"},{"sha":"5afa36c7c98f2d08bad7a73f00d641e601dfe7dc","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"fix keq file loading","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5afa36c7c98f2d08bad7a73f00d641e601dfe7dc"},{"sha":"2992ca91d54801c7dc9ee8c99525fd3c7f9e7b1b","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"fix keq file path","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/2992ca91d54801c7dc9ee8c99525fd3c7f9e7b1b"},{"sha":"a71f75e3458c44449333a92fb7d2754a81086cde","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"Merge remote-tracking branch 'origin/master' into keq","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a71f75e3458c44449333a92fb7d2754a81086cde"},{"sha":"b18abde51dde6a8e777205effeef83abebb9e21a","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"add todo comment","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/b18abde51dde6a8e777205effeef83abebb9e21a"},{"sha":"b7173b7716fdfe4c5b846c863f1d820c7f1977a9","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"support custom krun command for ktest","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/b7173b7716fdfe4c5b846c863f1d820c7f1977a9"},{"sha":"e54597c8b7b2901eaa252fdfb822a40116f7be3a","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"fix keq command line parsing","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/e54597c8b7b2901eaa252fdfb822a40116f7be3a"},{"sha":"42732c0611842f5613ecdb068a38cb45c82ad42b","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"update keq config.xml","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/42732c0611842f5613ecdb068a38cb45c82ad42b"},{"sha":"6f5d2ca9aab3a3aef0398661d2d0b486ea2d3a56","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"add copyright","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6f5d2ca9aab3a3aef0398661d2d0b486ea2d3a56"},{"sha":"593ba427d2dbf8cfc03e704f093da9152dbc52e7","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"disable keq test","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/593ba427d2dbf8cfc03e704f093da9152dbc52e7"},{"sha":"f2be7c5d2bad4fa58c68de304f0264e49aee978c","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"tmp fix keq test maven","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/f2be7c5d2bad4fa58c68de304f0264e49aee978c"},{"sha":"a5c33e41e0b515e31329cab65ec53d18297a6145","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"maven stop when fail in pre-ktest phase","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a5c33e41e0b515e31329cab65ec53d18297a6145"},{"sha":"79534f1cc01dbe4adde6892fa3c1cf3400e5f820","author":{"name":"Cosmin Radoi","email":"d3a67f75379517937de32b657a46979390ff39c3@gmail.com"},"message":"delete old definition files","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/79534f1cc01dbe4adde6892fa3c1cf3400e5f820"},{"sha":"a781cac79660bd7e630e06d9cc7918716b9d0426","author":{"name":"Cosmin Radoi","email":"d3a67f75379517937de32b657a46979390ff39c3@gmail.com"},"message":"replace JavaConversions with JavaConverters","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a781cac79660bd7e630e06d9cc7918716b9d0426"},{"sha":"a4ec74e51a8aaf045ba1b078818b2defb4390bd4","author":{"name":"Cosmin Radoi","email":"d3a67f75379517937de32b657a46979390ff39c3@gmail.com"},"message":"fixes for sorts","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a4ec74e51a8aaf045ba1b078818b2defb4390bd4"},{"sha":"4b6650508c44c79ad3e4697650bcc6bb4ed21eed","author":{"name":"Cosmin Radoi","email":"d3a67f75379517937de32b657a46979390ff39c3@gmail.com"},"message":"do not reuse memoization transformer\n\n# Conflicts:\n#\tjava-backend/src/main/java/org/kframework/backend/java/symbolic/JavaBackend.java","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/4b6650508c44c79ad3e4697650bcc6bb4ed21eed"},{"sha":"49a07e58df9eb9004827ace64ee343b8cd830af9","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"Merge pull request #2217 from kframework/keq\n\nadd tests for keq","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/49a07e58df9eb9004827ace64ee343b8cd830af9"},{"sha":"f4e0c5e5d256db42f65dc4c6686ec95537a76fd2","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"Fix for requires with relative paths in the equivalence checker\n\nfrom https://github.com/kframework/k/pull/2216","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/f4e0c5e5d256db42f65dc4c6686ec95537a76fd2"},{"sha":"a6ee061d0d06f3ffec56da59bb276422e2b20fb8","author":{"name":"Cosmin Radoi","email":"d3a67f75379517937de32b657a46979390ff39c3@gmail.com"},"message":"only local sorts","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a6ee061d0d06f3ffec56da59bb276422e2b20fb8"}]}
{"actor":{"display_login":"cos"}}