summaryrefslogtreecommitdiff
path: root/src/tools/gftest
AgeCommit message (Collapse)Author
2018-06-15Split gftest to a new repoInari Listenmaa
2018-06-12(gftest) Compare also functions of arity 0 + custom startcat for comparisonInari Listenmaa
2018-05-24(gftest) Add --show-context + combine -o with -f,-c,-bInari Listenmaa
2018-05-22(gftest) Multiple concrete categories for context generationInari Listenmaa
2018-05-21(gftest) Better pruning + add new command line optionInari Listenmaa
2018-04-06Add more helpful printouts if no grammar providedInari Listenmaa
2018-04-06Add a tool to generate test cases for GF grammarsInari Listenmaa