{"push_id":904446802,"size":4,"distinct_size":1,"ref":"refs/heads/master","head":"5fa0880b60cdf0ef721ecfb9c2d67a3bfb3c1a74","before":"0f0ab93ab372f29abfb52e8f00835fd10b83665e","commits":[{"sha":"be0491730700b1fe1f1a47785bd9f32fd87dea4f","author":{"email":"e91f1888d6ab3102f5ad0cfb8e08855da98c99d6@rwth-aachen.de","name":"Jonathan Neuschäfer"},"message":"ProofForest: Fix all \"implicit sign conversion\" warnings","distinct":false,"url":"https://api.github.com/repos/tobijkl/smt-a/commits/be0491730700b1fe1f1a47785bd9f32fd87dea4f"},{"sha":"c84c0c3f0e8c74708ef119c1188622bd8932b076","author":{"email":"e91f1888d6ab3102f5ad0cfb8e08855da98c99d6@rwth-aachen.de","name":"Jonathan Neuschäfer"},"message":"ProofForest: Minor ASCII-Art reformatting","distinct":false,"url":"https://api.github.com/repos/tobijkl/smt-a/commits/c84c0c3f0e8c74708ef119c1188622bd8932b076"},{"sha":"b8e398c5d5c39ae8b1b432d601350728becec36b","author":{"email":"e91f1888d6ab3102f5ad0cfb8e08855da98c99d6@rwth-aachen.de","name":"Jonathan Neuschäfer"},"message":"Functional congruence with more than one argument","distinct":false,"url":"https://api.github.com/repos/tobijkl/smt-a/commits/b8e398c5d5c39ae8b1b432d601350728becec36b"},{"sha":"5fa0880b60cdf0ef721ecfb9c2d67a3bfb3c1a74","author":{"email":"e91f1888d6ab3102f5ad0cfb8e08855da98c99d6@rwth-aachen.de","name":"Jonathan Neuschäfer"},"message":"Merge remote-tracking branch 'up/jn-fn2'\n\nConflicts:\n\tsrc/lib/modules/JWATModule/ProofForest.h","distinct":true,"url":"https://api.github.com/repos/tobijkl/smt-a/commits/5fa0880b60cdf0ef721ecfb9c2d67a3bfb3c1a74"}]}