{"push_id":1248726025,"size":3,"distinct_size":3,"ref":"refs/heads/travis/test_examples","head":"9d6c1cca98e544ff02e8feb495465a75075b6c23","before":"a25fec688bd05bc36c994f76f8fdc385829356c7","commits":[{"sha":"b35870f6be84177489a68f626191baf36136d722","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"CI: Test examples/","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/b35870f6be84177489a68f626191baf36136d722"},{"sha":"128e7a48010b6c8d6f5bd22679b5d4619019cd66","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"BUGFIX: Fixed handling of generators in get_unsat_core","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/128e7a48010b6c8d6f5bd22679b5d4619019cd66"},{"sha":"9d6c1cca98e544ff02e8feb495465a75075b6c23","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"BUGFIX: Fixed handling of options in SMT-LIB Wrapper","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/9d6c1cca98e544ff02e8feb495465a75075b6c23"}]}
{"actor":{"display_login":"marcogario"}}