]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic/cicUniv.ml
parameter sintax added to axiom statement
[helm.git] / helm / software / components / cic / cicUniv.ml
2009-01-15 Enrico Tassino more universe inconsistency printed to stderr
2008-12-19 Enrico Tassiranking hopefully fixed
2008-08-28 Ferruccio GuidicicDischarge: new module for discharging the explicit...
2008-07-23 Enrico Tassibetter ranking interface
2008-07-09 Enrico TassiCProp hierarchy fixed:
2008-05-16 Enrico Tassiranking reports the lest of univs
2008-04-30 Enrico Tassiadded fake uri when the univ is anon
2008-04-30 Enrico Tassiuniverses are written with the URI inside objects,...
2008-04-29 Enrico Tassispeedup in fixing the graph closures
2008-04-23 Claudio Sacerdoti... Avoid other comparisons on universes using =.
2008-04-23 Claudio Sacerdoti... Avoid code duplication.
2008-04-23 Claudio Sacerdoti... Do NOT dare using Pervasives.compare on data structures...
2008-04-22 Enrico Tassislow_implementation and some dead code removed
2008-04-19 Enrico Tassiranking function fixed: when graphs are collapsed one...
2008-04-18 Enrico Tassiassertion was wrong, an object can contain a named...
2008-04-14 Enrico Tassiadded little optimization to not add twice the same arc
2008-04-11 Enrico TassiFIXED bug, added assertion in case a universe inside...
2007-01-05 Enrico Tassiremoved debugging printing
2007-01-05 Enrico Tassidebuggin message improved
2007-01-02 Enrico Tassiadded oblivion_universe and used it in paxck_coercions
2006-10-23 Claudio Sacerdoti... CicUniv.UniverseInconsistency is no handled correcly.
2006-03-30 Claudio Sacerdoti... Less profiling.
2006-03-30 Claudio Sacerdoti... Profiling code for merge_ugraphs commented out (since...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/