kim [Fri, 9 Sep 2011 19:26:13 +0000 (19:26 +0000)]
More option printing fixes.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1119
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 9 Sep 2011 19:26:08 +0000 (19:26 +0000)]
Fix the help message and display of options.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1118
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 9 Sep 2011 19:25:52 +0000 (19:25 +0000)]
Add -no-hygiene to ocamlbuild flags
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1117
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 9 Sep 2011 16:01:51 +0000 (16:01 +0000)]
Comment out unused options.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1115
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 9 Sep 2011 16:01:49 +0000 (16:01 +0000)]
Update HACKING file with new build instructions
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1114
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 9 Sep 2011 15:43:02 +0000 (15:43 +0000)]
Merge branch 'local-ocamlbuild' into local-trunk
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1113
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 9 Sep 2011 15:42:52 +0000 (15:42 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1112
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 17:32:35 +0000 (17:32 +0000)]
Changed building of tag tables and format.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@954
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 17:32:33 +0000 (17:32 +0000)]
Remove trailing white spaces
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@953
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 13:23:36 +0000 (13:23 +0000)]
Restored the buggy jumping
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@951
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 13:23:34 +0000 (13:23 +0000)]
Added test program
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@950
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 13:23:30 +0000 (13:23 +0000)]
cherry pick from local- branch
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@949
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 13:23:28 +0000 (13:23 +0000)]
Random fixes
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@948
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 13:23:24 +0000 (13:23 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@947
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 13:23:22 +0000 (13:23 +0000)]
- Strip end of line white-spaces
- Add full-traversal over pointers
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@946
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 7 Feb 2011 13:23:19 +0000 (13:23 +0000)]
Add support for OCaml 3.12
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@945
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
nvalimak [Wed, 27 Oct 2010 13:33:11 +0000 (13:33 +0000)]
Added filename parameter for Save() and Load()
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@922
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
nvalimak [Wed, 27 Oct 2010 13:33:03 +0000 (13:33 +0000)]
Added filename parameter for Save() and Load()
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@921
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:47:14 +0000 (06:47 +0000)]
Stable state. Includes fixes and tweaking of the caching of automata.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@812
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:47:01 +0000 (06:47 +0000)]
Safety commit before clean-up
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@811
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:46:48 +0000 (06:46 +0000)]
Major optimization, rewrite to avoid deep recursion if possible.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@810
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:46:34 +0000 (06:46 +0000)]
Fixed nasty garbage collector setting
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@809
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:46:22 +0000 (06:46 +0000)]
Fast closure branch
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@808
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:46:09 +0000 (06:46 +0000)]
Safe closure version
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@807
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:45:56 +0000 (06:45 +0000)]
Exception less mainloop in ata.ml
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@806
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:45:43 +0000 (06:45 +0000)]
I don't care
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@805
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:45:31 +0000 (06:45 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@804
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:45:18 +0000 (06:45 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@803
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 06:45:00 +0000 (06:45 +0000)]
Safety commit
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@802
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Apr 2010 01:46:26 +0000 (01:46 +0000)]
Added .gitignore
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@791
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 1 Sep 2009 22:32:20 +0000 (22:32 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@561
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 1 Sep 2009 22:32:05 +0000 (22:32 +0000)]
various cleanups, more memoization in symbol table build function
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@560
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 21 Aug 2009 00:29:10 +0000 (00:29 +0000)]
Various cleanups
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@558
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 21 Aug 2009 00:28:53 +0000 (00:28 +0000)]
Added -O3 for gonzalo's result sets
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@557
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 19 Aug 2009 21:10:21 +0000 (21:10 +0000)]
Added benchmarking funtions,
Need to debug symbol table generaion.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@555
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 19 Aug 2009 01:59:43 +0000 (01:59 +0000)]
Safety before Techfest
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@552
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 19 Aug 2009 01:59:25 +0000 (01:59 +0000)]
safety commit
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@551
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 6 Jun 2009 03:53:43 +0000 (03:53 +0000)]
fixed compilation bug
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@430
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 6 Jun 2009 03:46:01 +0000 (03:46 +0000)]
Safety commit
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@428
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 26 May 2009 15:47:33 +0000 (15:47 +0000)]
added optimisations in the run function
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@411
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 26 May 2009 15:47:18 +0000 (15:47 +0000)]
Fixed bug in NextElement, improved caching
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@410
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 26 May 2009 15:47:04 +0000 (15:47 +0000)]
Fixed bug in collect_tags (Tree.ml)
Tag Table was wrong (following copied in descendant tags too)
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@409
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 20 May 2009 06:44:05 +0000 (06:44 +0000)]
Removed debugg printing from main
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@408
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 20 May 2009 06:38:56 +0000 (06:38 +0000)]
Added correct decision procedure
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@407
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 20 May 2009 06:38:43 +0000 (06:38 +0000)]
Fixed caching bugs in ata.ml
removed debugging stuff in print_xml_fast (tree.ml)
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@406
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 18 May 2009 15:54:27 +0000 (15:54 +0000)]
Expose the internal structure of Hconsed value
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@397
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 17 May 2009 08:17:05 +0000 (08:17 +0000)]
Fixed uneeded free in get cached text
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@396
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 17 May 2009 07:41:16 +0000 (07:41 +0000)]
fixed debugging code
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@394
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 17 May 2009 07:22:43 +0000 (07:22 +0000)]
Added debugging messages
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@392
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 11 May 2009 07:02:35 +0000 (07:02 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@387
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 11 May 2009 07:01:21 +0000 (07:01 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@386
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 11 May 2009 06:55:26 +0000 (06:55 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@385
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 11 May 2009 06:51:57 +0000 (06:51 +0000)]
Added test script
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@384
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 11 May 2009 05:32:40 +0000 (05:32 +0000)]
Restored bottom up run
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@382
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 3 May 2009 04:11:30 +0000 (04:11 +0000)]
Commit before branching to new XPath compilation
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@370
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 30 Apr 2009 14:25:42 +0000 (14:25 +0000)]
Doing the decision procedure
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@369
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 30 Apr 2009 14:25:29 +0000 (14:25 +0000)]
Removed deprecated StorageInterface
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@368
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 30 Apr 2009 14:25:16 +0000 (14:25 +0000)]
Cleaned up every thing, prepared to remove deprecated interface.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@367
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 30 Apr 2009 14:25:01 +0000 (14:25 +0000)]
Further optimisations, changed the prototype of Tree.mli
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@366
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 30 Apr 2009 14:24:47 +0000 (14:24 +0000)]
Commit before changing Tree.ml interface
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@365
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 27 Apr 2009 12:52:22 +0000 (12:52 +0000)]
Optimized the topdown run yet again
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@362
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 15:44:03 +0000 (15:44 +0000)]
Add new hlist module
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@360
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 15:43:51 +0000 (15:43 +0000)]
Add some more optimization
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@359
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 15:10:41 +0000 (15:10 +0000)]
Some more optimisations
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@358
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 15:10:27 +0000 (15:10 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@357
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 15:10:13 +0000 (15:10 +0000)]
removed cruft, fixed ptset.ml
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@356
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 10:30:24 +0000 (10:30 +0000)]
New files refactoring the code
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@355
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 09:53:56 +0000 (09:53 +0000)]
Fixed bug inverting the status of bureaucratic and non-bureaucratic transitions
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@354
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 26 Apr 2009 09:53:41 +0000 (09:53 +0000)]
Half way through refactoring
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@353
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Sun, 26 Apr 2009 04:01:12 +0000 (04:01 +0000)]
improvements...
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@345
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 21 Apr 2009 10:13:56 +0000 (10:13 +0000)]
Cleaning dead code
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@344
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 17 Apr 2009 06:45:29 +0000 (06:45 +0000)]
merge from local branch
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@328
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 17 Apr 2009 00:15:38 +0000 (00:15 +0000)]
adding utils.ml
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@326
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 17 Apr 2009 00:10:45 +0000 (00:10 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@325
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 17 Apr 2009 00:07:56 +0000 (00:07 +0000)]
bottom up run works for text nodes
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@324
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 2 Apr 2009 03:08:52 +0000 (03:08 +0000)]
Add a testing program
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@305
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 2 Apr 2009 03:08:39 +0000 (03:08 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@304
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Sun, 29 Mar 2009 17:24:18 +0000 (17:24 +0000)]
new timeXMLTree
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@299
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 25 Mar 2009 21:13:29 +0000 (21:13 +0000)]
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@294
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Tue, 24 Mar 2009 22:25:26 +0000 (22:25 +0000)]
changes
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@291
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 24 Mar 2009 07:05:54 +0000 (07:05 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@286
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Tue, 24 Mar 2009 03:07:59 +0000 (03:07 +0000)]
changes for compiling, OJO: Makefile in xpathcomp modified
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@280
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 23 Mar 2009 05:53:51 +0000 (05:53 +0000)]
fixed typo in print_xml_fast
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@270
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 23 Mar 2009 04:00:59 +0000 (04:00 +0000)]
Merged -correctxpath branch
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@269
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 23 Mar 2009 04:00:45 +0000 (04:00 +0000)]
Merged -correctxpath branch
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@268
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 23:37:55 +0000 (23:37 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@254
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 23:37:43 +0000 (23:37 +0000)]
enhanced timeXMLTree
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@253
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Wed, 11 Mar 2009 17:05:27 +0000 (17:05 +0000)]
patches
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@252
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 04:03:20 +0000 (04:03 +0000)]
bug fixes, added the count queries
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@246
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 04:03:07 +0000 (04:03 +0000)]
Changed clock() to gettimeofday()
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@245
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 01:38:53 +0000 (01:38 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@244
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 00:27:55 +0000 (00:27 +0000)]
Added pure C++ timeing function
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@242
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 10 Mar 2009 01:42:27 +0000 (01:42 +0000)]
Added naive contains
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@233
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 10 Mar 2009 00:30:18 +0000 (00:30 +0000)]
merge from branch stable-succint-jumping
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@231
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 8 Mar 2009 08:13:40 +0000 (08:13 +0000)]
Forgot to add unit_test.ml :(
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@219
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 8 Mar 2009 05:07:34 +0000 (05:07 +0000)]
Added callback for PrevSibling
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@217
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 8 Mar 2009 05:07:21 +0000 (05:07 +0000)]
Added unit_test file
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@216
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 2 Mar 2009 02:04:50 +0000 (02:04 +0000)]
Merge from branch stable-succint-refactor
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@194
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 2 Mar 2009 00:37:16 +0000 (00:37 +0000)]
Add back testing files, lost in previous commit
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@192
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 2 Mar 2009 00:36:59 +0000 (00:36 +0000)]
Removed testing cruft
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@191
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca