{"push_id":599554699,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"a84f87aa67b3b6489ef15d2a40805aab80393548","before":"f523214e2c4ce19dc835e59c017c28cb48747dfc","commits":[{"sha":"43631f4ae75b92f65d397d90b8d90ee970e29445","author":{"email":"ede10f140ad8f5ad90197d17839fb90345d66dd4@informatik.uni-oldenburg.de","name":"Uli Schlachter"},"message":"SynthesizeModule: Refactor argument parsing into helper class\n\nSigned-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>","distinct":true,"url":"https://api.github.com/repos/CvO-Theory/apt/commits/43631f4ae75b92f65d397d90b8d90ee970e29445"},{"sha":"bad1d274ddf6bb713d9e920297ef5f6df78890f4","author":{"email":"ede10f140ad8f5ad90197d17839fb90345d66dd4@informatik.uni-oldenburg.de","name":"Uli Schlachter"},"message":"SynthesizeModule: Add a \"verbose\" options\n\nThis removes the \"warning\" that is printed by default when using this module and\nit also hides the list of separating regions by default, only printing it when\nrequested to do so via the \"verbose\" option.\n\nSigned-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>","distinct":true,"url":"https://api.github.com/repos/CvO-Theory/apt/commits/bad1d274ddf6bb713d9e920297ef5f6df78890f4"},{"sha":"a84f87aa67b3b6489ef15d2a40805aab80393548","author":{"email":"ede10f140ad8f5ad90197d17839fb90345d66dd4@informatik.uni-oldenburg.de","name":"Uli Schlachter"},"message":"SynthesizeModule: Print list of solved ESSP problems\n\nThis list replaces the list of all synthesized regions and hopefully is more\nhelpful to the user. This still hides behind the \"verbose\" flag.\n\nSigned-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>","distinct":true,"url":"https://api.github.com/repos/CvO-Theory/apt/commits/a84f87aa67b3b6489ef15d2a40805aab80393548"}]}