projects / fireball-separation.git / search
| 2017-06-27 | <andrea.condoluci... | still stepping on negative variables |
commit | commitdiff | tree |
| 2017-06-26 | <andrea.condoluci... | Problems pass, but still missing computation of arities... |
commit | commitdiff | tree |
| 2017-06-26 | <andrea.condoluci... | New representation of arities in variables |
commit | commitdiff | tree |
| 2017-06-26 | <andrea.condoluci... | Removed traces of lambda3 |
commit | commitdiff | tree |
| 2017-06-22 | <andrea.condoluci... | Removed lambda3 + Fixed lambda4 |
commit | commitdiff | tree |
| 2017-06-22 | <andrea.condoluci... | Updated type of terms with arities in lambda and matche |
commit | commitdiff | tree |
| 2017-06-12 | <andrea.condoluci... | Moved andrea's stuff to its branch |
commit | commitdiff | tree |
| 2017-06-12 | <andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev... |
commit | commitdiff | tree |
| 2017-06-12 | Andrea Condoluci | Initial commit |
commit | commitdiff | tree |