{"push_id":615931705,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7b9e1d869ec39e28f7b8040993c1abe9a774bf3d","before":"cb43027a4cc1387fb70451c0b87b7571fecf82a7","commits":[{"sha":"7b9e1d869ec39e28f7b8040993c1abe9a774bf3d","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"overloaded gates for any Floating number","distinct":true,"url":"https://api.github.com/repos/gsdlab/faultTreeSMT/commits/7b9e1d869ec39e28f7b8040993c1abe9a774bf3d"}]}