version 0.64

parent df2817f2
version 0.64, Feb 16, 2011
==========================
o algebraic types: must be well-founded, non-positive constructors o algebraic types: must be well-founded, non-positive constructors
are forbidden, recursive functions and predicates must are forbidden, recursive functions and predicates must
structurally terminate structurally terminate
......
# Why version # Why version
VERSION=0.63dev VERSION=0.64
...@@ -126,35 +126,14 @@ Report any bug to the \why\ Bug Tracking System: ...@@ -126,35 +126,14 @@ Report any bug to the \why\ Bug Tracking System:
\url{https://gforge.inria.fr/tracker/?atid=10293&group_id=2990&func=browse}. \url{https://gforge.inria.fr/tracker/?atid=10293&group_id=2990&func=browse}.
\section*{Acknowledgements} \subsection*{Acknowledgements}
We gratefully thank the people who contributed to \why, directly or We gratefully thank the people who contributed to \why, directly or
indirectly: Romain Bardou, Simon Cruanes, Johannes Kanig, St\'ephane indirectly: Romain Bardou, Simon Cruanes, Johannes Kanig, St\'ephane
Lescuyer, Sim\~ao Melo de Sousa, Asma Tafat. Lescuyer, Sim\~ao Melo de Sousa, Asma Tafat.
\section*{Release notes} \subsection*{Summary of Changes w.r.t. Why 2}
The main new features with respect to Why 2.xx
\subsection*{Version 0.6?}
\paragraph{new features}
\begin{itemize}
\item
\item better Gappa output: support for sqrt, for negative constants
\end{itemize}
\paragraph{bug fixes}
\begin{itemize}
\item Fixed local installation
\begin{itemize}
\item executable names are now identical to when they are installed
\end{itemize}
\item IDE: source file names are stored as paths relative to the database
\end{itemize}
\subsection*{Version 0.63}
First public release. The main new features with respect to Why 2.xx
are the following. are the following.
\begin{enumerate} \begin{enumerate}
\item Completely redesigned input syntax for logic declarations \item Completely redesigned input syntax for logic declarations
......
...@@ -729,7 +729,7 @@ let on_meta meta fn acc theory = ...@@ -729,7 +729,7 @@ let on_meta meta fn acc theory =
Stdecl.fold add tds.tds_set acc Stdecl.fold add tds.tds_set acc
*) *)
let on_meta meta fn acc theory = let on_meta _meta fn acc theory =
let tdecls = theory.th_decls in let tdecls = theory.th_decls in
List.fold_left List.fold_left
(fun acc td -> (fun acc td ->
......
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