{"push_id":855926802,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"460d3b34880b7cedd1ffe1ccd86c3ce2da7ffde8","before":"25052f992e73ee0e7de19862675ce59cf2ec7a8b","commits":[{"sha":"7fbfa47677f151704916a02ed60c373d279fb392","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Fixing warning.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/7fbfa47677f151704916a02ed60c373d279fb392"},{"sha":"16a384bbeed332bcf67ac1a0422a3303a7f047aa","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Removing CBModule, as its functionality is subsumed by the PFEModule.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/16a384bbeed332bcf67ac1a0422a3303a7f047aa"},{"sha":"44bf344f8626c0ac4d5ed3c1335e54fb299e3899","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Setting ESModule to not pass eliminated substitutions.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/44bf344f8626c0ac4d5ed3c1335e54fb299e3899"},{"sha":"9d738dbff9ba44bd1613314c224d6fd60fadcb24","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Generating variable assignments from bounds.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/9d738dbff9ba44bd1613314c224d6fd60fadcb24"},{"sha":"4dcb4eb1bb6c83117f0adda7ba015418e32229a4","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Setting FPP iterations to 5.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/4dcb4eb1bb6c83117f0adda7ba015418e32229a4"},{"sha":"460d3b34880b7cedd1ffe1ccd86c3ce2da7ffde8","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Setting strategy for FPPModule.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/460d3b34880b7cedd1ffe1ccd86c3ce2da7ffde8"}]}