1 prima di UriManager.ml:
3 [ABCI]* (terza passata, uguale alla seconda):
9 dopo UriManager.ml, ma prima di passare da = a ==:
11 [ABCI]* (terza passata, uguale alla seconda):
17 dopo UriManager.ml e popo il passaggio (parziale?) da = a ==:
19 [ABCI]* (terza passata, uguale alla seconda):
25 dopo il passaggio alla cache che usa ancora =:
27 [ABCI]* (terza passata, uguale alla seconda):
33 dopo il passaggio alla cache con utilizzo di ==:
35 [ABCI]* (terza passata, uguale alla seconda):
41 con funzione di hashing costante ;-(
43 [ABCI]* (terza passata, uguale alla seconda):
49 con implementazione isomorfa all'albero delle uri:
51 [ABCI]* (terza passata, uguale alla seconda):
57 con implementazione con doppio RB-albero:
59 [ABCI]* (terza passata, uguale alla seconda):
65 con implementazione semplice, gestite anche le uri delle var:
67 [ABCI]* (terza passata, uguale alla seconda):
73 con implementazione con doppio RB-albero, gestite anche le uri delle var:
75 [ABCI]* (terza passata, uguale alla seconda):
81 =========================================================
83 con implementazione con doppio RB-albero, gestite anche le uri delle var
84 e spostata nell'uri-manager is_prefix:
86 [ABCI]* (terza passata, uguale alla seconda):
92 con implementazione semplice (e tutto il resto):
94 [ABCI]* (terza passata, uguale alla seconda):
100 con implementazione banale (e tutto il resto):
102 [ABCI]* (terza passata, uguale alla seconda):
108 con implementazione banale SOLO PARSING ;-)
110 [ABCI]* (terza passata, uguale alla seconda):
116 =========================================================
118 con implementazione con doppio RB-albero, gestite anche le uri delle var
119 e spostata nell'uri-manager is_prefix:
121 REAL (prima passata, dopo un sync):
127 con implementazione semplice (e tutto il resto):
129 REAL (prima passata, dopo un sync):
135 con implementazione banale (e tutto il resto):
137 REAL (prima passata, dopo un sync):
143 =================================================
145 con implementazione banale, SOLO PARSING di tutto:
151 con implementazione banale, anche typechecking di tutto:
157 con implementazione semplice, anche typechecking di tutto:
163 con implementazione con doppio RB-albero, anche typechecking di tutto:
169 ***************************************************************************
171 ***************************************************************************
173 con implementazione con doppio RB-albero, anche typechecking di tutto
174 (universita') ????????:
193 ==========================================================================
195 tutto (ma a casa) dopo eliminazione buri:
201 "solo parsing" di tutto dopo eliminazione buri:
207 ===========================================================================
209 TUTTO ALL'UNIVERSITA' CON EURISTICA MA SENZA UNIVERSI: