]>
2017-07-07 | acondolu | Fixes to how arities are assigned and propagated | blob | commitdiff | raw |
2017-06-28 | acondolu | Minor fixes | blob | commitdiff | raw | diff to current |
2017-06-27 | <andrea.condoluci... | still stepping on negative variables | blob | commitdiff | raw | diff to current |
2017-06-26 | <andrea.condoluci... | Problems pass, but still missing computation of arities... | blob | commitdiff | raw | diff to current |
2017-06-26 | <andrea.condoluci... | New representation of arities in variables | blob | commitdiff | raw | diff to current |
2017-06-26 | <andrea.condoluci... | Removed traces of lambda3 | blob | commitdiff | raw | diff to current |
2017-06-22 | <andrea.condoluci... | Removed lambda3 + Fixed lambda4 | blob | commitdiff | raw | diff to current |
2017-06-12 | <andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev... | blob | commitdiff | raw | diff to current |