projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1efafef) | patch
Test cases from XPath-PT, script.
authorLucca Hirschi <lucca.hirschi@gmail.com>
Mon, 16 Jul 2012 12:38:00 +0000 (14:38 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Mon, 16 Jul 2012 12:38:00 +0000 (14:38 +0200)
commitcafb1946df00d3b6b1246199d17a2c1f21b06cb3
treec5a3dbc615bad75d2f99aee2f0d1e64554a4a41btree | snapshot
parent1efafef0e88ad043612ed631eaee31b38b79dfc6commit | diff
Test cases from XPath-PT, script.
80 files changed:
bench_test [new file with mode: 0755] blob
src/solve.ml diff | blob | history
tests/docs/XPath-PT.xml [new file with mode: 0644] blob
tests/queries/XPath-PT/A1.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A1.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/A2.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A2.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/A3.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A3.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/A4.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A4.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/A5.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A5.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/A6.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A6.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/A7.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A7.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/A8.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/A8.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B1.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B1.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B10.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B10.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B2.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B2.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B3.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B3.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B4.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B4.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B5.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B5.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B6.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B6.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B7.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B7.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B8.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B8.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/B9.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/B9.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/C1.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/C1.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/C2.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/C2.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/C3.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/C3.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/C4.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/C4.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/C5.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/C5.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/C6.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/C6.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/C7.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/C7.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/D1.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/D1.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/D2.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/D2.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/D3.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/D3.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/D4.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/D4.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/D5.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/D5.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E1.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E1.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E2.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E2.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E3.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E3.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E4.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E4.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E5.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E5.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E6.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E6.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E7.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E7.xpl.swr [new file with mode: 0644] blob
tests/queries/XPath-PT/E8.xpl [new file with mode: 0644] blob
tests/queries/XPath-PT/E8.xpl.swr [new file with mode: 0644] blob
tests/queries/test.qu [new file with mode: 0644] blob
Tree Automata TOOlkit