{"push_id":829395582,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"05f295a4b2adb4e665c25b7c065b65581a55befe","before":"8edd856cf0a0fc5273030a2fe3b73bc4b2259d59","commits":[{"sha":"05f295a4b2adb4e665c25b7c065b65581a55befe","author":{"email":"48d00f0d669416914fa11f81a0a9f55749b46aa6@process-design-center.com","name":"Edison Mera"},"message":"Cleaned up rtchecks_rt module qualification: not required if we make such module available in the system context\n\nFixed properties: forgot that compat/1 check have some special cases (var,nonvar,term,gnd,ground)\n\nAdded qualification to global properties with the assertion module. Note that\nsuch module would be different than the context and therefore its usage is mandatory\n\nAdded meta_predicate declaration in rtchecks_gen.pl predicate","distinct":true,"url":"https://api.github.com/repos/edisonm/assertions/commits/05f295a4b2adb4e665c25b7c065b65581a55befe"}]}