{"push_id":1350198179,"size":21,"distinct_size":1,"ref":"refs/heads/walker_super","head":"527e33ebdc142409468c51b8d92fb34a7277198d","before":"fdf23e23c1e89ca4a0f8d5b2848e7b8e57581542","commits":[{"sha":"60afd474f286642e859390b28e9b81d942875c54","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Tests for constants.py","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/60afd474f286642e859390b28e9b81d942875c54"},{"sha":"c6c08a20a3c7135260caa2a4fab6e2555a947682","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Coverage: Exclude abstract methods and __main__\n\nThis also enables the possibility of commenting lines with\n\n # pragma: no cov\n\nto disable coverage on a line-by-line bases","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/c6c08a20a3c7135260caa2a4fab6e2555a947682"},{"sha":"21fbcc26668139cc0a282c1b95d765cc01fa15aa","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Tests: Remove try/except in CVC4 Quantifier Tests","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/21fbcc26668139cc0a282c1b95d765cc01fa15aa"},{"sha":"7a1b939c0d2f23edf8670d84d3752fb9636c01a7","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Fix test_int.py","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/7a1b939c0d2f23edf8670d84d3752fb9636c01a7"},{"sha":"ec136d94244a99eec59fbca8f0fc120edcf04acf","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Test: Interpolator using Context (with)","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/ec136d94244a99eec59fbca8f0fc120edcf04acf"},{"sha":"8714cf245cc0856c301813026e737e98fb015b39","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Remove unused functions from pysmt.utils\n\nBufferedTextReader and unquote are not used anywhere in the system.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/8714cf245cc0856c301813026e737e98fb015b39"},{"sha":"3b40e6613f0b74f4bf1fa0b3cf77344356f98e96","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Coverage: Test walk_error in Walker","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/3b40e6613f0b74f4bf1fa0b3cf77344356f98e96"},{"sha":"2dd91f8a702421d83b7eddb23935fa21ed00bb0c","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Tests for SmtLibIgnoreMixin","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/2dd91f8a702421d83b7eddb23935fa21ed00bb0c"},{"sha":"3d2d5998e0b92b66b572ca1a92d34509006b86e2","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Fix git_version byte/str mismatch","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/3d2d5998e0b92b66b572ca1a92d34509006b86e2"},{"sha":"35fc31afa4b5c575d38d1ade562c488a22d4a6c7","author":{"name":"Alberto Griggio","email":"7c1ebe58485bf7274021c7a0b851ef0b2a1e402c@fbk.eu"},"message":"Allow the user to specify a custom logic for smtlibscript_from_formula()\n\nThis is useful for generating scripts for solvers that only work for specific logics.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/35fc31afa4b5c575d38d1ade562c488a22d4a6c7"},{"sha":"974fb3eb98bb1a1fb06c3e98eff22f470620d545","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Test smtlibscript_from_formula with custom logics","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/974fb3eb98bb1a1fb06c3e98eff22f470620d545"},{"sha":"72c9c7c76fe91000989f890204d4b2931d9022a3","author":{"name":"Vijay Raghavan","email":"7dfcd8201c467d067a8c51af2c2abafee3339760@gmail.com"},"message":"Added docstrings for functions in shortcuts.py (#362)","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/72c9c7c76fe91000989f890204d4b2931d9022a3"},{"sha":"f5de689355147e5281452f2faddaa83b53c4ec20","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Minor fixes to documentation","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/f5de689355147e5281452f2faddaa83b53c4ec20"},{"sha":"02bb482c18dbfd4ba05bd4e74f1b6de69fc7f2ba","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Add __repr__ to PySMTTypes","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/02bb482c18dbfd4ba05bd4e74f1b6de69fc7f2ba"},{"sha":"54cbee394cf52a615d12877145d33f1c9b7358d9","author":{"name":"Jason Taylor Hodge","email":"1821cfb706351736bb17c545062d7dbceb5d339e@gmail.com"},"message":"Merge contributing guidelines to documentation (#339)\n\nMerge contributing guidelines with development documentation\r\n\r\n* Update development.rst\r\n* Update CONTRIBUTING","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/54cbee394cf52a615d12877145d33f1c9b7358d9"},{"sha":"8d74baa2607d4d46744c3477de3c20f84bcd3c0f","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Minor formatting","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/8d74baa2607d4d46744c3477de3c20f84bcd3c0f"},{"sha":"65cf9358804fa0374e45e949209619fb19d8f90d","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Merge branch 'i337/docs_contributing'\n\nThanks to Jason Taylor Hodge (@jthodge) for contributing this patch","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/65cf9358804fa0374e45e949209619fb19d8f90d"},{"sha":"f87164bf6dcd209b24cd47f98c39955e81943d87","author":{"name":"Andrea Micheli","email":"2efaecb13765764dbbeee95a224589d043433c85@gmail.com"},"message":"Merge pull request #358 from pysmt/coverage/constants\n\nImprove coverage","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/f87164bf6dcd209b24cd47f98c39955e81943d87"},{"sha":"0060e53f06e1b88bf2f0bdf415cc740e72c9d912","author":{"name":"Andrea Micheli","email":"2efaecb13765764dbbeee95a224589d043433c85@gmail.com"},"message":"Merge pull request #360 from agriggio/smtlib-script-custom-logic\n\nAllow the user to specify a custom logic for smtlibscript_from_formula()","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/0060e53f06e1b88bf2f0bdf415cc740e72c9d912"},{"sha":"5d7401933b25ed90a14e28dd501107de965f9321","author":{"name":"Andrea Micheli","email":"2efaecb13765764dbbeee95a224589d043433c85@gmail.com"},"message":"Merge pull request #363 from pysmt/i334/docstrings\n\nI334/docstrings","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/5d7401933b25ed90a14e28dd501107de965f9321"}]}
{"actor":{"display_login":"marcogario"}}