{"push_id":1027462361,"size":8,"distinct_size":8,"ref":"refs/heads/extending-assumption-automata","head":"ba262eb524d4ac483110a0647de4d6e4cce1faf7","before":"2f7a2da083637fefa578d1b7564d3d8ce5546507","commits":[{"sha":"b74a970feee332575ee4e92f3ffa4c3fc8402f15","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Minor changes in scripts.","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/b74a970feee332575ee4e92f3ffa4c3fc8402f15"},{"sha":"28de537bde92ae028bf2f08834214f4faefe5f6c","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Adding benchmark instances","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/28de537bde92ae028bf2f08834214f4faefe5f6c"},{"sha":"8b83ab0a4b60a5449c4b6e0a7223ce513b1b221d","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Moving time limits configuration to a different file.","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/8b83ab0a4b60a5449c4b6e0a7223ce513b1b221d"},{"sha":"b462e4adb884cd31c013c716258f98d3c542a724","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"More benchmark instances","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/b462e4adb884cd31c013c716258f98d3c542a724"},{"sha":"e48d17bae7a320fa159a3e5824bb573c3ead001c","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Ignoring files ending with ~.","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/e48d17bae7a320fa159a3e5824bb573c3ead001c"},{"sha":"a99b9e4ae4d6d24f187e15eb1db5d0927bd9e00d","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Removed unused benchmarks","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/a99b9e4ae4d6d24f187e15eb1db5d0927bd9e00d"},{"sha":"9e8d0d9b6d00aeafe35dc8eb7867c146dd0e48eb","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Minor changes in script for generating abstract feasible witnesses.","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/9e8d0d9b6d00aeafe35dc8eb7867c146dd0e48eb"},{"sha":"ba262eb524d4ac483110a0647de4d6e4cce1faf7","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Added a few benchmark instances.","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/ba262eb524d4ac483110a0647de4d6e4cce1faf7"}]}