{"push_id":699497211,"size":1,"distinct_size":1,"ref":"refs/heads/verifier","head":"808dfaf70ce6417fe20357ddb42da8ae0a14ff4a","before":"580ecf8f8967caa5f179f0106d946467242dffff","commits":[{"sha":"808dfaf70ce6417fe20357ddb42da8ae0a14ff4a","author":{"email":"315a46e5c0bfd828bf5f5978db361dffcde5098d@student.aau.dk","name":"BannedNexus"},"message":"generation of trace distinguishing formula and added simulation equivalence","distinct":true,"url":"https://api.github.com/repos/CAAL/CAAL/commits/808dfaf70ce6417fe20357ddb42da8ae0a14ff4a"}]}