{"push_id":1147944955,"size":1,"distinct_size":1,"ref":"refs/heads/strings","head":"d1645ca0b935d8cfb089dd8a3de513f52df9275a","before":"7c30d595414283520624ef0ed9e4bce41ce16be9","commits":[{"sha":"d1645ca0b935d8cfb089dd8a3de513f52df9275a","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Fixed naming convention for String Operators.\n\nall String operators are called STR_*. Previously there was a bit of\nconfusion between STRING_ and STR_.\n\nThe Type and Constant remain STRING and String\n\n- Convert STR HR into function-like format: e.g., str.len(\"abc\")\n- Cosmetics + Simplified tests + Comments\n- Re-Enabled all examples + Bugfix in rewriting","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/d1645ca0b935d8cfb089dd8a3de513f52df9275a"}]}
{"actor":{"display_login":"marcogario"}}