]>
2017-07-11 | acondolu | Fix bug in dangerous_conv with arity of arguments of... |
commit | commitdiff | tree |
2017-07-10 | acondolu | The measure finally works on all problems in problems.ml! |
commit | commitdiff | tree |
2017-07-10 | acondolu | Experimenting with a combined measure |
commit | commitdiff | tree |
2017-07-10 | acondolu | Instantiate now uses a global initialSpecialK (ignoring... |
commit | commitdiff | tree |
2017-07-10 | acondolu | Arity inherited only in the case (true, min_int) |
commit | commitdiff | tree |
2017-07-10 | acondolu | new_arity = old_arity + 1 |
commit | commitdiff | tree |
2017-07-07 | acondolu | Fixes to how arities are assigned and propagated |
commit | commitdiff | tree |
2017-06-28 | acondolu | Minor fixes |
commit | commitdiff | tree |
2017-06-12 | Andrea Condoluci | Initial commit |
commit | commitdiff | tree |