{"push_id":1391834480,"size":1,"distinct_size":1,"ref":"refs/heads/constraint_printer","head":"1e57d790ad7406736afb51d642c01be928478833","before":"6e5de7e0beb07506e3e0f26c1a61bb4b98add90b","commits":[{"sha":"1e57d790ad7406736afb51d642c01be928478833","author":{"name":"Manasvi Saxena","email":"193b480bb343a2b552605c445563193baf3d0e19@runtimeverification.com"},"message":"Address @cos' comments and update examples with ML-and instead of bool and","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/1e57d790ad7406736afb51d642c01be928478833"}]}
{"actor":{"display_login":"msaxena2"}}