{"push_id":3132407241,"size":8,"distinct_size":8,"ref":"refs/heads/remove-symbol-or-alias-sorts","head":"58de54d352d5dc71c647739359f8f1996d062eea","before":"465e1f23b088344517298bb93397e346dbab9865","commits":[{"sha":"41af6b127d1bf1ee7b553e5d6b2eb2da11f427ae","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Kore.AST.Pure: Add eraseAnnotations","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/41af6b127d1bf1ee7b553e5d6b2eb2da11f427ae"},{"sha":"9d0b51549d2f2d152157d96750fa7fbe45034c46","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Kore.AST.Pure: Generalize type of asConcretePurePattern","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/9d0b51549d2f2d152157d96750fa7fbe45034c46"},{"sha":"3327450fa136b480310446823c71e04834611796","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Sentence: Add instances Functor, Foldable, and Traversable for Module and Definition","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/3327450fa136b480310446823c71e04834611796"},{"sha":"49db77ea441fd8bdd56a269a02470b33199d69c2","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Sentence: Add VerifiedKoreModule and VerifiedKoreDefinition","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/49db77ea441fd8bdd56a269a02470b33199d69c2"},{"sha":"d9924789573c6fc8dcf8f1087b5a537c5690ac27","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Sentence: Add eraseSentenceAnnotations and eraseUnifiedSentenceAnnotations","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/d9924789573c6fc8dcf8f1087b5a537c5690ac27"},{"sha":"ac5c769cf937610cf776438726184f30c08b91c8","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"AxiomPatterns: Remove syntactically-invalid test","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/ac5c769cf937610cf776438726184f30c08b91c8"},{"sha":"c9297ef8496f372bbcf718cf5c4e09643961d470","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Add module Kore.AST.Valid\n\nThe new module Kore.AST.Valid implements constructors and patterns for valid\npure Kore syntax trees.","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/c9297ef8496f372bbcf718cf5c4e09643961d470"},{"sha":"58de54d352d5dc71c647739359f8f1996d062eea","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"(WIP) Kore.Step.Pattern: Use Valid patterns","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/58de54d352d5dc71c647739359f8f1996d062eea"}]}
{"actor":{"display_login":"ttuegel"}}