projects / SXSI / xpathcomp.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Create branch trace-refactor
2012-02-05 kimCreate branch trace-refactor
 commit | commitdiff | tree
2012-02-05 kimAdd tracing infrastructure.
 commit | commitdiff | tree
2012-01-27 kimCreate branch trace-refactor
 commit | commitdiff | tree
2012-01-25 kimChange path to XMLTree library
 commit | commitdiff | tree
2012-01-25 kimAdd script to test XPath expressions (requires xmlstarlet)
 commit | commitdiff | tree
2012-01-19 kimFormatting/code clean-up.
 commit | commitdiff | tree
2012-01-19 kimAdd backward moves in the syntax of the automaton.
 commit | commitdiff | tree
2012-01-19 kimAdd performances counter option
 commit | commitdiff | tree
2011-12-03 kimClean-up readme and license file.
 commit | commitdiff | tree
2011-12-03 kimDon't explicitely use camlp4lib.cmxa but rely on ocamlfind...
commit | commitdiff | tree
2011-12-03 kimPurge libxml++ from build.
 commit | commitdiff | tree
2011-12-03 kimFix C++/OCaml wrappers.
 commit | commitdiff | tree
2011-12-03 kimFix: make .cpp files *really* depend on the local ...
commit | commitdiff | tree
2011-12-03 kimRefactoring, 1st tier:
 commit | commitdiff | tree
2011-12-03 kimChange queries according to Niko
 commit | commitdiff | tree
2011-12-03 kimAdd chrom5 queries
 commit | commitdiff | tree
2011-11-02 kimRemove unused function pr_mat()
 commit | commitdiff | tree
2011-11-02 kimUse TaggedNext for full subtree iteration instead of...
commit | commitdiff | tree
2011-09-13 kimFix bug in lexer preventig text and node from being...
commit | commitdiff | tree
2011-09-12 kimRefactoring and cosmetic changes
 commit | commitdiff | tree
2011-09-11 kimRefactoring and cosmetic changes
 commit | commitdiff | tree
2011-09-11 kimFix build process to return correct line-number for...
commit | commitdiff | tree
2011-09-11 kimAdd .gitignore file in tests/docs/, since git does...
commit | commitdiff | tree
2011-09-11 kimMerge souce-cleanup branch into trunk
Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
 commit | commitdiff | tree
2011-09-09 kimMore option printing fixes.
 commit | commitdiff | tree
2011-09-09 kimFix the help message and display of options.
 commit | commitdiff | tree
2011-09-09 kimAdd -no-hygiene to ocamlbuild flags
 commit | commitdiff | tree
2011-09-09 kimComment out unused options.
 commit | commitdiff | tree
2011-09-09 kimUpdate HACKING file with new build instructions
 commit | commitdiff | tree
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk
 commit | commitdiff | tree
2011-09-09 kim.
 commit | commitdiff | tree
2011-02-07 kimChanged building of tag tables and format.
 commit | commitdiff | tree
2011-02-07 kimRemove trailing white spaces
 commit | commitdiff | tree
2011-02-07 kimRestored the buggy jumping
 commit | commitdiff | tree
2011-02-07 kimAdded test program
 commit | commitdiff | tree
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
next
XPath Library based on tree automata.