[Why3-club] matrix import

Julia Lawall julia.lawall at lip6.fr
Mon Jul 2 12:04:14 CEST 2018


Hello,

I am trying to get my 0.88 code to work with why3 1.0. I have

use import array.Array as A
use import matrix.Matrix as MM

According to my understanding, the imports are no longer needed.  I tried:

use array.Array as A
use matrix.Matrix as MM

but then it doesn't recognize the type matrix.

With the imports it doesn't recognize MM.set.  What should be done
instead?

julia


More information about the Why3-club mailing list