{"push_id":786937153,"size":20,"distinct_size":20,"ref":"refs/heads/krun-search","head":"fd48bea8e350cf1d9ec97ddb93e39a947daba163","before":"5c42ef32463020d99bb18970016b1d3e7f9a2fab","commits":[{"sha":"2f5e76366412ad36fa56f099f79b6f3bda684332","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add env var for selecting ocaml binary","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/2f5e76366412ad36fa56f099f79b6f3bda684332"},{"sha":"010a9ff13ad511b6e02a9d21311756ed78a097c4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix windows line breaks for cygwin scripts","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/010a9ff13ad511b6e02a9d21311756ed78a097c4"},{"sha":"64b6ffcc0d7f71d7c57ea0f75d032ad13041a285","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"use batch script for cygwin","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/64b6ffcc0d7f71d7c57ea0f75d032ad13041a285"},{"sha":"8f7cbd6f52fe7f70c3ca0e21a168d91cf7dbbb56","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"remove call to umask (unnecessary)","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/8f7cbd6f52fe7f70c3ca0e21a168d91cf7dbbb56"},{"sha":"19200024319c30a7eaa3ce86ac2288a3722a935f","author":{"email":"238066334085afe956d94f1f9bb18e983b55b40e@gmail.com","name":"Brandon Moore"},"message":"Extend rather than override K_OPTS also on Windows.","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/19200024319c30a7eaa3ce86ac2288a3722a935f"},{"sha":"bb3321193e89228dbfccd4a875ff84fe2d7043b6","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix line separator issue on windows","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/bb3321193e89228dbfccd4a875ff84fe2d7043b6"},{"sha":"0e552d10de67481cbbcb92fa0c2df9ff35e89659","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix exit code of k.bat","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/0e552d10de67481cbbcb92fa0c2df9ff35e89659"},{"sha":"a5c42f3629a5cb5f56548fd7d1a2baec65997667","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"implement backward-compatible kore io","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/a5c42f3629a5cb5f56548fd7d1a2baec65997667"},{"sha":"3b490a898d05e7fd9828bc79e1681b9fbb557cfa","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"update regression test kore-io","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/3b490a898d05e7fd9828bc79e1681b9fbb557cfa"},{"sha":"d20d2e6c8ce67923faf23925a4ef2043516e7e75","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"update imp++ for io","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/d20d2e6c8ce67923faf23925a4ef2043516e7e75"},{"sha":"c995d2d34a44f79118724a3f54bc5e0e7324e51c","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"more robust stream module import","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/c995d2d34a44f79118724a3f54bc5e0e7324e51c"},{"sha":"166b37668ed0df00bbb1ddc0c401db044d969d77","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"more robust unblocking rule generation","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/166b37668ed0df00bbb1ddc0c401db044d969d77"},{"sha":"e174f14d878e978c35f80255c9da26015e10ad57","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"some comments","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/e174f14d878e978c35f80255c9da26015e10ad57"},{"sha":"cf84ce4c2dd8996dabe725e6336b95eee2a5541b","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #1709 from kframework/kopts\n\nExtend rather than override K_OPTS also on Windows.","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/cf84ce4c2dd8996dabe725e6336b95eee2a5541b"},{"sha":"0005f86608c6783f8aedd1efd46f5ba3794e8dca","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"Merge pull request #1716 from kframework/kore-io\n\nKORE IO","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/0005f86608c6783f8aedd1efd46f5ba3794e8dca"},{"sha":"cb1c501763da2214f43bb12e48802f20f827bf35","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add comment","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/cb1c501763da2214f43bb12e48802f20f827bf35"},{"sha":"16ee76f092e1dbcb5e57be84089966db180751ca","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix duplicate code","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/16ee76f092e1dbcb5e57be84089966db180751ca"},{"sha":"06a9c63632dce80b0b9e0a6d3c0848056802387a","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"Merge branch 'master' into perf\n\nConflicts:\n\tocaml-backend/src/main/java/org/kframework/backend/ocaml/OcamlBackend.java","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/06a9c63632dce80b0b9e0a6d3c0848056802387a"},{"sha":"e73d67bcb1216147f0fe92c18cb137075b695a66","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #1721 from dwightguth/perf\n\nVarious fixes for K on windows","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/e73d67bcb1216147f0fe92c18cb137075b695a66"},{"sha":"fd48bea8e350cf1d9ec97ddb93e39a947daba163","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"Merge remote-tracking branch 'upstream/master' into krun-search","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/fd48bea8e350cf1d9ec97ddb93e39a947daba163"}]}