git.nguyen.vg Git - tatoo.git/history

2012-07-13	Lucca Hirschi	typo test.ml + Why the old asta is taken for building... Core+FS_tested	blob \| commitdiff \| raw
2012-07-13	Lucca Hirschi	fix a bug: attributes were considered as nodes -> using...	blob \| commitdiff \| raw \| diff to current
2012-07-13	Lucca Hirschi	minor in run + fix infinite loop, must think about...	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-13	Lucca Hirschi	solve.ml solves series of queries and ouptut onlt selec...	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit