{"push_id":1401055569,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7b3459f21b2217bf16b3413d6b469bc1a4d332a9","before":"67bce7140ce91f9fff833d140ce610c60514d43a","commits":[{"sha":"7b3459f21b2217bf16b3413d6b469bc1a4d332a9","author":{"name":"Christoph Schwering","email":"95417ca1f0e69201f23704b9803a2527f05d4fde@kbsg.rwth-aachen.de"},"message":"Grounder avoids regrounding after AddClause(), PrepareFor().\n\nWhen no new names were added in AddClause() and PrepareFor(), which\nwould make (at least partially) regrounding of old clauses necessary,\nthen Ground() creates a new setup that inherits from the previous\nresult of Ground() and adds only the new clause.\n\nThe minesweeper example now works. So far it's just translation of the\nold one to the new library.","distinct":true,"url":"https://api.github.com/repos/schwering/lela/commits/7b3459f21b2217bf16b3413d6b469bc1a4d332a9"}]}
{"actor":{"display_login":"schwering"}}