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