{"push_id":1476758277,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"1f19465876a88fcae3840c799af1a9d43a829fe9","before":"fbe76be24a73bd6f41b89a365e9b716cb21c8fc4","commits":[{"sha":"8783010b418d6a27f22dae63050f6978cf9c8962","author":{"name":"Edison Mera","email":"55722db1a063f8e3333b1586b566d9acef41ea8a@process-design-center.com"},"message":"Simplified check_assertions.pl by mean of tabling library","distinct":true,"url":"https://api.github.com/repos/edisonm/xtools/commits/8783010b418d6a27f22dae63050f6978cf9c8962"},{"sha":"bec95d296657d57fd5c59e5f516a63cd7ba8ca36","author":{"name":"Edison Mera","email":"55722db1a063f8e3333b1586b566d9acef41ea8a@process-design-center.com"},"message":"- prop_asr/4 ---> curr_prop_asr/4\n- prop_asr/5 ---> prop_asr/4\n- Added prop_asr/7\n- Moved mapargs.pl to xlibrary\n- Improved qualify_meta_goal library: now it can consider the meta_arguments\n  that comes from the caller, because they don't need to be module-qualified","distinct":true,"url":"https://api.github.com/repos/edisonm/xtools/commits/bec95d296657d57fd5c59e5f516a63cd7ba8ca36"},{"sha":"1f19465876a88fcae3840c799af1a9d43a829fe9","author":{"name":"Edison Mera","email":"55722db1a063f8e3333b1586b566d9acef41ea8a@process-design-center.com"},"message":"Added meta_predicate declaration to avoid static analysis warnings","distinct":true,"url":"https://api.github.com/repos/edisonm/xtools/commits/1f19465876a88fcae3840c799af1a9d43a829fe9"}]}
{"actor":{"display_login":"edisonm"}}