{"push_id":915651308,"size":280,"distinct_size":0,"ref":"refs/heads/feature/k-api","head":"299001a741b5a8f887845740767bbc6873f133ee","before":"ac83757c1db1560b946576885d59b327415d5441","commits":[{"sha":"2132e6a243493085fcdc590b7908069d2782ea96","author":{"email":"3be75067e5eb1e39a8f8bdfa143e2c4d5efcf3f7@illinois.edu","name":"grosu"},"message":"eliminated next_id from README.md","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/2132e6a243493085fcdc590b7908069d2782ea96"},{"sha":"de034efdbde5e099121630e2c849b98330b0430f","author":{"email":"3be75067e5eb1e39a8f8bdfa143e2c4d5efcf3f7@illinois.edu","name":"grosu"},"message":" added information about KVariable in README.md","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/de034efdbde5e099121630e2c849b98330b0430f"},{"sha":"55c0aafe3d30cf7855b8020dfd50d95641b8ee28","author":{"email":"3be75067e5eb1e39a8f8bdfa143e2c4d5efcf3f7@illinois.edu","name":"grosu"},"message":"revised lesson 4 README","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/55c0aafe3d30cf7855b8020dfd50d95641b8ee28"},{"sha":"4aed3155f20821b0d28dbc306ce535d51d44e419","author":{"email":"3be75067e5eb1e39a8f8bdfa143e2c4d5efcf3f7@illinois.edu","name":"grosu"},"message":"README.md update","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/4aed3155f20821b0d28dbc306ce535d51d44e419"},{"sha":"ac54bd3db491f9bb430691e08755c339e90ba28a","author":{"email":"3be75067e5eb1e39a8f8bdfa143e2c4d5efcf3f7@illinois.edu","name":"grosu"},"message":"Merge branch 'master' of github.com:kframework/k into 1_lambda-edits","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/ac54bd3db491f9bb430691e08755c339e90ba28a"},{"sha":"5777d8a060c39a5ea6c8e738b194d17fbd1eb235","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"pseudo-code added","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5777d8a060c39a5ea6c8e738b194d17fbd1eb235"},{"sha":"a1de4489d2ed7aeab184db314edf3e2323b81452","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"move known attributes to the Att object","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/a1de4489d2ed7aeab184db314edf3e2323b81452"},{"sha":"b1fcfec68b696150a4921b65162c6dbfbcded874","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"make KApply be a KCollection","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/b1fcfec68b696150a4921b65162c6dbfbcded874"},{"sha":"20db0ff95fd8fc1ffb97f67ac46785dbb9eab80b","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Richer interfaces for KAST classes when there's a module in scope\n\nespecially useful from Scala, but usable from Java","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/20db0ff95fd8fc1ffb97f67ac46785dbb9eab80b"},{"sha":"e1abe4aed6f89e4f13d73be38c6077060ebb6f0c","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"replaced \"#cells\" with constant","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/e1abe4aed6f89e4f13d73be38c6077060ebb6f0c"},{"sha":"feaee3a19a00daa3ec9b5c1ab852473ff7ce3593","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"split K cell wrapping from adding the top cell","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/feaee3a19a00daa3ec9b5c1ab852473ff7ce3593"},{"sha":"512d51ec6ed609c4eccad513d99ce3b1282a6fd2","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"extra transformers","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/512d51ec6ed609c4eccad513d99ce3b1282a6fd2"},{"sha":"9fa3cfe78e641e6e979da50dfd5b59f7ac4c189b","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"just formatting","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/9fa3cfe78e641e6e979da50dfd5b59f7ac4c189b"},{"sha":"5e1c90bc07aab68ca1fbb1387b99f9a676a9233a","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"add the strategy cell","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5e1c90bc07aab68ca1fbb1387b99f9a676a9233a"},{"sha":"8066d80ed46b5c9eac201e019317c753beefe465","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"formatting fixes","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/8066d80ed46b5c9eac201e019317c753beefe465"},{"sha":"2c9269a5a63750fa9f4cdb78a2adc28b41535c65","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"working for one definition","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/2c9269a5a63750fa9f4cdb78a2adc28b41535c65"},{"sha":"cc65d8074185c0da4d84df9c40472f454d0a6480","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"towards hooking it up in the framework","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/cc65d8074185c0da4d84df9c40472f454d0a6480"},{"sha":"390a2c4e21212f3d21d158a957c4f1544797cf1a","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"contexts from strict preserve the attributes in the production","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/390a2c4e21212f3d21d158a957c4f1544797cf1a"},{"sha":"5ff5635bf7e91035d5312874fb59bc5698809441","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"transition contexts do not require isKResult side-condition for cooling","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5ff5635bf7e91035d5312874fb59bc5698809441"},{"sha":"6672a6c1aa9749713299c0e86507ca9b1b56a9d6","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"superheating/supercooling dissapear","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6672a6c1aa9749713299c0e86507ca9b1b56a9d6"}]}