{"push_id":1034796970,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"19eacb6d0762bd6aaeb216d99c3ca4bf0f40ec23","before":"cd06e4b3bdafbf2eb1a43cc4b78c340b3fb66c4c","commits":[{"sha":"19eacb6d0762bd6aaeb216d99c3ca4bf0f40ec23","author":{"email":"4c7d19363f616e0d77077f0cabb4a0e9381dbfd3@students.waikato.ac.nz","name":"Min-Hsien Weng"},"message":"Added an assertion to verify matrix multiplication\n\nAlthough the matrix multiplication program is compiled with different compiler, all its executed results should be consistent and constant. THus, we added an assertion to verify the resulting matrix by checking the value of the last matrix element","distinct":true,"url":"https://api.github.com/repos/samminweng/WhileyOpenCL/commits/19eacb6d0762bd6aaeb216d99c3ca4bf0f40ec23"}]}