Kim Nguyễn [Tue, 14 Feb 2012 14:25:42 +0000 (15:25 +0100)]
Add Tom's Grammar work to the build script. Requires libGrammar.a
kim [Mon, 13 Feb 2012 15:22:55 +0000 (15:22 +0000)]
Revert changes for following-sibling jumping function for now.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1211
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 13 Feb 2012 15:22:52 +0000 (15:22 +0000)]
Change configure script to use separate libraries.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1210
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 7 Feb 2012 17:23:28 +0000 (17:23 +0000)]
Temporary commit.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1197
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 5 Feb 2012 18:57:29 +0000 (18:57 +0000)]
Create branch trace-refactor
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1196
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 5 Feb 2012 18:54:18 +0000 (18:54 +0000)]
Add tracing infrastructure.
Adds the tracing instruction:
TRACE(t, l, __ format arg1 arg2 ... argn)
where t is a tracer (that can be enabled on the command line) and
l is a level. Any TRACE whose level is below the one specified on
the command line for the tracer is printed.
The project is built without -trace, the TRACE() command is a noop.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1194
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 27 Jan 2012 14:02:27 +0000 (14:02 +0000)]
Create branch trace-refactor
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1193
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 25 Jan 2012 23:11:00 +0000 (23:11 +0000)]
Change path to XMLTree library
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1192
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 25 Jan 2012 23:10:56 +0000 (23:10 +0000)]
Add script to test XPath expressions (requires xmlstarlet)
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1191
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 19 Jan 2012 10:12:43 +0000 (10:12 +0000)]
Formatting/code clean-up.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1187
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 19 Jan 2012 09:48:52 +0000 (09:48 +0000)]
Add backward moves in the syntax of the automaton.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1186
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 19 Jan 2012 09:48:50 +0000 (09:48 +0000)]
Add performances counter option
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1185
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 22:45:15 +0000 (22:45 +0000)]
Clean-up readme and license file.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1184
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 21:52:24 +0000 (21:52 +0000)]
Don't explicitely use camlp4lib.cmxa but rely on ocamlfind to include it.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1183
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 21:52:22 +0000 (21:52 +0000)]
Purge libxml++ from build.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1182
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 21:52:20 +0000 (21:52 +0000)]
Fix C++/OCaml wrappers.
- sxsi_alloc_custom<X>() Allocate an OCaml_custom block holding a
C++ value of type X
Values of type X where X is a pointer type
*must* be allocated with new. delete will be
called when the custom_block is finalized by
the garbage collector
- Obj_val<X>(value v) Extract a C++ value of type X from a custom
Block v
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1181
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 21:52:18 +0000 (21:52 +0000)]
Fix: make .cpp files *really* depend on the local .hpp file they include.
Fixes a long-standing bug caused by ocamlbuild not being freaking documented.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1180
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 21:52:16 +0000 (21:52 +0000)]
Refactoring, 1st tier:
- replace libxml++-2.6 by ocaml-expat
- kill XMLDocSchredder.*
- move common OCaml/C++ utility functions in common_stub.{hpp,cpp}
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1179
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 21:52:14 +0000 (21:52 +0000)]
Change queries according to Niko
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1178
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sat, 3 Dec 2011 21:52:13 +0000 (21:52 +0000)]
Add chrom5 queries
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1177
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 2 Nov 2011 00:42:55 +0000 (00:42 +0000)]
Remove unused function pr_mat()
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1162
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 2 Nov 2011 00:42:52 +0000 (00:42 +0000)]
Use TaggedNext for full subtree iteration instead of TaggedDesc/TaggedFoll
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1161
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 13 Sep 2011 16:54:54 +0000 (16:54 +0000)]
Fix bug in lexer preventig text and node from being valid tag names
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1144
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 12 Sep 2011 06:21:44 +0000 (06:21 +0000)]
Refactoring and cosmetic changes
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1130
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 11 Sep 2011 12:31:12 +0000 (12:31 +0000)]
Refactoring and cosmetic changes
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1129
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 11 Sep 2011 12:31:09 +0000 (12:31 +0000)]
Fix build process to return correct line-number for preprocessed files.
* make camlp4 return ocaml ast instead of plain .ml files
* pass -unsafe option to camlp4 instead of ocamlopt
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1128
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 11 Sep 2011 12:31:05 +0000 (12:31 +0000)]
Add .gitignore file in tests/docs/, since git does not support having
empty directory in the repository.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1127
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 11 Sep 2011 10:29:25 +0000 (10:29 +0000)]
Merge souce-cleanup branch into trunk
commit
ba114b05f50873f0d53162bed0b6ffef1f752999
Author: kim <kim@
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca>
Date: Fri Sep 9 20:21:09 2011 +0000
Allow .srx files.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/source-cleanup@1123
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
commit
66a7c8f34ae95ac386c4dd310c9295f92e7d4869
Author: kim <kim@
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca>
Date: Fri Sep 9 20:21:07 2011 +0000
Add symbolic links to test directory and modify .gitignore to allow them
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/source-cleanup@1122
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
commit
aff0f93a0945c587b8ef1925d207c06f6a0792b3
Author: kim <kim@
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca>
Date: Fri Sep 9 19:49:43 2011 +0000
Clean-up the test directory
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/source-cleanup@1121
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
commit
390f6951eef155e6a4a5cb2847f14e11d38b2691
Author: kim <kim@
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca>
Date: Fri Sep 9 19:33:30 2011 +0000
Create branch source-cleanup
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/source-cleanup@1120
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1124
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
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