{"commits":[{"author":{"name":"Benjamin Gregoire","email":"92970e83813c22da27a7c2c212c851d7c353d1c1@inria.fr"},"sha":"fa6fe2f8eded6fcea7e92fb055e6bbdc0b4bb49b","message":"optimization of comparison of int31","url":"https://api.github.com/repos/maximedenes/native-coq/commits/fa6fe2f8eded6fcea7e92fb055e6bbdc0b4bb49b"},{"author":{"name":"Benjamin Gregoire","email":"92970e83813c22da27a7c2c212c851d7c353d1c1@inria.fr"},"sha":"d63ed29039e09007a4bd13e84eef199309723520","message":"optimization test is_int in native_op","url":"https://api.github.com/repos/maximedenes/native-coq/commits/d63ed29039e09007a4bd13e84eef199309723520"}],"ref":"refs/heads/master","head":"d63ed29039e09007a4bd13e84eef199309723520","push_id":53914315,"size":2}