{"push_id":539358520,"size":3,"distinct_size":1,"ref":"refs/heads/debugger-refactoring","head":"8f5f41378683b139b1d8d8aa64aec30c88aa997a","before":"b42df20e2cd601d11b2a32a8edcd5e245244e59d","commits":[{"sha":"eb8938aeb58f6adc493a81599aeab21e24519e70","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"set top term in JavaSymbolicExecutor","distinct":false,"url":"https://api.github.com/repos/msaxena2/k/commits/eb8938aeb58f6adc493a81599aeab21e24519e70"},{"sha":"512113e7d29140ea372dc288104b1c966e8b0b03","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #1286 from dwightguth/topterm\n\nset top term in JavaSymbolicExecutor","distinct":false,"url":"https://api.github.com/repos/msaxena2/k/commits/512113e7d29140ea372dc288104b1c966e8b0b03"},{"sha":"8f5f41378683b139b1d8d8aa64aec30c88aa997a","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"Merge remote-tracking branch 'upstream/master' into debugger-refactoring\n\nGetting changes from upstream","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/8f5f41378683b139b1d8d8aa64aec30c88aa997a"}]}