[Why3-club] matrix import

Ralf Treinen treinen at irif.fr
Mon Jul 2 12:09:30 CEST 2018


Hi,

On Mon, Jul 02, 2018 at 12:04:14PM +0200, Julia Lawall wrote:

> 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?

the stdlib has changed location. In my case I had to remove my old
~/.why3.conf et rerun "why3 config".

-Ralf.
-- 
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/


More information about the Why3-club mailing list