Kim Nguyễn [Fri, 21 Dec 2012 13:17:02 +0000 (14:17 +0100)]
Add automata data structure.
Kim Nguyễn [Fri, 21 Dec 2012 13:16:39 +0000 (14:16 +0100)]
Remove AbsoluteDOS from the XPath AST.
Kim Nguyễn [Fri, 21 Dec 2012 10:31:06 +0000 (11:31 +0100)]
Use ocamlfind to invoke pa_macro appropriately.
Kim Nguyễn [Wed, 19 Dec 2012 15:33:58 +0000 (16:33 +0100)]
Compile again.
Kim Nguyễn [Wed, 12 Dec 2012 20:43:38 +0000 (21:43 +0100)]
Modify the run_test script.
Kim Nguyễn [Fri, 26 Oct 2012 15:44:25 +0000 (17:44 +0200)]
Merge branch 'master' of ssh://git.nguyen.vg/tatoo
Kim Nguyễn [Fri, 26 Oct 2012 15:38:57 +0000 (17:38 +0200)]
Cosmetic changes in the Patricia Tree code.
Kim Nguyễn [Mon, 24 Sep 2012 16:25:40 +0000 (18:25 +0200)]
Refactor the code to have a unique place for signature definition.
Re-architecture the code to have all signatures in the sigs.ml module.
Any signature which occurs at least twice in the code (e.g. in a.ml
and corresponding a.mli) is put in a module A in Sigs. The signature
can the be included in a.ml and its 'module type of' can be included
in a.mli.
private signatures can stay in the .ml files where they appear.
Lucca Hirschi [Fri, 29 Jun 2012 08:28:27 +0000 (10:28 +0200)]
With -f, we can read the XPath query in a file.
Lucca Hirschi [Fri, 29 Jun 2012 08:27:58 +0000 (10:27 +0200)]
Queries and script for testing.
Kim Nguyễn [Thu, 28 Jun 2012 16:58:36 +0000 (18:58 +0200)]
Remove spurious debugging statement.
Kim Nguyễn [Thu, 28 Jun 2012 16:47:21 +0000 (18:47 +0200)]
Add attributes to the test document.
Kim Nguyễn [Thu, 28 Jun 2012 16:46:53 +0000 (18:46 +0200)]
Add support for attribute nodes. Correctly escape special charaters
during printing.
Kim Nguyễn [Thu, 28 Jun 2012 16:15:46 +0000 (18:15 +0200)]
Add support for text elements in the XML document.
Kim Nguyễn [Thu, 28 Jun 2012 15:29:27 +0000 (17:29 +0200)]
Merge branch 'master' of ssh://git.nguyen.vg/tatoo
Conflicts:
.gitignore
Kim Nguyễn [Thu, 28 Jun 2012 15:28:28 +0000 (17:28 +0200)]
Add .gitignore and ignore result of compilation.
Lucca Hirschi [Thu, 28 Jun 2012 14:44:50 +0000 (16:44 +0200)]
.gitignore for test.native and _build
Kim Nguyễn [Thu, 28 Jun 2012 12:46:11 +0000 (14:46 +0200)]
Usable version:
- use ocamlbuild
- cherry pick Pretty, State, StateSet and Formula from SXSI
- Parsing of XML documents
Kim Nguyễn [Tue, 12 Jun 2012 16:37:20 +0000 (18:37 +0200)]
Add autoconf infrastructure, license, and macro files.