summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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.