{"push_id":701512108,"size":9,"distinct_size":1,"ref":"refs/heads/bv_z3","head":"3722afe284409bf63b3efd3f87722a7d3af94575","before":"7cf3bedf983bd63a033026f488ff713409194c83","commits":[{"sha":"f538e93a1b6c8c395a84107440580812357a2a03","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Fixed #138: Overload FNode.is_one() to work on both Int and Real","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/f538e93a1b6c8c395a84107440580812357a2a03"},{"sha":"689cc79ff2731837903b14daa266afc99b4feb21","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"mikand"},"message":"Merge pull request #141 from pysmt/issue_138\n\nFixed #138: Overload FNode.is_one() to work on both Int and Real","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/689cc79ff2731837903b14daa266afc99b4feb21"},{"sha":"fdd516b907093dec6a04c28fcedbeb4179f731af","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"Addressed issue #102 by providing a proper method to set the walking functions in walker classes","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/fdd516b907093dec6a04c28fcedbeb4179f731af"},{"sha":"1a20266a3b7500e9df8f7d508013cec4d0fe28df","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Fixed #116: Implemented FNode.get_type.\n\n- Documentation for all FNode methods.\n- Remove calls to shortcuts from FNode.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/1a20266a3b7500e9df8f7d508013cec4d0fe28df"},{"sha":"59e9ecb656a22cdf7039af2d4c23172b05fadea4","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"mikand"},"message":"Merge pull request #143 from pysmt/get_sort\n\nFixed #116: Implemented FNode.get_type.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/59e9ecb656a22cdf7039af2d4c23172b05fadea4"},{"sha":"dfd255cf95d5f7948c4a7913878cd614a702dbf6","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@email.it","name":"Marco Gario"},"message":"Merge pull request #139 from pysmt/issue_102\n\nWalkers: added method to set the walking function","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/dfd255cf95d5f7948c4a7913878cd614a702dbf6"},{"sha":"ac6e4ff1c3fb867b4933f5ee8d0c50104e18b5b5","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Release 0.4.0","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/ac6e4ff1c3fb867b4933f5ee8d0c50104e18b5b5"},{"sha":"99d4ca3afc6d8477d8b12d20b8971bee7604c965","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Version Bump: 0.4.1.dev1","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/99d4ca3afc6d8477d8b12d20b8971bee7604c965"},{"sha":"3722afe284409bf63b3efd3f87722a7d3af94575","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"BV support for Z3\n\n- Added QF_BV benchmarks from Sage2 SMT-LIB benchmark","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/3722afe284409bf63b3efd3f87722a7d3af94575"}]}