Defunctorize the ResJIT module.

Remove -flto from the linking phase.

Move the L3JIT to the ResJIT module.

Ensure that the c++ flags defined in myocamlbuild_config.ml.in are passed
to ocamlopt for linking.

Finaly clean up formula representation.

Change inlining parameter to 1000 again.

Factorize code in ResJIT.ml

Add query

Add performance tests

Fix test scripts.

Ignore .g files (grammar).

Make the tree/text interface more flexible to various text index.

Small refactoring:
      - split subtree/subtree_tag marking into separate function
      - general clean-up
      - comment out some grammar related stuff

Remove the need for a NOP operation in automata bytecode.

Clean-up Hcons module:
 - remove dead code
 - avoid one allocation.

Add iteri function to traverse cache data structures.

Sort and remove duplicate from text query results (needed for the
word-based text index).

Add a C implementation of leading_bit and clz to optimize Patricia tree
library.

Update compilation flag:
       - change the value of inlining for OCaml code
       - pass -O3 as a flag to the C/C++ compiler

Add text-attribute tags to the star tagset.

Put grammar stuff.

Update parsing of tree.

Cosmetic changes.

Cosmetic changes.

Add grammar related function to result sets (2/2).

Add grammar related function to result sets.

Update to new caching infrastructure.

Temporary commit for grammar stuff.

Small optimization (replace lor 1 by + 1)

Pass debugging flags to malloc.

Update caching infrastructure to automatically resize when needed.

Cosmetic changes.

Cosmetic change.

Enable gcc link time optimizations.

Reduce output in verbose mode.

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.

Remove support for outdated libGrammar, replaced by Grammar2

Add *.{native,byte} to .gitignore

Add Grammar related programs.

Modify alarm to not treat the program's options as its own.
       - Changes the way alarm is invoked:
       alarm [options] -- program [program options]

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.

Add function to query the memory usage of the BP structure.

Finish porting to the Grammar2 API

Add function to cast tags to integers.

Add missing functions in the grammar2 API.

Fix indentation issues.

Add grammar loading and indexing.

Adds new tracing points in the grammar runtime.

Changes the log format to include a timestamp.

Add an extra parameter to cons so that it does not perform
ordered insertion w.r.t the unique ID.

Various fixes to the old grammar interface

Allow to pass an explicit destructor when registering a custom tag
for a given type.

Add wrappers for sadakane's data structure.

New version of the Grammar data-structure

New version of the alarm utility.

First attempt at having a grammar runtime.
Needs more work to optimize array allocation.

Remove hard-coded acess to SXSI for tag operations.
       * Now a data structure can register operations for tags via the Tag module.

.

Start making the code tag agnostic.

Add a new tracer level for debugging grammar run.

Add variance indicator to type.

Finished fixing the pre-order traversal of the grammar.

Temporary commit.

Preliminary support for the grammar.

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

Fix compile error in debug mode.
    * depending on compilation flags, multiple definitions of module
      Loc where occuring in the same file.

Add Tom's Grammar work to the build script. Requires libGrammar.a

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

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

Temporary commit.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1197 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Create branch trace-refactor

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1196 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

Create branch trace-refactor

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1193 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Change path to XMLTree library

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1192 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

Formatting/code clean-up.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1187 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

Add performances counter option

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1185 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Clean-up readme and license file.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1184 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

Purge libxml++ from build.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1182 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

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

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

Change queries according to Niko

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1178 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Add chrom5 queries

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1177 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Remove unused function pr_mat()

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1162 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

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

Refactoring and cosmetic changes

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1130 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Refactoring and cosmetic changes

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1129 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

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

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

More option printing fixes.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1119 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

Add -no-hygiene to ocamlbuild flags

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1117 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Comment out unused options.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1115 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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

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