{"push_id":931273323,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"47ea81a9f056878bb6ed165d6761e5aa85a1c64a","before":"df90e8ffaa8a7f0bb33a0fdfafc3580f2c88d9e1","commits":[{"sha":"1b739a4066ee82c473fc06d7527130204d460646","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@florians-mbp.fritz.box","name":"Florian Corzilius"},"message":"probablyLooping now considers the case, that after a branching request the variable's assignment won't change","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/1b739a4066ee82c473fc06d7527130204d460646"},{"sha":"14f44480f7ca52c7306600933392ba8ec15808c9","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@florians-mbp.fritz.box","name":"Florian Corzilius"},"message":"added a setting to the lramodule to disable gc as fallback for b&b","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/14f44480f7ca52c7306600933392ba8ec15808c9"},{"sha":"47ea81a9f056878bb6ed165d6761e5aa85a1c64a","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@florians-mbp.fritz.box","name":"Florian Corzilius"},"message":"Merge origin/master","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/47ea81a9f056878bb6ed165d6761e5aa85a1c64a"}]}