{"push_id":821139766,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"d702b06199b1d7c6b6a9353cc260c69f139129a6","before":"d59618b50a8b74d26570cb8436087b97064e4588","commits":[{"sha":"bf4564dc90a197649650649b86da228667e326dc","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Implementing SPLIT_EARLY and SPLIT_LAZY","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/bf4564dc90a197649650649b86da228667e326dc"},{"sha":"03991d2a2bd5f5bb084682c62bf6ad91d5188eb0","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Correctly passing Unknown through the CAD calls.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/03991d2a2bd5f5bb084682c62bf6ad91d5188eb0"},{"sha":"d702b06199b1d7c6b6a9353cc260c69f139129a6","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/carl","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/d702b06199b1d7c6b6a9353cc260c69f139129a6"}]}