2012-07-17 | Lucca Hirschi | For testing. | blob | commitdiff | raw |
2012-07-16 | Lucca Hirschi | Fst fixpoint is now hconsed. | blob | commitdiff | raw | diff to current |
2012-07-16 | Lucca Hirschi | minor | blob | commitdiff | raw |
2012-07-16 | Lucca Hirschi | Add a generator of XML documents, script. | blob | commitdiff | raw | diff to current |
2012-07-16 | Lucca Hirschi | Test cases from XPath-PT, script. | blob | commitdiff | raw | diff to current |
2012-07-16 | Lucca Hirschi | Test cases from XPath-PT, script. | blob | commitdiff | raw | diff to current |