{"push_id":587555685,"size":260,"distinct_size":1,"ref":"refs/heads/ruleGrammar2","head":"1da9cf8ba2b2672db99df34b466a4572f9f3e27b","before":"3e1f5b26e9d0e0a81a58d9c389ca87de37bd4cce","commits":[{"sha":"6e3b94e13fbe11457489dbd7c2645cec798e0fa0","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"add back pattern matcher, rewriter, and meta\n\n - simple pattern-matcher with associative matching\n - simple rewriter (only one rule for now)\n - some work in progress on meta-level","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6e3b94e13fbe11457489dbd7c2645cec798e0fa0"},{"sha":"6c8e6e12336473cf4805940a39976e7536a5b564","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"add travis","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6c8e6e12336473cf4805940a39976e7536a5b564"},{"sha":"c8fb3bbc6d9b1dd268859c69fdb8ca76a8765c54","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"nutge travis","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/c8fb3bbc6d9b1dd268859c69fdb8ca76a8765c54"},{"sha":"7e8b1e532973efe5a558ed8ad03c4b7a16bcee9b","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"oracle JDK","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/7e8b1e532973efe5a558ed8ad03c4b7a16bcee9b"},{"sha":"d1fd6c757e471be91158172819e0b55460eaf04c","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"quiet maven","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/d1fd6c757e471be91158172819e0b55460eaf04c"},{"sha":"dc4549c37e4f80a2dd922ab900fa4eba51e28d90","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"hm...","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/dc4549c37e4f80a2dd922ab900fa4eba51e28d90"},{"sha":"48bcb21a393c813a033b8e379485a838944e6176","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"with clean","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/48bcb21a393c813a033b8e379485a838944e6176"},{"sha":"81498bfc2598331a04ab8596125024c6b6b43e11","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"another try","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/81498bfc2598331a04ab8596125024c6b6b43e11"},{"sha":"6fcee4430abfccb250a493bcc1011fa407cd344e","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge branch 'feature/KORE-convertors'","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6fcee4430abfccb250a493bcc1011fa407cd344e"},{"sha":"64605dc0e6886d444530ac4643fb8e1e30dfbb73","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"fixing something that sound't be broken","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/64605dc0e6886d444530ac4643fb8e1e30dfbb73"},{"sha":"5fd9dab2d3c6c4307ed91f73116fd330702325a8","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge branch 'feature/KORE-convertors' into cos-master","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/5fd9dab2d3c6c4307ed91f73116fd330702325a8"},{"sha":"dc52d8df2519af9c01ad5c223f5f3ba86df89c0f","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"move collections","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/dc52d8df2519af9c01ad5c223f5f3ba86df89c0f"},{"sha":"39aabcda7e1439e046663f0e454a664de72ed184","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"and for the fork","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/39aabcda7e1439e046663f0e454a664de72ed184"},{"sha":"92eaa44160774ffa03043f702c4b67a4534e5e49","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge branch 'feature/generic-collection-interfaces'\n\nConflicts:\n\tkore/src/main/scala/org/kframework/collections.scala\n\tkore/src/main/scala/org/kframework/kore/AssocBuilder.scala\n\tkore/src/main/scala/org/kframework/kore/Collections.scala\n\tkore/src/main/scala/org/kframework/kore/kast.scala","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/92eaa44160774ffa03043f702c4b67a4534e5e49"},{"sha":"341e64194c5d50d3ff3fc3f1a3d33d2615b3aa84","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge branch 'feature/generic-collection-interfaces'","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/341e64194c5d50d3ff3fc3f1a3d33d2615b3aa84"},{"sha":"25d7fa37e77d11747f915dc3cb094b51ddb6de79","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"updated all Matchers to Patterns\n\ne.g., KList will specify how it behaves as a pattern matcher, not how it matches against any pattern.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/25d7fa37e77d11747f915dc3cb094b51ddb6de79"},{"sha":"d4d0770a2003dc16b2c17c62c51907d06e84e2de","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"refactor pattern matching","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/d4d0770a2003dc16b2c17c62c51907d06e84e2de"},{"sha":"6caa98f63f6c18f5a6c9712a091963b483eea651","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"remove KString","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6caa98f63f6c18f5a6c9712a091963b483eea651"},{"sha":"8e9b1e6e3862eb958671ec707fd689c3ae4e77a6","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"progress on Meta","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/8e9b1e6e3862eb958671ec707fd689c3ae4e77a6"},{"sha":"6f52351f21f50c1fe547949450e7eace857e1606","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"add KString builtin","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6f52351f21f50c1fe547949450e7eace857e1606"}]}