| 2008-04-04 |
Enrico Tassi | added add_obj to store objects in the environment,... |
tree | commitdiff |
| 2008-04-04 |
Enrico Tassi | logger added |
tree | commitdiff |
| 2008-04-04 |
Enrico Tassi | added get_obj in nCicEnvironment that returns an object... |
tree | commitdiff |
| 2008-04-04 |
Enrico Tassi | indentation fixed |
tree | commitdiff |
| 2008-04-04 |
Enrico Tassi | returns_a_counductive implemented |
tree | commitdiff |
| 2008-04-04 |
Enrico Tassi | type_of_branch ported and optimized to not lift the... |
tree | commitdiff |
| 2008-04-04 |
Enrico Tassi | is_really_smaller ported, still to understand the case... |
tree | commitdiff |
| 2008-04-03 |
Enrico Tassi | debujin implemented with the map recursor |
tree | commitdiff |
| 2008-04-03 |
Enrico Tassi | non debruijned constructor may be useless elswere,... |
tree | commitdiff |
| 2008-04-03 |
Enrico Tassi | guarded_by_destructor ported, many auxiliary functions... |
tree | commitdiff |
| 2008-04-03 |
Enrico Tassi | removed FSF banner |
tree | commitdiff |
| 2008-04-02 |
Enrico Tassi | added slim version of does_not_occur |
tree | commitdiff |
| 2008-04-02 |
Enrico Tassi | added translation of Set to Type0 (avoid warning) |
tree | commitdiff |
| 2008-04-01 |
Claudio Sacerdoti... | typeof_obj0 implemented |
tree | commitdiff |
| 2008-04-01 |
Claudio Sacerdoti... | 1) added get_checked_indtys that returns the whole... |
tree | commitdiff |
| 2008-04-01 |
Enrico Tassi | added set_ppterm |
tree | commitdiff |
| 2008-03-31 |
Claudio Sacerdoti... | Large amount of duplicated code (still in comments... |
tree | commitdiff |
| 2008-03-31 |
Claudio Sacerdoti... | 1) Impredicative sort "Set" removed everywhere. |
tree | commitdiff |
| 2008-03-31 |
Claudio Sacerdoti... | 1) more sharing everywhere in NCicSubstitution |
tree | commitdiff |
| 2008-03-27 |
Enrico Tassi | more cases of the type checker honoured, still missing... |
tree | commitdiff |
| 2008-03-27 |
Enrico Tassi | added is_closed to nCicUtils. |
tree | commitdiff |
| 2008-03-27 |
Enrico Tassi | moved psubst and list to the new iterators, result... |
tree | commitdiff |
| 2008-03-27 |
Enrico Tassi | added iterators over NCic terms |
tree | commitdiff |
| 2008-03-27 |
Enrico Tassi | removed FSF header |
tree | commitdiff |
| 2008-03-27 |
Enrico Tassi | insert comments of old tpechecker |
tree | commitdiff |
| 2008-03-25 |
Enrico Tassi | new are_convertible and head_beta_reduce |
tree | commitdiff |
| 2008-03-25 |
Enrico Tassi | context for fixpoint body created in the hopefully... |
tree | commitdiff |
| 2008-03-25 |
Enrico Tassi | ported to the Cic LetIn with explicit type |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | A new very simple example for recursive functions.... |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | Avoid translating back recursive fixes to the same... |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | Avoid application to 0 arguments. |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | Better handling of exceptions. |
tree | commitdiff |
| 2008-02-20 |
Enrico Tassi | splat_args is now better understood and debugged: we... |
tree | commitdiff |
| 2008-02-20 |
Enrico Tassi | added small test, fixed some bugs |
tree | commitdiff |
| 2008-02-20 |
Enrico Tassi | many fixed in translation functions |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | snapshot inverse tranformation |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | transformation almost finisced, not tested |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | initial steps of convertibility |
tree | commitdiff |
| 2008-02-18 |
Enrico Tassi | some bits of reduction, reusing psubst |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | conversion half inplemented |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | reordered cases |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | reorganization of sources |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | substituion and lifting implemented |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | factorized common components of objects |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | added Local pragma, moved leftno and inductive into... |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | added leftno to indtypes, better indentation and comments |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | nCic almost finished |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | cic defined (half) |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | reindent |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | oldenv2newenv cache |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | uri and references(uri) |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | uri -> reference (2) |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | uri -> reference |
tree | commitdiff |
| 2008-01-31 |
Wilmer Ricciotti | One Obj.magic implemented, trust changed to false. |
tree | commitdiff |
| 2008-01-31 |
Wilmer Ricciotti | Transformation back and forth between old and new repre... |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | new uri defined |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | snapshot] |
tree | commitdiff |
| 2008-01-30 |
Enrico Tassi | stub functions to make all compile |
tree | commitdiff |
| 2008-01-30 |
Enrico Tassi | basic organization of the new kernel |
tree | commitdiff |
| 2008-01-22 |
Enrico Tassi | ... |
tree | commitdiff |
|
projects / helm.git / history