{"push_id":1200539184,"size":9,"distinct_size":1,"ref":"refs/heads/master","head":"f75b5f583628454bb3aee59909b39e331a600a6e","before":"a047da82cb2a583d449dbbc3fe4a9c5d2e5431f3","commits":[{"sha":"0d02468b11c8b5a77a0938821886fa3c77b84bba","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"gradle: Split system-rules dep for consistency","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/0d02468b11c8b5a77a0938821886fa3c77b84bba"},{"sha":"c38a1b98a93be41298f7a58b2d9cb8fc9b3ab512","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"Introduce interface Grounder\n\nAlso add parsed program as an attribute to AbstractGrounder and make use\nof a constructor instead of initialization method.","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/c38a1b98a93be41298f7a58b2d9cb8fc9b3ab512"},{"sha":"42b5903968dd8ebaf5ca253713a33384c5800b22","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"Make parseVisit throw in case of an error\n\nBy making Main.parseVisit throw an exception in case an error occurs in\nparsing, the following benefits can be achieved:\n\n1. Do not exit the runtime in otherwise well-encapsulated methods\nMain.parseVisit would have been free of severe side effects, if it would\nnot call System.exit() in case an error occurs in parsing.\nMain.main() is now the only place that calls System.exit().\n\n2. Do not leak to some otherwise unassociated class member\nMain.parsingError is not a property of main, and scoped wrong by\ndefinition. It is much better suited as a local variable, or even\nencapsulated in the parsing process.\nBy writing a small implementation of ErrorListener we can encapsulate\nthat state nicely and query it after parsing has finished.\n\n3. Unit tests now can test for the error case without checking for exit\n\n4. As a consqeuence of (3.) we can get rid of a dependecy\n\nAlong the way:\n * Use JUnit's @Ignore instead of blindly commenting out test cases.\n * Fix error message talking about modules. We're not using modules.\n\nDebatable: Main.parseVisit() now throws an ANTLR exception, this might\nbe considered a lack of abstraction.","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/42b5903968dd8ebaf5ca253713a33384c5800b22"},{"sha":"f8337b63448f06c2f37b8a57cb7623509668c59d","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"Add interface Solver and AnswerSet","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/f8337b63448f06c2f37b8a57cb7623509668c59d"},{"sha":"6335b249448ef1daa2b8ead10bbdca0620d58515","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"Add two primitive methods to Grounder interface","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/6335b249448ef1daa2b8ead10bbdca0620d58515"},{"sha":"2cb3bbd2586a10c63fc480bc755999ff8a4aab45","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"Add factories for Grounder and Solver","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/2cb3bbd2586a10c63fc480bc755999ff8a4aab45"},{"sha":"ac1127b4ac93f9769d9dc19042173327e2175219","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"Optimize imports","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/ac1127b4ac93f9769d9dc19042173327e2175219"},{"sha":"1ca18a05ca8eabb04e74a63636d7a67dacd071c4","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@student.tuwien.ac.at"},"message":"antlr: Remove header declaration in grammar\n\nAlso move generate code a subpackage called \"antlr\".","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/1ca18a05ca8eabb04e74a63636d7a67dacd071c4"},{"sha":"f75b5f583628454bb3aee59909b39e331a600a6e","author":{"name":"Antonius Weinzierl","email":"a67b73340bbe6a7eee8601598a388269264bde3a@kr.tuwien.ac.at"},"message":"Merge pull request #1 from AntoniusW/bootstrapping\n\nBootstrapping","distinct":true,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/f75b5f583628454bb3aee59909b39e331a600a6e"}]}
{"actor":{"display_login":"AntoniusW"}}