{"push_id":655702540,"size":1,"distinct_size":1,"ref":"refs/heads/metasmt","head":"8e015ef451ce97200fdd5a3eba7ecb3ecf0584f8","before":"024118374f7f8d4cff301e8b7ca8732859b11f8b","commits":[{"sha":"8e015ef451ce97200fdd5a3eba7ecb3ecf0584f8","author":{"email":"7af8153e125af6fb120eb3bd15f62cba8bc44635@gmail.com","name":"Anitha Gollamudi"},"message":"Strlen support for arbitrary expressions by casting it to bitvector. Works for all complicated expressions but is slow","distinct":true,"url":"https://api.github.com/repos/anithag/kleestr/commits/8e015ef451ce97200fdd5a3eba7ecb3ecf0584f8"}]}