{"push_id":1151745914,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"bd187e098988c57b5dc8e75480c42717ffeb3482","before":"cb29c07f067133bf8d09c2b3152e85a9d9180332","commits":[{"sha":"879363157f008d8e635f7c4a66c12c241640e8b6","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Bugfix for fpa2bv_converter","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/879363157f008d8e635f7c4a66c12c241640e8b6"},{"sha":"bfeab9cc154dc93547d67aee36e6210f2fa6638c","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Added facilities for hiding UFs in smt::model_generator","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/bfeab9cc154dc93547d67aee36e6210f2fa6638c"},{"sha":"bd187e098988c57b5dc8e75480c42717ffeb3482","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Bugfix for fp.min/fp.max in fpa2bv converter; hide BV UFs from FP models.\n\nFixes #642","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/bd187e098988c57b5dc8e75480c42717ffeb3482"}]}
{"actor":{"display_login":"wintersteiger"}}