2012-07-17 | Lucca Hirschi | For testing lucca-extentions. | blob | commitdiff | raw |
2012-07-16 | Lucca Hirschi | Correct TP algorithm with fixed point (to be tested). | blob | commitdiff | raw |
2012-07-13 | Lucca Hirschi | Fix predicates + following_sibling/self + add self... | blob | commitdiff | raw | diff to current |
2012-07-13 | Lucca Hirschi | Merge branch 'lucca-tests-bench' into lucca-extentions | blob | commitdiff | raw | diff to current |
2012-07-12 | Lucca Hirschi | Add `Self direction in Formula + compute fixed point... | blob | commitdiff | raw | diff to current |
2012-07-05 | Lucca Hirschi | Commentaries lucca-master Core | blob | commitdiff | raw | diff to current |
2012-07-05 | Lucca Hirschi | Full implem of BU_over_Max and TP_max (to be tested... | blob | commitdiff | raw | diff to current |
2012-07-04 | Lucca Hirschi | Full implem BU Oracle + eval_form in Formula (impossibl... | blob | commitdiff | raw | diff to current |
2012-06-28 | Kim Nguyễn | Usable version: | blob | commitdiff | raw | diff to current |