[Why3-club] Interpreter for why3 code?

Claude Marché Claude.Marche at inria.fr
Thu Mar 13 14:08:57 CET 2014


Beware that this support of execution of WhyML programs is still
considered experimental:

* On the one hand, you may find quickly some bugs or missing features

* On the other hand, feedback is warmly welcome

- Claude


-- 
Claude Marché                          | tel: +33 1 72 92 59 69
INRIA Saclay - Île-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |




More information about the Why3-club mailing list