{"push_id":716424189,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bec421ba348b0a511c7821843b04e5e9d7ccc619","before":"e2a117e9801a432ea2813b2a6cddf073733575d2","commits":[{"sha":"bec421ba348b0a511c7821843b04e5e9d7ccc619","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"Tighten and prove correct the underflow/overflow bounds for parsing of FP literals.\n\nThis is a follow-up to commit 350354c.\n- Move Float.build_from_parsed to Fappli_IEEE_extra.Bparse\n- Add early checks for overflow and underflow and prove them correct.\n- Improve speed of Bparse by using a fast exponentiation (square-and-multiply).","distinct":true,"url":"https://api.github.com/repos/AbsInt/CompCert/commits/bec421ba348b0a511c7821843b04e5e9d7ccc619"}]}