{"push_id":1040609342,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9f00c397a65dae5c37e031c0e8d815893dcbba27","before":"95cf6f446f490cb8981f06365d1b5e5ee22eedbc","commits":[{"sha":"9f00c397a65dae5c37e031c0e8d815893dcbba27","author":{"email":"f84fc32ec2e0b68af7d03f17e52f2a8681703afb@galois.com","name":"Brian Huffman"},"message":"Fix correctness problem for symbolic rotations with small index widths.\n\nSee also GaloisInc/saw-script#123.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/aig/commits/9f00c397a65dae5c37e031c0e8d815893dcbba27"}]}