git.nguyen.vg Git - tatoo.git/atom - tests/xmark_0.xml.results/B10_jaxp.log historyTree Automata TOOlkithttp://git.nguyen.vg/gitweb/?p=tatoo.gitstatic/git-favicon.pngstatic/git-logo.png2013-12-03T23:02:02ZgitwebRename xmark test files so that the name order respects the size order.2013-12-03T23:02:02ZKim Nguyễnkn@lri.frKim Nguyễnkn@lri.fr2013-12-03T23:02:02Zhttp://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff;h=c2c22bf0d75a390c2538b9fce44aae63c542119a
Rename xmark test files so that the name order respects the size order.
Fix the gen_xmark script.
Add the results of reference implementations back.2013-12-01T08:20:06ZKim Nguyễnkn@lri.frKim Nguyễnkn@lri.fr2013-12-01T08:20:06Zhttp://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff;h=4c6227b270c2efe640654ce2a2151c1cc43ec1a1
Add the results of reference implementations back.