{"push_id":2733018257,"size":10,"distinct_size":1,"ref":"refs/heads/master","head":"5b66f958c4ef9055a689b55fc0d82b084d5c5ed6","before":"190b4bc820f5af6ffe7d47dc5d188fe32314ea9c","commits":[{"sha":"918cb669915b2dc940a28d82dcc019b906acbf85","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Produce human-readable output from unparser\n\nThe unparser produces human-readable output (as far as possible) by reducing the\nuse of extra whitespace.","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/918cb669915b2dc940a28d82dcc019b906acbf85"},{"sha":"86a49d40546dd0a161e3e9605419d7b1971fcb08","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Add kore-format executable\n\nkore-format unparses a Kore file and renders it using the specified line width;\nit is effectively a format-normalizer for Kore.","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/86a49d40546dd0a161e3e9605419d7b1971fcb08"},{"sha":"e9bb0491429d32481d39d47366f54a5f738b9c10","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"kore-format: Use NamedFieldPuns instead of RecordWildCards","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/e9bb0491429d32481d39d47366f54a5f738b9c10"},{"sha":"0fb081bcc5bd004af23101b1a5084f9c7ae34da6","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"kore-format: Remark on unlimited line width","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/0fb081bcc5bd004af23101b1a5084f9c7ae34da6"},{"sha":"029f83f5747a6dbd102f0e169b35cffd540ff821","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"unparseToString: Limit line length by default\n\nUsing a maximum line width of 80 by default makes definitions significantly more\nreadable.","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/029f83f5747a6dbd102f0e169b35cffd540ff821"},{"sha":"88c6b349b5afb4efcc8f590cd6f0b9cb92116ee2","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Unparse: Improve test case readability","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/88c6b349b5afb4efcc8f590cd6f0b9cb92116ee2"},{"sha":"ba3a5aadbe68753025ec8e2eee6b5c3be915383c","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"kore-format: Factor out `readKoreOrDie`","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/ba3a5aadbe68753025ec8e2eee6b5c3be915383c"},{"sha":"49cadde18d555d29fc8d3af2e9b08f081ec60fe5","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"kore-format: Conform to style guide","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/49cadde18d555d29fc8d3af2e9b08f081ec60fe5"},{"sha":"40a36e9cd1d847a23a07129547df1feaa28da95b","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Fix build with -Werror","distinct":false,"url":"https://api.github.com/repos/ttuegel/kore/commits/40a36e9cd1d847a23a07129547df1feaa28da95b"},{"sha":"5b66f958c4ef9055a689b55fc0d82b084d5c5ed6","author":{"name":"Thomas Tuegel","email":"9167574a4155abcfcb5a8605f1fc94c0f11416cf@secure.mailbox.org"},"message":"Merge pull request #148 from ttuegel/prettyprinter\n\nProduce human-readable output from the unparser","distinct":true,"url":"https://api.github.com/repos/ttuegel/kore/commits/5b66f958c4ef9055a689b55fc0d82b084d5c5ed6"}]}
{"actor":{"display_login":"ttuegel"}}