git.nguyen.vg Git - SXSI/xpathcomp.git/history

projects / SXSI / xpathcomp.git / history

2009-04-30	kim	Further optimisations, changed the prototype of Tree.mli	blob \| commitdiff \| raw
2009-04-30	kim	Commit before changing Tree.ml interface	blob \| commitdiff \| raw \| diff to current
2009-04-27	kim	Optimized the topdown run yet again	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	Add some more optimization	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	Some more optimisations	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	.	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	removed cruft, fixed ptset.ml	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	Fixed bug inverting the status of bureaucratic and...	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	Half way through refactoring	blob \| commitdiff \| raw \| diff to current
2009-04-21	kim	Cleaning dead code	blob \| commitdiff \| raw \| diff to current
2009-04-17	kim	merge from local branch	blob \| commitdiff \| raw \| diff to current
2009-04-17	kim	bottom up run works for text nodes	blob \| commitdiff \| raw \| diff to current
2009-03-24	kim	.	blob \| commitdiff \| raw \| diff to current
2009-03-23	kim	Merged -correctxpath branch	blob \| commitdiff \| raw \| diff to current
2009-03-11	kim	bug fixes, added the count queries	blob \| commitdiff \| raw \| diff to current
2009-03-10	kim	merge from branch stable-succint-jumping	blob \| commitdiff \| raw \| diff to current
2009-03-02	kim	Merge from branch stable-succint-refactor	blob \| commitdiff \| raw \| diff to current
2009-03-02	kim	Removed testing cruft	blob \| commitdiff \| raw \| diff to current
2009-02-16	kim	Merged from branch stable-succint-refactor	blob \| commitdiff \| raw \| diff to current
2009-02-09	kim	Added missing files	blob \| commitdiff \| raw \| diff to current

XPath Library based on tree automata.

RSS Atom