{"push_id":621703106,"size":1,"distinct_size":1,"ref":"refs/heads/dev/prolog-full","head":"5ec4447d348b3a240c0a5ac989ae567e7d4cf552","before":"0be4791ac56fecc74151ad8fa5ff17b0f16f2f2d","commits":[{"sha":"5ec4447d348b3a240c0a5ac989ae567e7d4cf552","author":{"email":"3837f889dca75d0002f779fa23dec7ce7ce5a150@gmail.com","name":"Alexandros Tzannes"},"message":"* Added \"chrono\" timing to solving phase\n* Switched to consulting constraints.pl file instead of asserting facts to prolog. This helps with having\n  a common way to run through clang and to debug directly in prolog. However, the current implementation\n  always outputs to 'constraints.pl', so the TestRunner will not work properly unless -j1 is used\n* consultProlog is factored out into a function, now that it's called twice\n* The maximum allowed stack for the Prolog process is increased to allow QuadTree to run to completion.","distinct":true,"url":"https://api.github.com/repos/hanm/clang/commits/5ec4447d348b3a240c0a5ac989ae567e7d4cf552"}]}