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