]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/check.ml
1) NCicTypechecker.typecheck_obj removed, since it did not add to the
[helm.git] / helm / software / components / ng_kernel / check.ml
2009-06-23 Claudio Sacerdoti... 1) NCicTypechecker.typecheck_obj removed, since it...
2008-12-19 Enrico Tassibetter pps
2008-10-03 Enrico Tassi- NCicPp.ppterm applies the substitution
2008-09-01 Claudio Sacerdoti... new debugging option
2008-07-23 Enrico Tassi...
2008-07-23 Enrico Tassibetter ranking interface
2008-07-15 Enrico TassiCProp_i <= Type_i , Type_i <= CProp_i
2008-07-09 Enrico TassiCProp hierarchy fixed:
2008-06-09 Wilmer RicciottiReverting to the previous version some files which...
2008-06-09 Wilmer Ricciottimore proof irrelevance
2008-05-30 Enrico Tassiirrelevance check half implemented but already impossib...
2008-05-19 Claudio Sacerdoti... Added cprop <= type constraint.
2008-05-19 Claudio Sacerdoti... ...
2008-05-19 Claudio Sacerdoti... CProp dropped in favour of a cprop universe exported...
2008-05-19 Enrico Tassi...
2008-05-17 Claudio Sacerdoti... Bug fixed: only Type < Type1 was declared.
2008-05-17 Claudio Sacerdoti... The code for universes was not correct in many borderli...
2008-05-16 Enrico Tassiadded new implementation of universes
2008-05-14 Claudio Sacerdoti... nuri_of_ouri, ouri_of_nuri, reference_of_ouri, ouri_of_...
2008-05-14 Claudio Sacerdoti... New licence used uniformly everywhere.
2008-05-13 Claudio Sacerdoti... More exceptions captured.
2008-05-13 Claudio Sacerdoti... Never commit before trying to compile... stupid typo...
2008-05-13 Claudio Sacerdoti... Used old kernel exception in place of brand new one.
2008-05-12 Claudio Sacerdoti... trust implemented, but in the nCicTypeChecker!
2008-05-12 Claudio Sacerdoti... New implementation of CicEnvironment:
2008-05-01 Claudio Sacerdoti... More options can now be set at the beginning of the...
2008-04-19 Enrico Tassiimpredicative set work around
2008-04-19 Claudio Sacerdoti... Added to flags to activate/disactivate pretty-printing...
2008-04-19 Claudio Sacerdoti... Uris must be stripped of their xpointers.
2008-04-18 Enrico Tassigraph generation phase fixed
2008-04-17 Enrico Tassiis_really_smaller in sync with old kernel, impossible...
2008-04-14 Enrico Tassiobjects are typechecked to ensure there is a graph...
2008-04-11 Enrico Tassiload the graph of objects that depend on the ones reque...
2008-04-09 Enrico Tassipretty printer on steroids
2008-04-09 Enrico Tassiadded profiling on/off
2008-04-08 Claudio Sacerdoti... Variables are no longer experted (cooking is now implem...
2008-04-07 Claudio Sacerdoti... Reports improved.
2008-04-07 Claudio Sacerdoti... Debugging code fixed.
2008-04-07 Enrico Tassiadded comparison with old kernel
2008-04-07 Enrico Tassiadded # to comment
2008-04-07 Enrico Tassiopt compilation enabled, removed some pps, check has...
2008-04-07 Enrico Tassiadded a list of uris to ease debugging
2008-04-07 Enrico Tassiprint the excpetion and raise it again, seems to produc...
2008-04-04 Enrico Tassifix
2008-04-04 Enrico Tassiadded ppobj
2008-04-04 Enrico Tassiadded some printings and catched more exceptions
2008-04-04 Enrico Tassidebugging started