{"push_id":821057928,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0502a9cf7a189cdc022fc057967af8f61142b66a","before":"147ffa7bd88ea05305b1edc19ab9c6bb875652e8","commits":[{"sha":"0502a9cf7a189cdc022fc057967af8f61142b66a","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"message":"MathSAT: Use the SMTLib semantics for fpMin/fpMax","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/0502a9cf7a189cdc022fc057967af8f61142b66a"}]}