{"push_id":963720787,"size":5,"distinct_size":5,"ref":"refs/heads/feature/meta-interp","head":"6139c9b4dc41d19861c812f6b9a49f53e1a81ac6","before":"7d76bbeb870fb4097e4f8aacbddd211843faea3c","commits":[{"sha":"2e0c7cba8c75374c619e4264d5b2986595014aca","author":{"email":"5052f055b75d6b332a9e13c73d16b830f6fb2508@gmail.com","name":"Vlad Vergu"},"message":"New property file syntax. Copy parse table and specification ast into the interpreter project.","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/2e0c7cba8c75374c619e4264d5b2986595014aca"},{"sha":"6346f38b4da27bc6de2234eed2e26515d6388661","author":{"email":"5052f055b75d6b332a9e13c73d16b830f6fb2508@gmail.com","name":"Vlad Vergu"},"message":"Add parseFromTerm placeholder method in term registy.","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/6346f38b4da27bc6de2234eed2e26515d6388661"},{"sha":"dfe8207147540fb33ab86cb1af0eea7c6be0e77f","author":{"email":"5052f055b75d6b332a9e13c73d16b830f6fb2508@gmail.com","name":"Vlad Vergu"},"message":"Implementation DynSemLanguage class.","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/dfe8207147540fb33ab86cb1af0eea7c6be0e77f"},{"sha":"a482ae026149ac61112b5bd2635e2f53e30551d0","author":{"email":"5052f055b75d6b332a9e13c73d16b830f6fb2508@gmail.com","name":"Vlad Vergu"},"message":"Generate language-specific term conversion methods for sorts and constructors","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/a482ae026149ac61112b5bd2635e2f53e30551d0"},{"sha":"6139c9b4dc41d19861c812f6b9a49f53e1a81ac6","author":{"email":"5052f055b75d6b332a9e13c73d16b830f6fb2508@gmail.com","name":"Vlad Vergu"},"message":"Fix bugs in term signatures compiler","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/6139c9b4dc41d19861c812f6b9a49f53e1a81ac6"}]}