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

projects / SXSI / xpathcomp.git / search

2009-05-20	kim	Added correct decision procedure	commit \| commitdiff \| tree
2009-05-20	kim	Fixed caching bugs in ata.ml	commit \| commitdiff \| tree
2009-05-18	kim	Expose the internal structure of Hconsed value	commit \| commitdiff \| tree
2009-05-17	kim	Fixed uneeded free in get cached text	commit \| commitdiff \| tree
2009-05-17	kim	fixed debugging code	commit \| commitdiff \| tree
2009-05-17	kim	Added 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	kim	Added test script	commit \| commitdiff \| tree
2009-05-11	kim	Restored bottom up run	commit \| commitdiff \| tree
2009-05-03	kim	Commit before branching to new XPath compilation	commit \| commitdiff \| tree
2009-04-30	kim	Doing the decision procedure	commit \| commitdiff \| tree
2009-04-30	kim	Removed deprecated StorageInterface	commit \| commitdiff \| tree
2009-04-30	kim	Cleaned up every thing, prepared to remove deprecated...	commit \| commitdiff \| tree
2009-04-30	kim	Further optimisations, changed the prototype of Tree.mli	commit \| commitdiff \| tree
2009-04-30	kim	Commit before changing Tree.ml interface	commit \| commitdiff \| tree
2009-04-27	kim	Optimized the topdown run yet again	commit \| commitdiff \| tree
2009-04-26	kim	Add new hlist module	commit \| commitdiff \| tree
2009-04-26	kim	Add some more optimization	commit \| commitdiff \| tree
2009-04-26	kim	Some more optimisations	commit \| commitdiff \| tree
2009-04-26	kim	.	commit \| commitdiff \| tree
2009-04-26	kim	removed cruft, fixed ptset.ml	commit \| commitdiff \| tree
2009-04-26	kim	New files refactoring the code	commit \| commitdiff \| tree
2009-04-26	kim	Fixed bug inverting the status of bureaucratic and...	commit \| commitdiff \| tree
2009-04-26	kim	Half way through refactoring	commit \| commitdiff \| tree
2009-04-21	kim	Cleaning dead code	commit \| commitdiff \| tree
2009-04-17	kim	merge from local branch	commit \| commitdiff \| tree
2009-04-17	kim	adding utils.ml	commit \| commitdiff \| tree
2009-04-17	kim	.	commit \| commitdiff \| tree
2009-04-17	kim	bottom up run works for text nodes	commit \| commitdiff \| tree
2009-04-02	kim	Add a testing program	commit \| commitdiff \| tree
2009-04-02	kim	.	commit \| commitdiff \| tree
2009-03-25	kim	git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk...	commit \| commitdiff \| tree
2009-03-24	kim	.	commit \| commitdiff \| tree
2009-03-23	kim	fixed typo in print_xml_fast	commit \| commitdiff \| tree
2009-03-23	kim	Merged -correctxpath branch	commit \| commitdiff \| tree
2009-03-23	kim	Merged -correctxpath branch	commit \| commitdiff \| tree
2009-03-11	kim	.	commit \| commitdiff \| tree
2009-03-11	kim	enhanced timeXMLTree	commit \| commitdiff \| tree
2009-03-11	kim	bug fixes, added the count queries	commit \| commitdiff \| tree
2009-03-11	kim	Changed clock() to gettimeofday()	commit \| commitdiff \| tree
2009-03-11	kim	.	commit \| commitdiff \| tree
2009-03-11	kim	Added pure C++ timeing function	commit \| commitdiff \| tree
2009-03-10	kim	Added naive contains	commit \| commitdiff \| tree
2009-03-10	kim	merge from branch stable-succint-jumping	commit \| commitdiff \| tree
2009-03-08	kim	Forgot to add unit_test.ml :(	commit \| commitdiff \| tree
2009-03-08	kim	Added callback for PrevSibling	commit \| commitdiff \| tree
2009-03-08	kim	Added unit_test file	commit \| commitdiff \| tree
2009-03-02	kim	Merge from branch stable-succint-refactor	commit \| commitdiff \| tree
2009-03-02	kim	Add back testing files, lost in previous commit	commit \| commitdiff \| tree
2009-03-02	kim	Removed testing cruft	commit \| commitdiff \| tree
2009-02-16	kim	Implement CachedText	commit \| commitdiff \| tree
2009-02-16	kim	Merged from branch stable-succint-refactor	commit \| commitdiff \| tree
2009-02-09	kim	Added missing files	commit \| commitdiff \| tree
2009-02-09	kim	.	commit \| commitdiff \| tree
2009-02-09	kim	.	commit \| commitdiff \| tree
2009-02-09	kim	Added test cases	commit \| commitdiff \| tree
2009-02-09	kim	Merge 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	kim	Some more bugfixing for the contains.	commit \| commitdiff \| tree
2009-01-29	kim	Modified the instructions	commit \| commitdiff \| tree
2009-01-29	kim	Add serialization functions	commit \| commitdiff \| tree
2009-01-28	kim	Actually commit the files.	commit \| commitdiff \| tree
2009-01-28	kim	Added package dependecies	commit \| commitdiff \| tree
2009-01-28	kim	.	commit \| commitdiff \| tree
2009-01-28	kim	git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk...	commit \| commitdiff \| tree
2009-01-28	kim	Added parsing of command line options to set sample...	commit \| commitdiff \| tree
2009-01-27	kim	Fix stupid bug with Tag indices	commit \| commitdiff \| tree
2009-01-27	kim	Eta expand (land) and (lor) to fun a b -> a land b	commit \| commitdiff \| tree
2009-01-27	kim	Don'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	kim	Removed the debugging stuff.	commit \| commitdiff \| tree
2008-11-27	kim	Basic stuff should be working, need to remove debugging...	commit \| commitdiff \| tree
2008-11-25	kim	Missing files in the previous commit.	commit \| commitdiff \| tree
2008-11-25	kim	Replaced OCamlBackend	commit \| commitdiff \| tree
2008-11-21	kim	test case to debug : in predicates, only recurse on...	commit \| commitdiff \| tree
2008-11-21	kim	Initial commit	commit \| commitdiff \| tree

XPath Library based on tree automata.

RSS Atom