{"push_id":1206171637,"size":2,"distinct_size":2,"ref":"refs/heads/i270/nonlinear","head":"2a3d967faac1126e337968d0560cf7e1bf260810","before":"6e8560c4be32cda5e11f59ed72a95da602c3754d","commits":[{"sha":"4b2e0bdbae80ea7f7aa738aae85c43c6dfa50d4c","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Simplified HRPrinter definition\n\nHRPrinter defines the cases using a partial function over most nary\noperators. This makes it easier to add new operators, is in-line with\nthe SMT-LIB printer, and looks better.","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/4b2e0bdbae80ea7f7aa738aae85c43c6dfa50d4c"},{"sha":"2a3d967faac1126e337968d0560cf7e1bf260810","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Pow opertator\n\n- Added pow operators. Currently, the exponent must be a constant.\n- Made functions in formula.py more consistent","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/2a3d967faac1126e337968d0560cf7e1bf260810"}]}
{"actor":{"display_login":"marcogario"}}