{"push_id":2866887901,"size":14,"distinct_size":14,"ref":"refs/heads/inj-unification","head":"55e60ef5ba074a8e059f5fd65473b664ad93f3ba","before":"b746d2a700e7208c4887cc8c26eacfcfac5a4f91","commits":[{"sha":"24f38da20e7c79ae71ce37b2c90574ac64b35c24","author":{"name":"Joey Bloom","email":"2d7e00ee3ba5d26ace10d63ca2b74543ce92da67@users.noreply.github.com"},"message":"Use NamedFieldPuns instead of RecordWildCards. (#208)\n\n* Change usages of RecordWildCards to be NamedFieldPuns instead.\r\n\r\n* Remove RecordWildCards from package.yaml and .stylish-haskell","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/24f38da20e7c79ae71ce37b2c90574ac64b35c24"},{"sha":"f4b4ff6372d83164d545a6cf625d3d0a7f661f86","author":{"name":"Virgil","email":"c458732aa093290b9ec97085fab76b12630eea63@users.noreply.github.com"},"message":"Simplify Exists (#203)\n\n* Extend exists simplification and tests.\r\n\r\n* Fix review comments","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/f4b4ff6372d83164d545a6cf625d3d0a7f661f86"},{"sha":"e36e1d0f5131c0a121f4c4d42cf8cbbd92ad7626","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Use unordered-containers instead of bytestring-trie\n\nThe bytestring-trie package is not maintained and is removed from the next\nStackage LTS release. For our purposes, the unordered-containers package\nprovides similar functionality with better asymptotic complexity.","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/e36e1d0f5131c0a121f4c4d42cf8cbbd92ad7626"},{"sha":"3bdb1dc61eef784c3713f3029bc0955a20ce2a80","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Use LTS Haskell 12.9","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/3bdb1dc61eef784c3713f3029bc0955a20ce2a80"},{"sha":"5c34be188758db156977196818b33117d25caba3","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Use correct license identifier\n\nThe newer Cabal library with LTS Haskell 12.2 understands SPDX license\nidentifiers. The correct identifier for our license is `NCSA`.","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/5c34be188758db156977196818b33117d25caba3"},{"sha":"371655c85cf989e6f7f72b5c235f130efc559a6e","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Fix benchmark build error","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/371655c85cf989e6f7f72b5c235f130efc559a6e"},{"sha":"5b84a532050c2aa22d2a9fece475e535700de74e","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Remove Data.List.Tools\n\nThe module only redefines features of the standard library.","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/5b84a532050c2aa22d2a9fece475e535700de74e"},{"sha":"0e10ce8a6d7a640cade0777abc0c25ab9a50642a","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"stack.yaml: Include Z3 in nix.packages\n\nThe SMT tests require Z3 to be installed. By adding it to nix.packages, Stack\nwill ensure it is provided automatically for Nix users.","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/0e10ce8a6d7a640cade0777abc0c25ab9a50642a"},{"sha":"a6a31febd6876207b31a65e5633cf3cf4496b1b3","author":{"name":"Thomas Tuegel","email":"9167574a4155abcfcb5a8605f1fc94c0f11416cf@secure.mailbox.org"},"message":"Merge pull request #204 from ttuegel/nix-z3\n\nstack.yaml: Include Z3 in nix.packages","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/a6a31febd6876207b31a65e5633cf3cf4496b1b3"},{"sha":"2f1b31759167215a6820ec774369299e4fff36a7","author":{"name":"Thomas Tuegel","email":"fac09c566df136934e264a95cb7881471d9adf89@runtimeverification.com"},"message":"Simplifier cannot return error\n\nAny error that the simplifier would catch has already been detected during the\nwell-formedness check. Therefore, it does not make sense to have complicated\nerror handling.","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/2f1b31759167215a6820ec774369299e4fff36a7"},{"sha":"15c65ee8b47f7d880ee6cc4c483562d680e34462","author":{"name":"Thomas Tuegel","email":"9167574a4155abcfcb5a8605f1fc94c0f11416cf@secure.mailbox.org"},"message":"Merge pull request #205 from ttuegel/simplifier-no-errors\n\nSimplifier cannot return error","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/15c65ee8b47f7d880ee6cc4c483562d680e34462"},{"sha":"a8fb74ff31bd38de39cc8958b7e730f3bbd10721","author":{"name":"bmmoore","email":"db628cd991e0291ceaa2c502c4bd69dd61ba0c97@runtimeverification.com"},"message":"Merge branch 'master' into stackage-lts-12","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/a8fb74ff31bd38de39cc8958b7e730f3bbd10721"},{"sha":"4ba910d59036ed9904f79bd856064e14f43f5923","author":{"name":"Thomas Tuegel","email":"9167574a4155abcfcb5a8605f1fc94c0f11416cf@secure.mailbox.org"},"message":"Merge pull request #206 from ttuegel/stackage-lts-12\n\nLTS Haskell 12.9","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/4ba910d59036ed9904f79bd856064e14f43f5923"},{"sha":"55e60ef5ba074a8e059f5fd65473b664ad93f3ba","author":{"name":"Traian Florin Serbanuta","email":"00928019b92765ccb30cad5c63086832238236bf@gmail.com"},"message":"Merge branch 'master' into inj-unification","distinct":true,"url":"https://api.github.com/repos/traiansf/kore/commits/55e60ef5ba074a8e059f5fd65473b664ad93f3ba"}]}
{"actor":{"display_login":"traiansf"}}