Search results

GB_Matrix_clear assigns clause not proving correctly

bugSomething isn't workingSomething isn't working

Status: Open.

#25 In jennalwise/graphblas-verif;

· jennalwise opened on Aug 24, 2018

All free methods should be able to handle non valid matrices

enhancementNew feature or requestNew feature or request

Status: Open.

#24 In jennalwise/graphblas-verif;

· jennalwise opened on Aug 24, 2018

Need extra requires statements for callee's preconditions (WP)

bugSomething isn't workingSomething isn't working

Status: Open.

#23 In jennalwise/graphblas-verif;

· jennalwise opened on Aug 24, 2018

Null pointers alias to eachother in EVA memory model; fix use of separated predicates

bugSomething isn't workingSomething isn't working

Status: Open.

#22 In jennalwise/graphblas-verif;

· jennalwise opened on Aug 22, 2018

GB_Matrix_free does not ensure anything about internal aliased objects: GrB_Type, GrB_BinaryOp, etc.

bugSomething isn't workingSomething isn't working

Status: Open.

#17 In jennalwise/graphblas-verif;

· jennalwise opened on Aug 6, 2018

Possible bug in identity_is_zero_bool_valid predicate for monoid validation

bugSomething isn't workingSomething isn't working

Status: Open.

#13 In jennalwise/graphblas-verif;

· jennalwise opened on Jul 27, 2018

Refactor the logic function name matrix_nvals to matrix_nzmax

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In jennalwise/graphblas-verif;

· jennalwise opened on Jul 26, 2018

Verify global and local thread storage

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In jennalwise/graphblas-verif;

· jennalwise opened on Jul 21, 2018

GraphBLAS struct memory footprints may be incorrect and need refactored

bugSomething isn't workingSomething isn't working

Status: Open.

#7 In jennalwise/graphblas-verif;

· jennalwise opened on Jul 10, 2018

A valid semiring should have a valid commutative monoid

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In jennalwise/graphblas-verif;

· jennalwise opened on Jul 10, 2018

Try refactoring predicate/logic functions in annotlib.acsl for increased elegance and encapsulation

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In jennalwise/graphblas-verif;

· jennalwise opened on Jul 10, 2018

Valid matrices should have correct number of zombies

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In jennalwise/graphblas-verif;

· jennalwise opened on Jul 10, 2018