{"push_id":1298913467,"size":15,"distinct_size":15,"ref":"refs/heads/rewrite_proof","head":"415561c0fa02738ab5259887670f5f40c6152999","before":"d048b40d350ee3db4fa02334a92a1a0ca5b32ac3","commits":[{"sha":"a6853ee989f4eac49aaa9005f59001dd24ab778d","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"cleanup & subproofs for rewrites","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/a6853ee989f4eac49aaa9005f59001dd24ab778d"},{"sha":"a219bfe6cda4ef7ca91e755c181fd5eadb3fffa9","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"refactoring","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/a219bfe6cda4ef7ca91e755c181fd5eadb3fffa9"},{"sha":"8a11d246abf5a35e62fcd819d2583bf6751d5a94","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"formatting and stuff","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/8a11d246abf5a35e62fcd819d2583bf6751d5a94"},{"sha":"eeea607f2665be72b666a202ff0e001167203888","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"small diff","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/eeea607f2665be72b666a202ff0e001167203888"},{"sha":"f5afbcb997d85dff0aaa5e65cfb8b8445485b82c","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"more","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/f5afbcb997d85dff0aaa5e65cfb8b8445485b82c"},{"sha":"a9d1dd49e59677003bff8638be5ff87ad02f1a3a","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"array1 proof","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/a9d1dd49e59677003bff8638be5ff87ad02f1a3a"},{"sha":"ee484e7d065329bb5760f133369623b2412878dd","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"better tags","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/ee484e7d065329bb5760f133369623b2412878dd"},{"sha":"acb3683e73128585fcbbdbc4d3cb283a27966895","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"minor refactoring","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/acb3683e73128585fcbbdbc4d3cb283a27966895"},{"sha":"0dc5a87d9a361e09ce07b2a2e25e20581432630a","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"refac","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/0dc5a87d9a361e09ce07b2a2e25e20581432630a"},{"sha":"cbfedda8efa1e9c2b1678339bfdd4a2a921a6cb0","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"refac","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/cbfedda8efa1e9c2b1678339bfdd4a2a921a6cb0"},{"sha":"de7d4384b2cd04fb2df4dfcb1a690ecf62f75b32","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"more","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/de7d4384b2cd04fb2df4dfcb1a690ecf62f75b32"},{"sha":"19131452c5aeec8216eebbc8df4fbf3b5dc06f44","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"new proof style","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/19131452c5aeec8216eebbc8df4fbf3b5dc06f44"},{"sha":"2a7ceeaae5e67da1a72d8892cd270d19dd0212b3","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"new proof style","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/2a7ceeaae5e67da1a72d8892cd270d19dd0212b3"},{"sha":"4a4c62d0a3fc2dc633e8c85a23531cb056a73418","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"nanannaa","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/4a4c62d0a3fc2dc633e8c85a23531cb056a73418"},{"sha":"415561c0fa02738ab5259887670f5f40c6152999","author":{"name":"Andres Notzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"new proof style","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/415561c0fa02738ab5259887670f5f40c6152999"}]}
{"actor":{"display_login":"4tXJ7f"}}