From 818f2a22c226eb64f2878792a6bd6c766911600f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 1 Sep 2005 11:35:22 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 349bc35c5..376061ff6 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -79,14 +79,6 @@ TODO GUI LOGICA - fattorizzare codice fra MatitaEngine e DisambiguatePp (dove, fra l'altro, ora io (=CSC) ho messo anche un parser!!!) - - verificare se tutte le query sono ora ottimizzate (usando il comando - explain) e usano gli indici in maniera ottimale; inoltre migliorare gli - indici sulle tabelle hits and count - - ???????????? Perche'? - mowgli:~# du -s /var/lib/mysql/mowgli/ - 250696 /var/lib/mysql/mowgli/ - mowgli:~# du -s /var/lib/mysql/matita/ - 455096 /var/lib/mysql/matita/ - integrare nuova contrib ferruccio nel bench notturno; guardare bug generazione principi di eliminazione - bug "Warn: baseuri cic:/matita/higher_order_defs/ordering is not empty" @@ -120,6 +112,14 @@ TODO i demoni scopiazzano venti righe per via del getter embedded :-( DONE +- verificare se tutte le query sono ora ottimizzate (usando il comando + explain) e usano gli indici in maniera ottimale; inoltre migliorare gli + indici sulle tabelle hits and count -> CSC +- ???????????? Perche'? + mowgli:~# du -s /var/lib/mysql/mowgli/ + 250696 /var/lib/mysql/mowgli/ + mowgli:~# du -s /var/lib/mysql/matita/ + 455096 /var/lib/mysql/matita/ -> CSC - library/nat/primes.ma: ex_prime ci mette un secolo il db (binding) a fare la Mysql.exec che ritorna una lista vuota di risultati. Investigare. Anche peggio in library/nat/minimization/f_max_true. -> CSC -- 2.39.2