search

jennalwise / graphblas-verif

Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP.
Other
5 stars 1 forks source link

Refactor the logic function name matrix_nvals to matrix_nzmax #12

Open jennalwise opened 6 years ago

jennalwise commented 6 years ago

nzmax may not be the same as nvals in meaning