{"push_id":1077315601,"size":1,"distinct_size":1,"ref":"refs/heads/dev-semantics","head":"eec066cdf1c7f9c11c1cb5d38e98df5e371f2747","before":"c4e0657a7c21d72de3c8f3c6d1eff011804c00d7","commits":[{"sha":"eec066cdf1c7f9c11c1cb5d38e98df5e371f2747","author":{"email":"20400441dc6e7145bff2464b9bb29e566a9454cd@gmail.com","name":"Jonathan Salwan"},"message":"Add the RDTSC semantics","distinct":true,"url":"https://api.github.com/repos/JonathanSalwan/Triton/commits/eec066cdf1c7f9c11c1cb5d38e98df5e371f2747"}]}