{"push_id":865786654,"size":18,"distinct_size":0,"ref":"refs/heads/master","head":"f2d2dddcdceefd5b77a6d00afd1afc1188fd34a8","before":"e485e051cfda3a509bfb8ad75f3be91aef4bcfa5","commits":[{"sha":"c27ef5da5a58204340b936277929f74088216ccf","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"Initial commit of complete port to C","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/c27ef5da5a58204340b936277929f74088216ccf"},{"sha":"965905a03f16877c60d27de712c6a30b5672c126","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"changed C standard from gnu99 to c99","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/965905a03f16877c60d27de712c6a30b5672c126"},{"sha":"3ddfe6b09d4d82670792769e2db573d54b0211f2","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"replaced array of all Literals with list of all Literals","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/3ddfe6b09d4d82670792769e2db573d54b0211f2"},{"sha":"e711c52bc4562f136f6349427f1b6fee1575a79b","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"removed unnecessary check for NULL\n\ncheck was necessary with old LinkedList implementation but isn't anymore","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/e711c52bc4562f136f6349427f1b6fee1575a79b"},{"sha":"292354807e084fac34fa754eb04dc9df8cac4cd0","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"replaced array with linked list","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/292354807e084fac34fa754eb04dc9df8cac4cd0"},{"sha":"b7356e89eab16b23969ae73e21ff18ef0e5f670a","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"changed array of Literals in Clause to list of Literals","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/b7356e89eab16b23969ae73e21ff18ef0e5f670a"},{"sha":"77ba8939f0d303a6919bde5c4495626bcd8c1828","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"changed placement of i increment","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/77ba8939f0d303a6919bde5c4495626bcd8c1828"},{"sha":"322f67f59ac3c5e6e7f181e60680310584662338","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"rewrote evaluate function for Clause for better performance","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/322f67f59ac3c5e6e7f181e60680310584662338"},{"sha":"6f56786288242662a30700d0479852f1e7894799","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"removed code only used for debugging","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/6f56786288242662a30700d0479852f1e7894799"},{"sha":"6db20691da9005b826f6cf813f252516e4492270","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"added a string builder to make concatination of strings easier","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/6db20691da9005b826f6cf813f252516e4492270"},{"sha":"9767f50e466f450c0867969e9982ce86ba65d277","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"Replace manual resizing of string buffer with StringBuilder implementaion","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/9767f50e466f450c0867969e9982ce86ba65d277"},{"sha":"721e0ed80f05eca46625289c69965dcfcd598b3d","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"remove getter method for GenericLiteral->name","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/721e0ed80f05eca46625289c69965dcfcd598b3d"},{"sha":"3ff3976b01f3e8b208fe30018b315cca9a1a9247","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"Use external variables instead of macros for global variables used for parsing","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/3ff3976b01f3e8b208fe30018b315cca9a1a9247"},{"sha":"444a56b19e23fb97f0c1f49b433497e8fcc4ddb1","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"Make it possible to adjust the CNF parser using command line options","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/444a56b19e23fb97f0c1f49b433497e8fcc4ddb1"},{"sha":"a17f83532ed222a3012660bcab6986147f563524","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"-","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/a17f83532ed222a3012660bcab6986147f563524"},{"sha":"67547a8cb44b0a1859ee32a7fee4a4b846653fbd","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"implemented DIMACS parser","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/67547a8cb44b0a1859ee32a7fee4a4b846653fbd"},{"sha":"85f4c849fd2fa615289668a4ad40641f3338ca4b","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"Changed --help output for better readability","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/85f4c849fd2fa615289668a4ad40641f3338ca4b"},{"sha":"f2d2dddcdceefd5b77a6d00afd1afc1188fd34a8","author":{"email":"bc9289d72e58ae74a431007969dd79af8fefbbe1@users.noreply.github.com","name":"Ansgar Klein"},"message":"When parsing formular in DIMACS format check if given number of literals was correct","distinct":false,"url":"https://api.github.com/repos/AnsgarKlein/DPLL-SAT-Solver/commits/f2d2dddcdceefd5b77a6d00afd1afc1188fd34a8"}]}