From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 12 Oct 2012 14:08:04 +0000 (+0200)
Subject: Merge branch 'master' of ssh://git.nguyen.vg/home/kim/repository/SXSI/xpathcomp
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=852a21ccb090cc11e996d7bae3322882cc694e3e;hp=7d26a502050836784010cabae6acedee8aa9a46c;p=SXSI%2Fxpathcomp.git

Merge branch 'master' of ssh://git.nguyen.vg/home/kim/repository/SXSI/xpathcomp
---

diff --git a/.gitignore b/.gitignore
index c921081..b0b1eeb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,5 @@ _build
 *.byte
 myocamlbuild_config.ml
 *.log
-*_swcsa.*
\ No newline at end of file
+*_swcsa.*
+tests/*
diff --git a/bugs/all/59c2eb816cf4_Wrong_result_for_jumping_from_root b/bugs/all/59c2eb816cf4_Wrong_result_for_jumping_from_root
new file mode 100644
index 0000000..1297d83
--- /dev/null
+++ b/bugs/all/59c2eb816cf4_Wrong_result_for_jumping_from_root
@@ -0,0 +1,19 @@
+title: Wrong result for jumping from root
+status: OPEN
+reported by: Kim Nguyen
+last modified: 2012-05-30 14:55:26+0200
+date: 2012-05-30 14:55:26+0200
+author: Kim Nguyen
+assigned to: Kim Nguyen
+
+-- opened by Kim Nguyen on 2012-05-30 14:55:26+0200
+
+Problem description:
+The jumping approximation return wrong results when jumping
+from the root node
+How to reproduce:
+<a><b/></a>
+/descendant::a does not return 1
+/descendant::b is ok
+/child::b is ok
+Proposed solution:
diff --git a/bugs/open/59c2eb816cf4_Wrong_result_for_jumping_from_root b/bugs/open/59c2eb816cf4_Wrong_result_for_jumping_from_root
new file mode 120000
index 0000000..08399db
--- /dev/null
+++ b/bugs/open/59c2eb816cf4_Wrong_result_for_jumping_from_root
@@ -0,0 +1 @@
+../all/59c2eb816cf4_Wrong_result_for_jumping_from_root
\ No newline at end of file