{"push_id":2709339730,"size":11,"distinct_size":1,"ref":"refs/heads/master","head":"bb3f1b7093063dd3ef7ce1d84a02f66f746b9f04","before":"f6392e0e23df44455dea36f41612fac815562e53","commits":[{"sha":"fa899bbc2cbd8a0db55ea2e740d491dcb5c2637b","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Rough valid preds and helper funcs for matrix and type validity; minor readability changes","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/fa899bbc2cbd8a0db55ea2e740d491dcb5c2637b"},{"sha":"88e7577e4c39e6026a4e1ff9bcd35e818f65c810","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Rough valid preds and related funcs for binaryop, monoid, + semiring structs; moved \\valid input checks into valid preds","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/88e7577e4c39e6026a4e1ff9bcd35e818f65c810"},{"sha":"b4b209422049a294781cd4bb7409f8e3851c895c","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Rough valid preds and relate funcs for info enums, descriptor, and vector structs; removed unnecessary matrix aux funcs","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/b4b209422049a294781cd4bb7409f8e3851c895c"},{"sha":"7a0c544d346b8d6dd1dba2377541fe70e35b6cf2","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Init pred only contains magic check; checking for valid x and xpending in matrix_valid; only check row indices if not empty storage","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/7a0c544d346b8d6dd1dba2377541fe70e35b6cf2"},{"sha":"10202568429be04df3e55ecc202011cc2f460eb5","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"changed weak sort to strong sort in matrix valid preds","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/10202568429be04df3e55ecc202011cc2f460eb5"},{"sha":"523b98995d5769837df7a73c937e8f1eeb2d95b1","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Checked matrix valid and related functions; see descrip for more info\n\nSwitched back to weak sorting; reordered statements in matrix_storage_valid; separated footprint check earlier; binaryop_valid contains a \\valid ptr check on arg; still does not do matrix queue validation or checking for the correct number of zombies","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/523b98995d5769837df7a73c937e8f1eeb2d95b1"},{"sha":"c20217f52f9d0734d20adcd39f634feb2e9b4dcc","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Checked binaryop valid and related functions; see descrip for more info\n\nRefactored ztype, xtype, and ytype related functions to more descriptive names; \\separated footprint earlier in valid check; footprint related function may need fixed","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/c20217f52f9d0734d20adcd39f634feb2e9b4dcc"},{"sha":"ab85c5da1de38565764511a9547ef8dfa9a11814","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Checked monoid, type, vector, and info valid pred & related functions & preds; see descrip for more info; moved \\separated check to last in all valid preds\n\nAdded check for bool identity_is_zero in monoids; reordered checks in monoid_valid due to dependencies; made long one-line comments into multi-line ones; no changes to vector, type, and info valid preds & related functions & preds","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/ab85c5da1de38565764511a9547ef8dfa9a11814"},{"sha":"599439cd427985a300bfbfab27a58d933b9fb4a6","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Checked semiring valid pred & related funcs & preds; see descrip for more info\n\nRefactored logic function calls for semiring_monoid and semiring_add; add should return the binaryop rather than the monoid and the monoid should be returned from a separate function","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/599439cd427985a300bfbfab27a58d933b9fb4a6"},{"sha":"eed64952cb6d0096ec69f2349eb0468f4f58b8a8","author":{"name":"Jenna Wise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Checked descriptor valid pred & related funcs & preds; see descrip for more info\n\nRefactored descriptor field input numbering to match specification","distinct":false,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/eed64952cb6d0096ec69f2349eb0468f4f58b8a8"},{"sha":"bb3f1b7093063dd3ef7ce1d84a02f66f746b9f04","author":{"name":"jennalwise","email":"e6a872940546203495934f4c6568864ba6663ca5@hotmail.com"},"message":"Merge pull request #8 from jennalwise/annot-valid-structs\n\nAnnotated the verification of valid graphblas structs","distinct":true,"url":"https://api.github.com/repos/jennalwise/graphblas-verif/commits/bb3f1b7093063dd3ef7ce1d84a02f66f746b9f04"}]}
{"actor":{"display_login":"jennalwise"}}