{"push_id":896615535,"size":21,"distinct_size":1,"ref":"refs/heads/nailgun-passwd","head":"1a6a04c258e036dca70012e97f6e0d63c0d76f15","before":"624250a50a584efce2509c906ae09c18c7963d34","commits":[{"sha":"975d98f2836facae478abe609a4d2c541f394942","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"merge rules special case for variable klabels","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/975d98f2836facae478abe609a4d2c541f394942"},{"sha":"422782396e21c93f2c1c14491810a5c8c322b1b7","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"check variables on rhs are bound on left","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/422782396e21c93f2c1c14491810a5c8c322b1b7"},{"sha":"867a472ca4f62fb2650ca5804eeaaab4b8c3d239","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix copyright","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/867a472ca4f62fb2650ca5804eeaaab4b8c3d239"},{"sha":"5ae61a4ce47e313ded9ca174d125e7e3bb088c79","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"changes to kompile + some code to KRun","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5ae61a4ce47e313ded9ca174d125e7e3bb088c79"},{"sha":"91de349732b9321cf293b56e820298a66c9cdabb","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Changes to Backend Transformer. Now, Varlabel rules are mapped by the arity, for optimized access.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/91de349732b9321cf293b56e820298a66c9cdabb"},{"sha":"2b86955081a7e1effef5b640e4ed0b8655b373bb","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Reverting to a for loop since parameters for match function not effectively final.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/2b86955081a7e1effef5b640e4ed0b8655b373bb"},{"sha":"c1681d3e57a187eea58346fae054de88a483c15f","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Added support Variables KLabels to not be dealt with as common KLabels","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/c1681d3e57a187eea58346fae054de88a483c15f"},{"sha":"851c776201fe8eaeb57709b719a6270a1e7591b3","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"slight change to fix arity issue","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/851c776201fe8eaeb57709b719a6270a1e7591b3"},{"sha":"614a869b2ef75ec4c7fe5c2e098fc7feec66fbea","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"removed reduntant size call","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/614a869b2ef75ec4c7fe5c2e098fc7feec66fbea"},{"sha":"89c07af178409045c10ecae9e238ce97bd99359a","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix a bug with variables in side conditions treated as lhs","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/89c07af178409045c10ecae9e238ce97bd99359a"},{"sha":"8b6714899e8a7b5533956fd3d20150c0dbf004a4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"make io stream hack a little cleaner","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/8b6714899e8a7b5533956fd3d20150c0dbf004a4"},{"sha":"1d50bfa817e0660c06813c4a209737a490311ba1","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Added the pattern variable to the substitution.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/1d50bfa817e0660c06813c4a209737a490311ba1"},{"sha":"270c7e7505e66fac475da12e2e692d79a75c970a","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Added tests for the new functionality\n\tnew file:   kore_varlabel.k","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/270c7e7505e66fac475da12e2e692d79a75c970a"},{"sha":"7acdd98957e61b9b538099a7b5db9650eec9451a","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"added copyright to new test k file","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/7acdd98957e61b9b538099a7b5db9650eec9451a"},{"sha":"e3ad6cbd3da1fc79b392b51ac6032253521eb8dc","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Removed trailing spaces","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/e3ad6cbd3da1fc79b392b51ac6032253521eb8dc"},{"sha":"538362dd049c53216c6f8c2b26ead39a31fa7d3e","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"changed the test to included injected klabels","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/538362dd049c53216c6f8c2b26ead39a31fa7d3e"},{"sha":"01ce203270dd0a7929ca83719137381170c1b7d9","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Minor refactoring to address points made by @cos.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/01ce203270dd0a7929ca83719137381170c1b7d9"},{"sha":"3eeaf05e187ce9f9330bad7cb5a108df2aaf322f","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Removed trailing whitespaces","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/3eeaf05e187ce9f9330bad7cb5a108df2aaf322f"},{"sha":"ff13da40511c589b00d26cd895b46826a9053008","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge pull request #1882 from dwightguth/rhs\n\ncheck variables on rhs are bound on left","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/ff13da40511c589b00d26cd895b46826a9053008"},{"sha":"ac83757c1db1560b946576885d59b327415d5441","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge pull request #1885 from msaxena2/varlabel_support\n\nSupport for matching patterns that have variable KLabels.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/ac83757c1db1560b946576885d59b327415d5441"}]}