projects / SXSI / xpathcomp.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Removed debugg printing from main
2009-05-20 kimRemoved debugg printing from main
 commit | commitdiff | tree
2009-05-20 kimAdded correct decision procedure
 commit | commitdiff | tree
2009-05-20 kimFixed caching bugs in ata.ml
 commit | commitdiff | tree
2009-05-18 kimExpose the internal structure of Hconsed value
 commit | commitdiff | tree
2009-05-17 kimFixed uneeded free in get cached text
 commit | commitdiff | tree
2009-05-17 kimfixed debugging code
 commit | commitdiff | tree
2009-05-17 kimAdded debugging messages
 commit | commitdiff | tree
2009-05-11 kim.
 commit | commitdiff | tree
2009-05-11 kim.
 commit | commitdiff | tree
2009-05-11 kim.
 commit | commitdiff | tree
2009-05-11 kimAdded test script
 commit | commitdiff | tree
2009-05-11 kimRestored bottom up run
 commit | commitdiff | tree
2009-05-03 kimCommit before branching to new XPath compilation
 commit | commitdiff | tree
2009-04-30 kimDoing the decision procedure
 commit | commitdiff | tree
2009-04-30 kimRemoved deprecated StorageInterface
 commit | commitdiff | tree
2009-04-30 kimCleaned up every thing, prepared to remove deprecated...
commit | commitdiff | tree
2009-04-30 kimFurther optimisations, changed the prototype of Tree.mli
 commit | commitdiff | tree
2009-04-30 kimCommit before changing Tree.ml interface
 commit | commitdiff | tree
2009-04-27 kimOptimized the topdown run yet again
 commit | commitdiff | tree
2009-04-26 kimAdd new hlist module
 commit | commitdiff | tree
2009-04-26 kimAdd some more optimization
 commit | commitdiff | tree
2009-04-26 kimSome more optimisations
 commit | commitdiff | tree
2009-04-26 kim.
 commit | commitdiff | tree
2009-04-26 kimremoved cruft, fixed ptset.ml
 commit | commitdiff | tree
2009-04-26 kimNew files refactoring the code
 commit | commitdiff | tree
2009-04-26 kimFixed bug inverting the status of bureaucratic and...
commit | commitdiff | tree
2009-04-26 kimHalf way through refactoring
 commit | commitdiff | tree
2009-04-21 kimCleaning dead code
 commit | commitdiff | tree
2009-04-17 kimmerge from local branch
 commit | commitdiff | tree
2009-04-17 kimadding utils.ml
 commit | commitdiff | tree
2009-04-17 kim.
 commit | commitdiff | tree
2009-04-17 kimbottom up run works for text nodes
 commit | commitdiff | tree
2009-04-02 kimAdd a testing program
 commit | commitdiff | tree
2009-04-02 kim.
 commit | commitdiff | tree
2009-03-25 kimgit-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk...
commit | commitdiff | tree
2009-03-24 kim.
 commit | commitdiff | tree
2009-03-23 kimfixed typo in print_xml_fast
 commit | commitdiff | tree
2009-03-23 kimMerged -correctxpath branch
 commit | commitdiff | tree
2009-03-23 kimMerged -correctxpath branch
 commit | commitdiff | tree
2009-03-11 kim.
 commit | commitdiff | tree
2009-03-11 kimenhanced timeXMLTree
 commit | commitdiff | tree
2009-03-11 kimbug fixes, added the count queries
 commit | commitdiff | tree
2009-03-11 kimChanged clock() to gettimeofday()
 commit | commitdiff | tree
2009-03-11 kim.
 commit | commitdiff | tree
2009-03-11 kimAdded pure C++ timeing function
 commit | commitdiff | tree
2009-03-10 kimAdded naive contains
 commit | commitdiff | tree
2009-03-10 kimmerge from branch stable-succint-jumping
 commit | commitdiff | tree
2009-03-08 kimForgot to add unit_test.ml :(
 commit | commitdiff | tree
2009-03-08 kimAdded callback for PrevSibling
 commit | commitdiff | tree
2009-03-08 kimAdded unit_test file
 commit | commitdiff | tree
2009-03-02 kimMerge from branch stable-succint-refactor
 commit | commitdiff | tree
2009-03-02 kimAdd back testing files, lost in previous commit
 commit | commitdiff | tree
2009-03-02 kimRemoved testing cruft
 commit | commitdiff | tree
2009-02-16 kimImplement CachedText
 commit | commitdiff | tree
2009-02-16 kimMerged from branch stable-succint-refactor
 commit | commitdiff | tree
2009-02-09 kimAdded missing files
 commit | commitdiff | tree
2009-02-09 kim.
 commit | commitdiff | tree
2009-02-09 kim.
 commit | commitdiff | tree
2009-02-09 kimAdded test cases
 commit | commitdiff | tree
2009-02-09 kimMerge branch xpathcomp-succintbackend-refactor back...
commit | commitdiff | tree
2009-01-30 kim.
 commit | commitdiff | tree
2009-01-30 kim.
 commit | commitdiff | tree
2009-01-29 kim.
 commit | commitdiff | tree
2009-01-29 kim.
 commit | commitdiff | tree
2009-01-29 kimSome more bugfixing for the contains.
 commit | commitdiff | tree
2009-01-29 kimModified the instructions
 commit | commitdiff | tree
2009-01-29 kimAdd serialization functions
 commit | commitdiff | tree
2009-01-28 kimActually commit the files.
 commit | commitdiff | tree
2009-01-28 kimAdded package dependecies
 commit | commitdiff | tree
2009-01-28 kim.
 commit | commitdiff | tree
2009-01-28 kimgit-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk...
commit | commitdiff | tree
2009-01-28 kimAdded parsing of command line options to set sample...
commit | commitdiff | tree
2009-01-27 kimFix stupid bug with Tag indices
 commit | commitdiff | tree
2009-01-27 kimEta expand (land) and (lor) to fun a b -> a land b
 commit | commitdiff | tree
2009-01-27 kimDon't index empty texts
 commit | commitdiff | tree
2009-01-27 kim- Removed the direct calls to TextCollection, use XMLTree...
commit | commitdiff | tree
2009-01-27 kim,
 commit | commitdiff | tree
2009-01-27 kim.
 commit | commitdiff | tree
2008-12-12 kim.
 commit | commitdiff | tree
2008-11-27 kim.
 commit | commitdiff | tree
2008-11-27 kimRemoved the debugging stuff.
 commit | commitdiff | tree
2008-11-27 kimBasic stuff should be working, need to remove debugging...
commit | commitdiff | tree
2008-11-25 kimMissing files in the previous commit.
 commit | commitdiff | tree
2008-11-25 kimReplaced OCamlBackend
 commit | commitdiff | tree
2008-11-21 kimtest case to debug : in predicates, only recurse on...
commit | commitdiff | tree
2008-11-21 kimInitial commit
 commit | commitdiff | tree
XPath Library based on tree automata.