{"push_id":644102946,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c47d48706f95be6128f22f700b946e5ffda6e2c5","before":"81fc4dbfc580826f70b66537d4ebeed5bd6049a3","commits":[{"sha":"c47d48706f95be6128f22f700b946e5ffda6e2c5","author":{"email":"ec68a2f29f96e6de15e68640dfb231287988e349@gmail.com","name":"colestewart"},"message":"fixed 16 bit lookahead and modeled propagate/generate adder","distinct":true,"url":"https://api.github.com/repos/colestew/acl2-circ-prover/commits/c47d48706f95be6128f22f700b946e5ffda6e2c5"}]}