Kim Nguyễn [Thu, 1 Mar 2012 13:27:23 +0000 (14:27 +0100)]
Temporary commit for grammar stuff.
Kim Nguyễn [Thu, 1 Mar 2012 13:26:59 +0000 (14:26 +0100)]
Small optimization (replace lor 1 by + 1)
Kim Nguyễn [Thu, 1 Mar 2012 13:26:24 +0000 (14:26 +0100)]
Pass debugging flags to malloc.
Kim Nguyễn [Thu, 1 Mar 2012 13:25:56 +0000 (14:25 +0100)]
Update caching infrastructure to automatically resize when needed.
Kim Nguyễn [Thu, 1 Mar 2012 13:25:35 +0000 (14:25 +0100)]
Cosmetic changes.
Kim Nguyễn [Thu, 1 Mar 2012 13:25:07 +0000 (14:25 +0100)]
Cosmetic change.
Kim Nguyễn [Thu, 1 Mar 2012 13:24:30 +0000 (14:24 +0100)]
Enable gcc link time optimizations.
Kim Nguyễn [Thu, 1 Mar 2012 13:24:03 +0000 (14:24 +0100)]
Reduce output in verbose mode.
Kim Nguyễn [Tue, 28 Feb 2012 14:33:10 +0000 (15:33 +0100)]
Improve caching table:
- uses the first used index as an offset. Allows to store
compactly tables indexed by 10000, 10001, ... without storing
the first 10000 that are never accessed.
- resize automatically if lower offset is accessed
Prevent caching overflow for large automata.
Kim Nguyễn [Wed, 22 Feb 2012 21:43:32 +0000 (22:43 +0100)]
Remove support for outdated libGrammar, replaced by Grammar2
Kim Nguyễn [Wed, 22 Feb 2012 17:04:50 +0000 (18:04 +0100)]
Add *.{native,byte} to .gitignore
Kim Nguyễn [Wed, 22 Feb 2012 17:04:39 +0000 (18:04 +0100)]
Add Grammar related programs.
Kim Nguyễn [Wed, 22 Feb 2012 16:56:34 +0000 (17:56 +0100)]
Modify alarm to not treat the program's options as its own.
- Changes the way alarm is invoked:
alarm [options] -- program [program options]
Kim Nguyễn [Wed, 22 Feb 2012 16:54:15 +0000 (17:54 +0100)]
New run function based on rank2 grammars:
- hard-code the fact that there are 7 possible shape for bCNF rules of rank 2
- avoid allocating arrays to pass parametters around
- run the Gc less often.
Kim Nguyễn [Wed, 22 Feb 2012 16:53:34 +0000 (17:53 +0100)]
Add function to query the memory usage of the BP structure.
Kim Nguyễn [Wed, 22 Feb 2012 15:01:05 +0000 (16:01 +0100)]
Finish porting to the Grammar2 API
Kim Nguyễn [Wed, 22 Feb 2012 11:03:07 +0000 (12:03 +0100)]
Add function to cast tags to integers.
Kim Nguyễn [Wed, 22 Feb 2012 10:15:50 +0000 (11:15 +0100)]
Add missing functions in the grammar2 API.
Kim Nguyễn [Wed, 22 Feb 2012 09:17:56 +0000 (10:17 +0100)]
Fix indentation issues.
Kim Nguyễn [Wed, 22 Feb 2012 09:17:10 +0000 (10:17 +0100)]
Add grammar loading and indexing.
Kim Nguyễn [Wed, 22 Feb 2012 09:16:44 +0000 (10:16 +0100)]
Adds new tracing points in the grammar runtime.
Kim Nguyễn [Wed, 22 Feb 2012 09:15:34 +0000 (10:15 +0100)]
Changes the log format to include a timestamp.
Kim Nguyễn [Wed, 22 Feb 2012 09:14:40 +0000 (10:14 +0100)]
Add an extra parameter to cons so that it does not perform
ordered insertion w.r.t the unique ID.
Kim Nguyễn [Wed, 22 Feb 2012 09:14:21 +0000 (10:14 +0100)]
Various fixes to the old grammar interface
Kim Nguyễn [Wed, 22 Feb 2012 09:13:19 +0000 (10:13 +0100)]
Allow to pass an explicit destructor when registering a custom tag
for a given type.
Kim Nguyễn [Wed, 22 Feb 2012 09:12:24 +0000 (10:12 +0100)]
Add wrappers for sadakane's data structure.
Kim Nguyễn [Wed, 22 Feb 2012 09:11:29 +0000 (10:11 +0100)]
New version of the Grammar data-structure
Kim Nguyễn [Fri, 17 Feb 2012 17:02:05 +0000 (18:02 +0100)]
New version of the alarm utility.
Kim Nguyễn [Thu, 16 Feb 2012 18:08:19 +0000 (19:08 +0100)]
First attempt at having a grammar runtime.
Needs more work to optimize array allocation.
Kim Nguyễn [Thu, 16 Feb 2012 13:08:36 +0000 (14:08 +0100)]
Remove hard-coded acess to SXSI for tag operations.
* Now a data structure can register operations for tags via the Tag module.
Kim Nguyễn [Thu, 16 Feb 2012 07:48:49 +0000 (08:48 +0100)]
.
Kim Nguyễn [Thu, 16 Feb 2012 01:58:36 +0000 (02:58 +0100)]
Start making the code tag agnostic.
Kim Nguyễn [Thu, 16 Feb 2012 01:46:37 +0000 (02:46 +0100)]
Add a new tracer level for debugging grammar run.
Kim Nguyễn [Thu, 16 Feb 2012 01:46:18 +0000 (02:46 +0100)]
Add variance indicator to type.
Kim Nguyễn [Thu, 16 Feb 2012 01:45:36 +0000 (02:45 +0100)]
Finished fixing the pre-order traversal of the grammar.
Kim Nguyễn [Wed, 15 Feb 2012 18:09:37 +0000 (19:09 +0100)]
Temporary commit.
Kim Nguyễn [Tue, 14 Feb 2012 17:29:38 +0000 (18:29 +0100)]
Preliminary support for the grammar.
kim [Tue, 14 Feb 2012 14:29:12 +0000 (14:29 +0000)]
Merge branch 'local-library-split' into local-trunk
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1232
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
Kim Nguyễn [Tue, 14 Feb 2012 14:26:44 +0000 (15:26 +0100)]
Fix compile error in debug mode.
* depending on compilation flags, multiple definitions of module
Loc where occuring in the same file.
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