{"push_id":898375623,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"97be94d9a5839bcb492e3b28dcceea47cb8c6c71","before":"c1aae13ef1491cfcb4c13f717854fe070f2594ea","commits":[{"sha":"7542db41209395cad88c35d5f3d41a89ae4161ba","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@localhost","name":"Florian Corzilius"},"message":"some more bugfixes in optimization of the lramodule","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/7542db41209395cad88c35d5f3d41a89ae4161ba"},{"sha":"bb5b0cba9dd6da0004bd91df4875c9f6d1d7a78f","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@localhost","name":"Florian Corzilius"},"message":"started implementing new settings for SATModule: check_active_literal_occurrences","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/bb5b0cba9dd6da0004bd91df4875c9f6d1d7a78f"},{"sha":"71d8d928b145d0a9e20fc0b63d8166640e9843ce","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@localhost","name":"Florian Corzilius"},"message":"Merge origin/master","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/71d8d928b145d0a9e20fc0b63d8166640e9843ce"},{"sha":"bf263535c1ca277cee06668bddecdfba4acbf87f","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@localhost","name":"Florian Corzilius"},"message":"continued implementing new settings for SATModule: check_active_literal_occurrences and something to initiate the activities","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/bf263535c1ca277cee06668bddecdfba4acbf87f"},{"sha":"97be94d9a5839bcb492e3b28dcceea47cb8c6c71","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@localhost","name":"Florian Corzilius"},"message":"new Answer constants provoked compiler error in smtratSolver.cpp","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/97be94d9a5839bcb492e3b28dcceea47cb8c6c71"}]}