Commit 76ebd689 authored by MARCHE Claude's avatar MARCHE Claude

update mail d'annonce

parent 705aaf25
...@@ -73,18 +73,13 @@ ...@@ -73,18 +73,13 @@
We are happy to announce the first public release of Why3, also known We are happy to announce the first public release of Why3, also known
as the Why platform next generation. It is a new project, independent as the Why platform next generation. It is a new project, independent
from Why. from Why versions 2.xx.
This is an alpha release that may contain bugs or lack some features.
Its purpose is to present the new architecture of the Why3 platform,
to introduce the revised input language, and to call for comments
and bug reports.
The home web page of Why3 is http://why3.gforge.inria.fr, where you The home web page of Why3 is http://why3.gforge.inria.fr, where you
can find the source distribution and the manual. See the manual for can find the source distribution and the manual. See the manual for
installation instructions and contact information. installation instructions and contact information.
The main new features with respect to Why are the following. The main new features with respect to Why 2.xx are the following.
1) Completely redesigned input syntax for logic declarations 1) Completely redesigned input syntax for logic declarations
...@@ -103,7 +98,7 @@ The main new features with respect to Why are the following. ...@@ -103,7 +98,7 @@ The main new features with respect to Why are the following.
* generic approach for communicating with external provers * generic approach for communicating with external provers
3) Source code organized as a library with a documented API, 3) Source code organized as a library with a documented API,
to allow access to Why3 features programmatically by linking. to allow access to Why3 features programmatically.
4) GUI with new features w.r.t. the former GWhy 4) GUI with new features w.r.t. the former GWhy
...@@ -128,6 +123,14 @@ Beware that some Why features are not yet available in Why3: ...@@ -128,6 +123,14 @@ Beware that some Why features are not yet available in Why3:
* There is no front-end for other languages like C or Java. However, * There is no front-end for other languages like C or Java. However,
the last release Why 2.28 is able to use Why3 as a back-end the last release Why 2.28 is able to use Why3 as a back-end
Notice that Why3 is expected to replace Why2 in the future. As such,
it is the project where improvements and new features will be
implemented. As this is the first public release of Why3, it is likely
that missing features, and possibly bugs, will raise soon. Please
report those in the bug tracker, we will do our best to fix them and
provide new releases in a short time.
......
...@@ -128,8 +128,9 @@ Report any bug to the \why\ Bug Tracking System: ...@@ -128,8 +128,9 @@ Report any bug to the \why\ Bug Tracking System:
\section*{Acknowledgements} \section*{Acknowledgements}
We gratefully thank the people who contributed to \why: Simon Cruanes, We gratefully thank the people who contributed to \why, directly or
Johannes Kanig, St\'ephane Lescuyer, Sim\~ao Melo de Sousa. indirectly: Romain Bardou, Simon Cruanes, Johannes Kanig, St\'ephane
Lescuyer, Sim\~ao Melo de Sousa, Asma Tafat.
\section*{Release notes} \section*{Release notes}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment