{"push_id":644758328,"size":1,"distinct_size":1,"ref":"refs/heads/location-eval","head":"9fe7295b6c7bb3754dde5197a90c484dd2c9c7bc","before":"510ded507ff7df284c58dedb58ab9d4bcacf36b5","commits":[{"sha":"9fe7295b6c7bb3754dde5197a90c484dd2c9c7bc","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Proof of dead-lock free implication assuming the bisimulation","distinct":true,"url":"https://api.github.com/repos/clarus/io-checker/commits/9fe7295b6c7bb3754dde5197a90c484dd2c9c7bc"}]}