{"push_id":763606123,"size":7,"distinct_size":0,"ref":"refs/heads/master","head":"78a7d2e43e418a1b5c69e0d64e323d8b260a7a7c","before":"51d8223e10c6ac75553395dc40747b621c94c2a2","commits":[{"sha":"c196dbaace23fd5fb0c1ff0ad3bb66c136e9a4df","author":{"email":"b516058b28d83f8fb54f5829f73c6b08c9ba8689@gmail.com","name":"Paul Martin"},"message":"Update the is-agree-working procedure to also look for a blank result in the AGREE Results as an indicator that AGREE is still running.","distinct":false,"url":"https://api.github.com/repos/pr-martin/regressionSuite/commits/c196dbaace23fd5fb0c1ff0ad3bb66c136e9a4df"},{"sha":"734b09f90b020c6b7f8a982c14b5de64e8c81d8a","author":{"email":"b516058b28d83f8fb54f5829f73c6b08c9ba8689@gmail.com","name":"Paul Martin"},"message":"Change terminology in the header descriptions. Will refer to Valid or Counterexamples instead of Pass and Fail.","distinct":false,"url":"https://api.github.com/repos/pr-martin/regressionSuite/commits/734b09f90b020c6b7f8a982c14b5de64e8c81d8a"},{"sha":"4061687a32165f2efd4a1098fd38a7a9f149cc41","author":{"email":"b516058b28d83f8fb54f5829f73c6b08c9ba8689@gmail.com","name":"Paul Martin"},"message":"Stops test execution when \"Problem Occurred\" status dialog is presented.\n\n - added \"check-problem-dialog\" to helperProcs.ctx\n - added \"get-sys-impl\" to userProcs.ctx for general usage","distinct":false,"url":"https://api.github.com/repos/pr-martin/regressionSuite/commits/4061687a32165f2efd4a1098fd38a7a9f149cc41"},{"sha":"363d9d11c0df650003a3793cd13e9dd8df204296","author":{"email":"b516058b28d83f8fb54f5829f73c6b08c9ba8689@gmail.com","name":"Paul Martin"},"message":"Add log statements","distinct":false,"url":"https://api.github.com/repos/pr-martin/regressionSuite/commits/363d9d11c0df650003a3793cd13e9dd8df204296"},{"sha":"3efc26c25a8da660709c7a550ad685acf400ff92","author":{"email":"b516058b28d83f8fb54f5829f73c6b08c9ba8689@gmail.com","name":"Paul Martin"},"message":"Changed how the contract guarantees, consistency and composition are checked in the helperProcs.ctx. Other updates as result of the update.","distinct":false,"url":"https://api.github.com/repos/pr-martin/regressionSuite/commits/3efc26c25a8da660709c7a550ad685acf400ff92"},{"sha":"6a8022cebb6ed383c923273e481fc7dd639c1313","author":{"email":"b516058b28d83f8fb54f5829f73c6b08c9ba8689@gmail.com","name":"Paul Martin"},"message":"Cleanup comments and remove unused procedures in the helperProcs.ctx","distinct":false,"url":"https://api.github.com/repos/pr-martin/regressionSuite/commits/6a8022cebb6ed383c923273e481fc7dd639c1313"},{"sha":"78a7d2e43e418a1b5c69e0d64e323d8b260a7a7c","author":{"email":"b516058b28d83f8fb54f5829f73c6b08c9ba8689@gmail.com","name":"Paul Martin"},"message":"Restructured folder tree","distinct":false,"url":"https://api.github.com/repos/pr-martin/regressionSuite/commits/78a7d2e43e418a1b5c69e0d64e323d8b260a7a7c"}]}