{"push_id":707811429,"size":448,"distinct_size":2,"ref":"refs/heads/smart_printing","head":"dbe995272e0c226e4ee0a9d7a6ea83356515d792","before":"28c15f5929ebf3cb8a8052ebe5f6d9cbcd345753","commits":[{"sha":"8f3d6a8f376f2154ae1fd6fb83fc8579e2e172d1","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"BUGFIX: Use NodeId from pycudd in BddConverter","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/8f3d6a8f376f2154ae1fd6fb83fc8579e2e172d1"},{"sha":"3f2edf19f1f5013a89070004a9e49cae0be99156","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"mikand"},"message":"Merge pull request #3 from pysmt/fix_pycudd_id\n\nBUGFIX: Use NodeId from pycudd in BddConverter","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/3f2edf19f1f5013a89070004a9e49cae0be99156"},{"sha":"5e3527d8e8c27ee5f02f90c8c6b4b8ae9518b24c","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"BUGFIX: Some tests required pycudd, z3 and msat.\n\nMade the tests conditional to the presence of the solver","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/5e3527d8e8c27ee5f02f90c8c6b4b8ae9518b24c"},{"sha":"1a81538619994e0aec02b2e3dbce48054a266c25","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@email.it","name":"marcogario"},"message":"Merge pull request #4 from marcogario/test_fix_squash\n\nBUGFIX: Some tests required pycudd, z3 and msat.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/1a81538619994e0aec02b2e3dbce48054a266c25"},{"sha":"873f0654efbc4776fd9eb33ded2da73e6da0dc6c","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Added shippable configuration file.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/873f0654efbc4776fd9eb33ded2da73e6da0dc6c"},{"sha":"b5ca7913d357627080d9988c573ccff666bc3033","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@email.it","name":"marcogario"},"message":"Update README.md\n\nAdded shippable badge","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/b5ca7913d357627080d9988c573ccff666bc3033"},{"sha":"d204ce382eb585fa30840739fc83b7885d804e60","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@email.it","name":"marcogario"},"message":"Update README.md\n\nAdded documentation badge.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/d204ce382eb585fa30840739fc83b7885d804e60"},{"sha":"45b1aa3e5eb42b5c95fd58d5dc936b6a34338d0b","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Changed README to rst, updated setup.py information.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/45b1aa3e5eb42b5c95fd58d5dc936b6a34338d0b"},{"sha":"bcac0e531af3c02a37866f7ae3c68f0c04c8de7a","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@email.it","name":"marcogario"},"message":"Merge pull request #5 from pysmt/pypi_pkg\n\nChanged README to rst, updated setup.py information.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/bcac0e531af3c02a37866f7ae3c68f0c04c8de7a"},{"sha":"add0400975c668953dd449e7200a6062b32f6671","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Updated for release 0.2.2","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/add0400975c668953dd449e7200a6062b32f6671"},{"sha":"3c478449f0e878b36892f6c7c33b3bc05ab67c67","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"fixed setup.py","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/3c478449f0e878b36892f6c7c33b3bc05ab67c67"},{"sha":"13c00df7460476ed9b6fe53cbd21ebed607cecb7","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Merge branch 'pypi_pkg' into pre-0.2.2\n\nConflicts:\n\tsetup.py","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/13c00df7460476ed9b6fe53cbd21ebed607cecb7"},{"sha":"e3660e78d80f9ec6ba97f1af68ff8f281e126764","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Added basic infrastructure... lots to be done","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/e3660e78d80f9ec6ba97f1af68ff8f281e126764"},{"sha":"dd6ee0d3d005ee660bf05859dfdb551561fef3b0","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Installers (Copied clean from other branch)","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/dd6ee0d3d005ee660bf05859dfdb551561fef3b0"},{"sha":"4be55eff10cd717467ae9179657f60f01740a13c","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"First working version of theoryoracle + tests.\n\n- Added method get_closer_pysmt_logic in logics.py to obtain the\n  closer supported logic to a given logic.\n\n- Added method get_logic in type_checker.py (to be moved) that calls\n  the TheoryOracle and LogicOracle to obtain the logic of the given\n  formula. It then callse get_closer_pysmt_logic to return a supported\n  logic.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/4be55eff10cd717467ae9179657f60f01740a13c"},{"sha":"68cd59544270dad0da3700836315bb23565d2044","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Added comments + generation of paths.sh file","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/68cd59544270dad0da3700836315bb23565d2044"},{"sha":"6060c9cf203a07173497b367673aded7452bdae8","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Separated oracles and type_checker module + added theory oracle in env","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/6060c9cf203a07173497b367673aded7452bdae8"},{"sha":"a41c5d0e09c9701e39a67004253e0f27d717a7ca","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Refactoring of logics. To be discussed.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/a41c5d0e09c9701e39a67004253e0f27d717a7ca"},{"sha":"dc5a6ebf42526659f36ec27e5e2434ca5361537d","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"Removed Progress Bar, replaced by simple percentege printing","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/dc5a6ebf42526659f36ec27e5e2434ca5361537d"},{"sha":"14909c9f07c8ba7bac833e1bb0b3391694d693fe","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"Added support for PYSMY_INSTALL_MIRROR environment variable to\ndownload packages from a self-hosted location instead of from the\noriginal websites","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/14909c9f07c8ba7bac833e1bb0b3391694d693fe"}]}