{"push_id":634713500,"size":36,"distinct_size":1,"ref":"refs/heads/feature/owlrepo","head":"4de7535000e4fc0f09a49f56381a256daf90520e","before":"7525bf9e2b90b87509f33a72bcf5dd1464603c07","commits":[{"sha":"0e6e9d30d8408ccc2691b11b5e8a5be695ac0679","author":{"email":"abd8bf0fe42600e2084d10da57b79d6cd364b26c@chainels.com","name":"Vincent Koeman"},"message":"start development on new snapshot version :)","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/0e6e9d30d8408ccc2691b11b5e8a5be695ac0679"},{"sha":"08fcc443a9c39551e87e33f8a0e656a5bc67e9c6","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"updated gitignore","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/08fcc443a9c39551e87e33f8a0e656a5bc67e9c6"},{"sha":"0d81b975955ffdd45b50f4c6f4ef97f1b0e342f5","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3399 fixed handling of long integers in SWI","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/0d81b975955ffdd45b50f4c6f4ef97f1b0e342f5"},{"sha":"28df9c2199a35cbb0242ad5894d27929ea41fcda","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3399 documented workaround  for issue with JPL","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/28df9c2199a35cbb0242ad5894d27929ea41fcda"},{"sha":"5a5710671b2e98cb7c2cae98e98d0e5f994e97ba","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3430 tightened javadoc","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/5a5710671b2e98cb7c2cae98e98d0e5f994e97ba"},{"sha":"bd0941effda8985accc9781033423c5970a9ec7b","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3437 fixing error messages and throws","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/bd0941effda8985accc9781033423c5970a9ec7b"},{"sha":"c8378af1f202e42d782e85496ab9134bcabbfb8a","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3437 fixed exceptions in KRFactory","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/c8378af1f202e42d782e85496ab9134bcabbfb8a"},{"sha":"e3a85b98fc135481705acbe2404b9255f0ec709d","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3449 added supportsSerialization() to kr interface","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/e3a85b98fc135481705acbe2404b9255f0ec709d"},{"sha":"683f4974e29b401dcc11bb781aabb08a56feff65","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"removed redundant doc from @Override'd functions","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/683f4974e29b401dcc11bb781aabb08a56feff65"},{"sha":"2802ff166a9b57264a03d75eb627203342f92ca8","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3430 sharpened the definition of clone","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/2802ff166a9b57264a03d75eb627203342f92ca8"},{"sha":"55b4e71186ebc0207896cab81164734599097b65","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3430 userspecaction now only passes explicitly mentioned variables","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/55b4e71186ebc0207896cab81164734599097b65"},{"sha":"2baa4b792de326905f3c0d185486f4cbe6b5b630","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3464 now passing the source info through the tokenizer to the\nsubparser, removed from all calls to the subparser","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/2baa4b792de326905f3c0d185486f4cbe6b5b630"},{"sha":"e3cd32901e7acfbe9b7aed419e9b95943e13b994","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3463 fixed isPredication. Only Compound can be a predication; others\nwill throw on Term.name().","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/e3cd32901e7acfbe9b7aed419e9b95943e13b994"},{"sha":"77b7ff02f4e2a8bf23175f0e62637ad19a298af3","author":{"email":"abd8bf0fe42600e2084d10da57b79d6cd364b26c@chainels.com","name":"Vincent Koeman"},"message":"fix LinkedListTokenStream->getSourceName() and force SourceInfoObject to\nhave a File source (was never set); for this to work all ANTLR streams\nneeded to have a proper name (file path) set","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/77b7ff02f4e2a8bf23175f0e62637ad19a298af3"},{"sha":"488a8e3226b08d1f2025b619a0562b1234fb90d4","author":{"email":"abd8bf0fe42600e2084d10da57b79d6cd364b26c@chainels.com","name":"Vincent Koeman"},"message":"remove println","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/488a8e3226b08d1f2025b619a0562b1234fb90d4"},{"sha":"43c737ea087d273d9cefbbd34a78eab2fa584257","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3469 added unit test for term substitution.","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/43c737ea087d273d9cefbbd34a78eab2fa584257"},{"sha":"a204ab727bfba09d416c3f2275c4963939b6ff40","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"Merge branch 'develop' of https://github.com/goalhub/krTools.git into develop","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/a204ab727bfba09d416c3f2275c4963939b6ff40"},{"sha":"2667905a1fa07c28ec55f7d683fe225f2fab418c","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3470 added unit test for equals of variables","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/2667905a1fa07c28ec55f7d683fe225f2fab418c"},{"sha":"ee8283ffb86b173a2f5214c6ed3f8e506cf9cb73","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3470 fixed bug in mgu occurs check","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/ee8283ffb86b173a2f5214c6ed3f8e506cf9cb73"},{"sha":"283e4670de968d4bb6e981f1c05f2a1557b87465","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3469 added rule one of unification to mgu algorithm (if x=y then return\nsubst)","distinct":false,"url":"https://api.github.com/repos/goalhub/krTools/commits/283e4670de968d4bb6e981f1c05f2a1557b87465"}]}