{"push_id":2050969936,"size":1,"distinct_size":1,"ref":"refs/heads/fimpr_refactor","head":"b2814cae303c1d612595a74651be58a4a27a2cf1","before":"8cd3794959a729240037e1f7e1e73df5edd4898a","commits":[{"sha":"b2814cae303c1d612595a74651be58a4a27a2cf1","author":{"name":"William Eiers","email":"bb525531b133c7c0fe351af7f30c52853af43e13@gmail.com"},"message":"Added length heuristic for SMC-Benchmarks & limit for number of begins implications being added","distinct":true,"url":"https://api.github.com/repos/vlab-cs-ucsb/ABC/commits/b2814cae303c1d612595a74651be58a4a27a2cf1"}]}
{"actor":{"display_login":"william-eiers"}}