{"push_id":553859847,"size":139,"distinct_size":139,"ref":"refs/heads/master","head":"b7e68139c8e7ad0ea9f8926151021a075e36233b","before":"99a3d45d73c43272b9af7e28cc73a59dd3af37a1","commits":[{"sha":"bd4b5d721ec0ff918a5223c22641393ec5cefdd8","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"remove all references to maude backend and make java the default","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/bd4b5d721ec0ff918a5223c22641393ec5cefdd8"},{"sha":"2849fa1c4d03291a9bbbe49472d4f013651ad93e","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fixes for java backend productions that represent klabel constants","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/2849fa1c4d03291a9bbbe49472d4f013651ad93e"},{"sha":"db443bf03a47d37f2b03f6806144f5203e79e9a4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix agent to work in java backend","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/db443bf03a47d37f2b03f6806144f5203e79e9a4"},{"sha":"784de6cbc622f8fa3179ff20045010b432c7f328","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix regression tests to work in java backend","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/784de6cbc622f8fa3179ff20045010b432c7f328"},{"sha":"43206a65d0c95632a583f1ab5a45200c0fc907a8","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add documentation for OfKItem methods","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/43206a65d0c95632a583f1ab5a45200c0fc907a8"},{"sha":"9bad2d0ca7ed2f4cfefb6cd2d424d3cb3cf9a335","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge pull request #1250 from kframework/feature/work-on-convertors\n\nwork on convertors + generic visiting infrastructure","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/9bad2d0ca7ed2f4cfefb6cd2d424d3cb3cf9a335"},{"sha":"40483acf25a150272f1a01f53096b480278a2c56","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"update changelog and poms for release version 3.5","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/40483acf25a150272f1a01f53096b480278a2c56"},{"sha":"11f35983fe6495b69c006c0c117327a01ba2c8ac","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fixes from traian's review","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/11f35983fe6495b69c006c0c117327a01ba2c8ac"},{"sha":"4c1c99c2ebc711ee69b4bb494eb66f7b2aca3ae8","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #1265 from dwightguth/release\n\nupdate changelog and poms for release version 3.5","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/4c1c99c2ebc711ee69b4bb494eb66f7b2aca3ae8"},{"sha":"f5c80e716c75aad15d48a9fd979a206419b43e0c","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@gmail.com","name":"Dwight Guth"},"message":"update readme version for release","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/f5c80e716c75aad15d48a9fd979a206419b43e0c"},{"sha":"13a2bc4a597dd594c8c310cb07e933ab365bbdaa","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@gmail.com","name":"Dwight Guth"},"message":"[maven-release-plugin] prepare release v3.5","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/13a2bc4a597dd594c8c310cb07e933ab365bbdaa"},{"sha":"56c9e87fd73b377cf9b30bbdcce26f7174dff8eb","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@gmail.com","name":"Dwight Guth"},"message":"[maven-release-plugin] prepare for next development iteration","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/56c9e87fd73b377cf9b30bbdcce26f7174dff8eb"},{"sha":"2df513250d11fb41aa6563a5ce22d9e7a7a32a15","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"Merge branch 'master' into kill-maude-dead2\n\nConflicts:\n\tmaude-backend/pom.xml","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/2df513250d11fb41aa6563a5ce22d9e7a7a32a15"},{"sha":"1a0e7d2f3cf921f9b47d5892d7583b8be38c19a1","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #1255 from dwightguth/kill-maude-dead2\n\nremove maude backend and make java the default","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/1a0e7d2f3cf921f9b47d5892d7583b8be38c19a1"},{"sha":"3bba7fdcb33edbe032cabe0ff487b21b77f16ff4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"remove output mode raw","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/3bba7fdcb33edbe032cabe0ff487b21b77f16ff4"},{"sha":"b7de2565b269a9266a902de950f52bd8d2bc86c2","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"change output binary to stream output","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/b7de2565b269a9266a902de950f52bd8d2bc86c2"},{"sha":"e2a03d0de89aaf97b5a47fe038ea1f8d2b298354","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"buffer writes to file","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/e2a03d0de89aaf97b5a47fe038ea1f8d2b298354"},{"sha":"2cccc39e1b4c2bf3e7f92a3761710e95e9b83246","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"improve performance","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/2cccc39e1b4c2bf3e7f92a3761710e95e9b83246"},{"sha":"915c753402dc8a59341589c2f0d609cd3ae85474","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix profiler to use cpu time","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/915c753402dc8a59341589c2f0d609cd3ae85474"},{"sha":"a1775d338921bba8400d66768cbba6e0273a0461","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"remove old com.sun Base64 references","distinct":true,"url":"https://api.github.com/repos/cos/k/commits/a1775d338921bba8400d66768cbba6e0273a0461"}]}