summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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
kim [Fri, 17 Apr 2009 00:15:38 +0000 (00:15 +0000)]
adding utils.ml
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@326
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 17 Apr 2009 00:10:45 +0000 (00:10 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@325
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 17 Apr 2009 00:07:56 +0000 (00:07 +0000)]
bottom up run works for text nodes
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@324
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 2 Apr 2009 03:08:52 +0000 (03:08 +0000)]
Add a testing program
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@305
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 2 Apr 2009 03:08:39 +0000 (03:08 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@304
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Sun, 29 Mar 2009 17:24:18 +0000 (17:24 +0000)]
new timeXMLTree
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@299
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 25 Mar 2009 21:13:29 +0000 (21:13 +0000)]
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@294
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Tue, 24 Mar 2009 22:25:26 +0000 (22:25 +0000)]
changes
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@291
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 24 Mar 2009 07:05:54 +0000 (07:05 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@286
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Tue, 24 Mar 2009 03:07:59 +0000 (03:07 +0000)]
changes for compiling, OJO: Makefile in xpathcomp modified
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@280
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 23 Mar 2009 05:53:51 +0000 (05:53 +0000)]
fixed typo in print_xml_fast
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@270
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 23 Mar 2009 04:00:59 +0000 (04:00 +0000)]
Merged -correctxpath branch
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@269
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 23 Mar 2009 04:00:45 +0000 (04:00 +0000)]
Merged -correctxpath branch
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@268
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 23:37:55 +0000 (23:37 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@254
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 23:37:43 +0000 (23:37 +0000)]
enhanced timeXMLTree
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@253
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
fclaude [Wed, 11 Mar 2009 17:05:27 +0000 (17:05 +0000)]
patches
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@252
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 04:03:20 +0000 (04:03 +0000)]
bug fixes, added the count queries
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@246
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 04:03:07 +0000 (04:03 +0000)]
Changed clock() to gettimeofday()
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@245
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 01:38:53 +0000 (01:38 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@244
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 11 Mar 2009 00:27:55 +0000 (00:27 +0000)]
Added pure C++ timeing function
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@242
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 10 Mar 2009 01:42:27 +0000 (01:42 +0000)]
Added naive contains
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@233
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 10 Mar 2009 00:30:18 +0000 (00:30 +0000)]
merge from branch stable-succint-jumping
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@231
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 8 Mar 2009 08:13:40 +0000 (08:13 +0000)]
Forgot to add unit_test.ml :(
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@219
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 8 Mar 2009 05:07:34 +0000 (05:07 +0000)]
Added callback for PrevSibling
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@217
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Sun, 8 Mar 2009 05:07:21 +0000 (05:07 +0000)]
Added unit_test file
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@216
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 2 Mar 2009 02:04:50 +0000 (02:04 +0000)]
Merge from branch stable-succint-refactor
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@194
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 2 Mar 2009 00:37:16 +0000 (00:37 +0000)]
Add back testing files, lost in previous commit
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@192
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 2 Mar 2009 00:36:59 +0000 (00:36 +0000)]
Removed testing cruft
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@191
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 16 Feb 2009 01:06:56 +0000 (01:06 +0000)]
Implement CachedText
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@181
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 16 Feb 2009 00:07:48 +0000 (00:07 +0000)]
Merged from branch stable-succint-refactor
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@179
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 9 Feb 2009 07:48:55 +0000 (07:48 +0000)]
Added missing files
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@153
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 9 Feb 2009 06:39:31 +0000 (06:39 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@152
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 9 Feb 2009 06:37:30 +0000 (06:37 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@151
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 9 Feb 2009 06:37:08 +0000 (06:37 +0000)]
Added test cases
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@150
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Mon, 9 Feb 2009 06:16:32 +0000 (06:16 +0000)]
Merge branch xpathcomp-succintbackend-refactor back to trunk
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@149
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 30 Jan 2009 05:43:27 +0000 (05:43 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@98
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 30 Jan 2009 05:24:49 +0000 (05:24 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@97
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 29 Jan 2009 11:02:56 +0000 (11:02 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@94
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 29 Jan 2009 08:37:20 +0000 (08:37 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@93
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 29 Jan 2009 08:19:51 +0000 (08:19 +0000)]
Some more bugfixing for the contains.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@92
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 29 Jan 2009 03:49:52 +0000 (03:49 +0000)]
Modified the instructions
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@89
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 29 Jan 2009 03:47:19 +0000 (03:47 +0000)]
Add serialization functions
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@88
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Jan 2009 23:45:00 +0000 (23:45 +0000)]
Actually commit the files.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@87
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Jan 2009 04:07:30 +0000 (04:07 +0000)]
Added package dependecies
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@86
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Jan 2009 04:05:17 +0000 (04:05 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@85
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Jan 2009 03:52:45 +0000 (03:52 +0000)]
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@84
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Wed, 28 Jan 2009 02:42:48 +0000 (02:42 +0000)]
Added parsing of command line options to set sample factor, disabling storage
of empty text and disabling use of text collection
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@82
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 27 Jan 2009 22:33:46 +0000 (22:33 +0000)]
Fix stupid bug with Tag indices
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@80
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 27 Jan 2009 22:24:33 +0000 (22:24 +0000)]
Eta expand (land) and (lor) to fun a b -> a land b
fun a b -> a lor b, not supported in ocaml 3.10.0
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@79
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 27 Jan 2009 14:53:07 +0000 (14:53 +0000)]
Don't index empty texts
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@75
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 27 Jan 2009 13:14:54 +0000 (13:14 +0000)]
- Removed the direct calls to TextCollection, use XMLTree wrapper instead
- Fix the Makefile
- Delete crutf
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@73
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 27 Jan 2009 12:15:17 +0000 (12:15 +0000)]
,
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@68
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 27 Jan 2009 10:48:06 +0000 (10:48 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@67
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 12 Dec 2008 11:16:51 +0000 (11:16 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@25
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 27 Nov 2008 23:39:49 +0000 (23:39 +0000)]
.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@21
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 27 Nov 2008 09:04:56 +0000 (09:04 +0000)]
Removed the debugging stuff.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@20
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Thu, 27 Nov 2008 08:55:20 +0000 (08:55 +0000)]
Basic stuff should be working, need to remove debugging instructions!
That's it for tonight.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@19
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 25 Nov 2008 04:04:09 +0000 (04:04 +0000)]
Missing files in the previous commit.
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@14
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Tue, 25 Nov 2008 04:03:42 +0000 (04:03 +0000)]
Replaced OCamlBackend
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@13
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 21 Nov 2008 07:36:20 +0000 (07:36 +0000)]
test case to debug : in predicates, only recurse on left child for the first step,
not the right
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@4
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
kim [Fri, 21 Nov 2008 05:00:50 +0000 (05:00 +0000)]
Initial commit
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca