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

Claire Dross dross at adacore.com
Thu Jul 26 10:47:04 CEST 2018


> It has been only (less than?) one day since the SPARK team tried to 
> use Why3 master: perhaps there should be more thinking about the 
> possible workarounds before trying to change anything in Why3.

I think everybody agrees with that, and no changes were asked. Thanks 
for clarifying though.

-- 
Claire



More information about the Why3-club mailing list