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

projects / SXSI / xpathcomp.git / search

2011-09-09	kim	Fix the help message and display of options.	commit \| commitdiff \| tree
2011-09-09	kim	Add -no-hygiene to ocamlbuild flags	commit \| commitdiff \| tree
2011-09-09	kim	Comment out unused options.	commit \| commitdiff \| tree
2011-09-09	kim	Update HACKING file with new build instructions	commit \| commitdiff \| tree
2011-09-09	kim	Merge branch 'local-ocamlbuild' into local-trunk	commit \| commitdiff \| tree
2011-09-09	kim	.	commit \| commitdiff \| tree
2011-02-07	kim	Changed building of tag tables and format.	commit \| commitdiff \| tree
2011-02-07	kim	Remove trailing white spaces	commit \| commitdiff \| tree
2011-02-07	kim	Restored the buggy jumping	commit \| commitdiff \| tree
2011-02-07	kim	Added test program	commit \| commitdiff \| tree
2011-02-07	kim	cherry pick from local- branch	commit \| commitdiff \| tree
2011-02-07	kim	Random 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	kim	Add support for OCaml 3.12	commit \| commitdiff \| tree
2010-04-28	kim	Stable state. Includes fixes and tweaking of the caching...	commit \| commitdiff \| tree
2010-04-28	kim	Safety commit before clean-up	commit \| commitdiff \| tree
2010-04-28	kim	Major optimization, rewrite to avoid deep recursion...	commit \| commitdiff \| tree
2010-04-28	kim	Fixed nasty garbage collector setting	commit \| commitdiff \| tree
2010-04-28	kim	Fast closure branch	commit \| commitdiff \| tree
2010-04-28	kim	Safe closure version	commit \| commitdiff \| tree
2010-04-28	kim	Exception less mainloop in ata.ml	commit \| commitdiff \| tree
2010-04-28	kim	I don't care	commit \| commitdiff \| tree
2010-04-28	kim	.	commit \| commitdiff \| tree
2010-04-28	kim	.	commit \| commitdiff \| tree
2010-04-28	kim	Safety commit	commit \| commitdiff \| tree
2010-04-28	kim	Added .gitignore	commit \| commitdiff \| tree
2009-09-01	kim	.	commit \| commitdiff \| tree
2009-09-01	kim	various cleanups, more memoization in symbol table...	commit \| commitdiff \| tree
2009-08-21	kim	Various cleanups	commit \| commitdiff \| tree
2009-08-21	kim	Added -O3 for gonzalo's result sets	commit \| commitdiff \| tree
2009-08-19	kim	Added benchmarking funtions,	commit \| commitdiff \| tree
2009-08-19	kim	Safety before Techfest	commit \| commitdiff \| tree
2009-08-19	kim	safety commit	commit \| commitdiff \| tree
2009-06-06	kim	fixed compilation bug	commit \| commitdiff \| tree
2009-06-06	kim	Safety commit	commit \| commitdiff \| tree
2009-05-26	kim	added optimisations in the run function	commit \| commitdiff \| tree
2009-05-26	kim	Fixed bug in NextElement, improved caching	commit \| commitdiff \| tree
2009-05-26	kim	Fixed bug in collect_tags (Tree.ml)	commit \| commitdiff \| tree
2009-05-20	kim	Removed debugg printing from main	commit \| commitdiff \| tree
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
next

XPath Library based on tree automata.

RSS Atom