{"push_id":882159499,"size":547,"distinct_size":1,"ref":"refs/heads/feature/supercooling-by-strategy","head":"05a662001da3eedc155df4512b4c074893592d11","before":"e57c7fa323808bf1da3e3c1adfb991a8d18789fc","commits":[{"sha":"39bb6579039b8cbd8ea0f614990bb8c352c50533","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"started working on wiring search","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/39bb6579039b8cbd8ea0f614990bb8c352c50533"},{"sha":"0057a849d6fd304ae7049f50c653fb080d9ba162","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"WIP on search","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/0057a849d6fd304ae7049f50c653fb080d9ba162"},{"sha":"f403279d6b5ead153348c279a2df23acd1c2369c","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"more stuff working","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/f403279d6b5ead153348c279a2df23acd1c2369c"},{"sha":"5523e56e05ad3c7256526d9d36d00b1e5739d171","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"some small changes","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5523e56e05ad3c7256526d9d36d00b1e5739d171"},{"sha":"ee8a35bb2a8d88699f591ce2a3a82048a3b3cc07","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"outline of functionality to implement prover frontend","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/ee8a35bb2a8d88699f591ce2a3a82048a3b3cc07"},{"sha":"c2f464091d1f225c44285ce6c6c83f7e0b8a71da","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"more proof functionality","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/c2f464091d1f225c44285ce6c6c83f7e0b8a71da"},{"sha":"81777725f1b1811cb1d69ed98e24006db1628fa5","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"fixed merge","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/81777725f1b1811cb1d69ed98e24006db1628fa5"},{"sha":"58c412e38839234d84af539e924fc5c226637d57","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"Merge remote-tracking branch 'upstream/master' into krun-search","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/58c412e38839234d84af539e924fc5c226637d57"},{"sha":"e1d6e5bd9e9c7f04deffcea428a62b8840d56e00","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"NPE bug fix","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/e1d6e5bd9e9c7f04deffcea428a62b8840d56e00"},{"sha":"a337f1e7cfeb8f758f410b3da3007aaab8ed2a85","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"Copyright fix","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a337f1e7cfeb8f758f410b3da3007aaab8ed2a85"},{"sha":"01265d2ab1b16da270abf7e25723ba1cf925cc5d","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"serialize configuration variables","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/01265d2ab1b16da270abf7e25723ba1cf925cc5d"},{"sha":"c04c98d94860badff97f4f17735018c0a9705bb4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fixes for latest version of K and C semantics","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/c04c98d94860badff97f4f17735018c0a9705bb4"},{"sha":"a809a4686ae00879a85b7a351f8e79e7be197ce8","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix serialization of ocaml FR","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a809a4686ae00879a85b7a351f8e79e7be197ce8"},{"sha":"61a5c6add93cbb967837df268b98b0a9d3fec35d","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"some refactoring regarding printing","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/61a5c6add93cbb967837df268b98b0a9d3fec35d"},{"sha":"47d0fba7a7f6819a47fabbcafb45f02b53f1bc2b","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"moved common search related code from debugger to KRun","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/47d0fba7a7f6819a47fabbcafb45f02b53f1bc2b"},{"sha":"5c42ef32463020d99bb18970016b1d3e7f9a2fab","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"search wired up, ready for review","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5c42ef32463020d99bb18970016b1d3e7f9a2fab"},{"sha":"fd48bea8e350cf1d9ec97ddb93e39a947daba163","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"Merge remote-tracking branch 'upstream/master' into krun-search","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/fd48bea8e350cf1d9ec97ddb93e39a947daba163"},{"sha":"f047112049b833a7e58d84220a2f494dbe571eb1","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"WIP on fixing broken tests","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/f047112049b833a7e58d84220a2f494dbe571eb1"},{"sha":"340b4a18746f20b73ebc9a53f91b9861f67a1dc4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix bug in deconstruct_float","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/340b4a18746f20b73ebc9a53f91b9861f67a1dc4"},{"sha":"b72ecc30c53fda5f7cc94c9be7e5625054bec689","author":{"email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu","name":"Manasvi"},"message":"fixes to the issue of tests not passing","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/b72ecc30c53fda5f7cc94c9be7e5625054bec689"}]}