From 13f50c1bab440fb3f6fbb6174d6aef3828f55d5d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 29 Apr 2008 14:58:22 +0000 Subject: [PATCH] Tests status update. --- helm/software/components/ng_kernel/TEST | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/helm/software/components/ng_kernel/TEST b/helm/software/components/ng_kernel/TEST index caa72bb61..788c6cf82 100644 --- a/helm/software/components/ng_kernel/TEST +++ b/helm/software/components/ng_kernel/TEST @@ -17,20 +17,23 @@ Utrecht contrib di matita? ++++++++++++++++ -CoRN: calcolo grafi da caricare troppo lento -Coq: calcolo grafi da caricare troppo lento +[CoRN: calcolo grafi da caricare troppo lento] +[Coq: calcolo grafi da caricare troppo lento] [Sophia-Antipolis: calcolo grafi da caricare troppo lento] +CoRN: type-checking vecchio nucleo troppo lento Rocq/AILS: type-checking vecchio nucleo troppo lento Rocq/COC: type-checking vecchio nucleo troppo lento nijmegen: type-checking vecchio nucleo troppo lento -Rocq/TreeAutomata vecchio nucleo troppo lento -orsay: type-checking vecchio nucleo troppo lento -Sophia-Antipolis/Bertrand: vecchio nucleo troppo lento -Sophia-Antipolis/Buchberger: vecchio nucleo troppo lento Sophia-Antipolis/Float: vecchio nucleo troppo lento Sophia-Antipolis/geometry: vecchio nucleo troppo lento +coq: nuovo nucleo mooooolto lento in guarded by: cic:/Coq/ZArith/Zsqrt/sqrtrempos.con +orsay: nuovo nucleo +Rocq/TreeAutomata nuovo nucleo +Sophia-Antipolis/Bertrand: nuovo nucleo +Sophia-Antipolis/Buchberger: nuovo nucleo + Sophia-Antipolis/huffmann: Unknown constant Sophia-Antipolis/MATH/GROUPS: Unknown constant -- 2.39.2