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

Annotated the verification of valid graphblas structs #8

Closed jennalwise closed 6 years ago

jennalwise commented 6 years ago

Some enhancements & one possible bug can be found under issues - otherwise this branch is ready to merge.

jennalwise commented 6 years ago

Checked this branch and merged it. Enhancements & one bug are listed in issues to be made/fixed later.