projects / SXSI / xpathcomp.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cherry pick from local- branch
2011-02-07 kimcherry pick from local- branch
 commit | commitdiff | tree
2011-02-07 kimRandom fixes
 commit | commitdiff | tree
2011-02-07 kim.
 commit | commitdiff | tree
2011-02-07 kim- Strip end of line white-spaces
 commit | commitdiff | tree
2011-02-07 kimAdd support for OCaml 3.12
 commit | commitdiff | tree
2010-04-28 kimStable state. Includes fixes and tweaking of the caching...
commit | commitdiff | tree
2010-04-28 kimSafety commit before clean-up
 commit | commitdiff | tree
2010-04-28 kimMajor optimization, rewrite to avoid deep recursion...
commit | commitdiff | tree
2010-04-28 kimFixed nasty garbage collector setting
 commit | commitdiff | tree
2010-04-28 kimFast closure branch
 commit | commitdiff | tree
2010-04-28 kimSafe closure version
 commit | commitdiff | tree
2010-04-28 kimException less mainloop in ata.ml
 commit | commitdiff | tree
2010-04-28 kimI don't care
 commit | commitdiff | tree
2010-04-28 kim.
 commit | commitdiff | tree
2010-04-28 kim.
 commit | commitdiff | tree
2010-04-28 kimSafety commit
 commit | commitdiff | tree
2010-04-28 kimAdded .gitignore
 commit | commitdiff | tree
2009-09-01 kim.
 commit | commitdiff | tree
2009-09-01 kimvarious cleanups, more memoization in symbol table...
commit | commitdiff | tree
2009-08-21 kimVarious cleanups
 commit | commitdiff | tree
2009-08-21 kimAdded -O3 for gonzalo's result sets
 commit | commitdiff | tree
2009-08-19 kimAdded benchmarking funtions,
 commit | commitdiff | tree
2009-08-19 kimSafety before Techfest
 commit | commitdiff | tree
2009-08-19 kimsafety commit
 commit | commitdiff | tree
2009-06-06 kimfixed compilation bug
 commit | commitdiff | tree
2009-06-06 kimSafety commit
 commit | commitdiff | tree
2009-05-26 kimadded optimisations in the run function
 commit | commitdiff | tree
2009-05-26 kimFixed bug in NextElement, improved caching
 commit | commitdiff | tree
2009-05-26 kimFixed bug in collect_tags (Tree.ml)
 commit | commitdiff | tree
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
next
XPath Library based on tree automata.