From b4324d3c34a1d04ed7e187e6688669ca55d544cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Claude=20March=C3=A9?= Date: Wed, 12 Oct 2011 13:59:04 +0200 Subject: [PATCH] doc: updated table genereted by why3replayer --- doc/HelloProof.tex | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/doc/HelloProof.tex b/doc/HelloProof.tex index 567ab05db..7dddbe964 100644 --- a/doc/HelloProof.tex +++ b/doc/HelloProof.tex @@ -1,9 +1,13 @@ \begin{tabular}{| l |c |c |c |c |c |} -\hline Proof obligations & \provername{Alt-Ergo 0.93} & \provername{Coq 8.2pl1} & \provername{Simplify 1.5.4} \\ +\hline \multicolumn{2}{|c|}{Proof obligations } & \provername{Alt-Ergo 0.93} & \provername{Coq 8.2pl1} & \provername{Simplify 1.5.4} \\ \hline -\explanation{G1} & \noresult& \noresult& \valid{0.01} \\ +\explanation{G1} & \explanation{ }& \noresult& \noresult& \valid{0.01} \\ \hline -\explanation{G2} & \noresult& \noresult& \unknown \\ +\explanation{G2} & \explanation{ }& \noresult& \noresult& \unknown \\ +\cline{2-5} +\explanation{ }& \explanation{ }\explanation{G2.1} & \unknown & \unknown & \unknown \\ +\cline{2-5} +\explanation{ }& \explanation{ }\explanation{G2.2} & \valid{0.02} & \noresult& \valid{0.01} \\ \hline -\explanation{G3} & \valid{0.02} & \noresult& \unknown \\ +\explanation{G3} & \explanation{ }& \valid{0.02} & \noresult& \unknown \\ \hline \end{tabular} -- 2.24.1