[Why3-club] [Q612-030] adapt SPARK to Why3 1.0.0

Yannick Moy moy at adacore.com
Thu Jul 26 10:01:35 CEST 2018


-- Claire Dross (2018-07-26)
>>>> No, the polymorphism encoding didn't change at all, so everything
>>>> should still be there, see Fran├žois' reply.
> 
> I don't see his reply, were is it? On Why3 list?

yes to why3-club@



More information about the Why3-club mailing list