]>
2008-04-01 | Claudio Sacerdoti... | 1) added get_checked_indtys that returns the whole... | blob | commitdiff | raw | diff to current |
2008-03-31 | Claudio Sacerdoti... | Large amount of duplicated code (still in comments... | blob | commitdiff | raw | diff to current |
2008-03-31 | Claudio Sacerdoti... | 1) Impredicative sort "Set" removed everywhere. | blob | commitdiff | raw | diff to current |
2008-03-27 | Enrico Tassi | more cases of the type checker honoured, still missing... | blob | commitdiff | raw | diff to current |
2008-03-27 | Enrico Tassi | added is_closed to nCicUtils. | blob | commitdiff | raw | diff to current |
2008-03-27 | Enrico Tassi | insert comments of old tpechecker | blob | commitdiff | raw | diff to current |
2008-02-13 | Enrico Tassi | conversion half inplemented | blob | commitdiff | raw | diff to current |
2008-01-30 | Enrico Tassi | stub functions to make all compile | blob | commitdiff | raw | diff to current |