2011-02-07 |
kim | Restored the buggy jumping |
commit | commitdiff | tree | snapshot |
2011-02-07 |
kim | Added test program |
commit | commitdiff | tree | snapshot |
2011-02-07 |
kim | cherry pick from local- branch |
commit | commitdiff | tree | snapshot |
2011-02-07 |
kim | Random fixes |
commit | commitdiff | tree | snapshot |
2011-02-07 |
kim | . |
commit | commitdiff | tree | snapshot |
2011-02-07 |
kim | - Strip end of line white-spaces |
commit | commitdiff | tree | snapshot |
2011-02-07 |
kim | Add support for OCaml 3.12 |
commit | commitdiff | tree | snapshot |
2010-10-27 |
nvalimak | Added filename parameter for Save() and Load() |
commit | commitdiff | tree | snapshot |
2010-10-27 |
nvalimak | Added filename parameter for Save() and Load() |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Stable state. Includes fixes and tweaking of the cachin... |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Safety commit before clean-up |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Major optimization, rewrite to avoid deep recursion... |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Fixed nasty garbage collector setting |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Fast closure branch |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Safe closure version |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Exception less mainloop in ata.ml |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | I don't care |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | . |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | . |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Safety commit |
commit | commitdiff | tree | snapshot |
2010-04-28 |
kim | Added .gitignore |
commit | commitdiff | tree | snapshot |
2009-09-01 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-09-01 |
kim | various cleanups, more memoization in symbol table... |
commit | commitdiff | tree | snapshot |
2009-08-21 |
kim | Various cleanups |
commit | commitdiff | tree | snapshot |
2009-08-21 |
kim | Added -O3 for gonzalo's result sets |
commit | commitdiff | tree | snapshot |
2009-08-19 |
kim | Added benchmarking funtions, |
commit | commitdiff | tree | snapshot |
2009-08-19 |
kim | Safety before Techfest |
commit | commitdiff | tree | snapshot |
2009-08-19 |
kim | safety commit |
commit | commitdiff | tree | snapshot |
2009-06-06 |
kim | fixed compilation bug |
commit | commitdiff | tree | snapshot |
2009-06-06 |
kim | Safety commit |
commit | commitdiff | tree | snapshot |
2009-05-26 |
kim | added optimisations in the run function |
commit | commitdiff | tree | snapshot |
2009-05-26 |
kim | Fixed bug in NextElement, improved caching |
commit | commitdiff | tree | snapshot |
2009-05-26 |
kim | Fixed bug in collect_tags (Tree.ml) |
commit | commitdiff | tree | snapshot |
2009-05-20 |
kim | Removed debugg printing from main |
commit | commitdiff | tree | snapshot |
2009-05-20 |
kim | Added correct decision procedure |
commit | commitdiff | tree | snapshot |
2009-05-20 |
kim | Fixed caching bugs in ata.ml |
commit | commitdiff | tree | snapshot |
2009-05-18 |
kim | Expose the internal structure of Hconsed value |
commit | commitdiff | tree | snapshot |
2009-05-17 |
kim | Fixed uneeded free in get cached text |
commit | commitdiff | tree | snapshot |
2009-05-17 |
kim | fixed debugging code |
commit | commitdiff | tree | snapshot |
2009-05-17 |
kim | Added debugging messages |
commit | commitdiff | tree | snapshot |
2009-05-11 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-05-11 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-05-11 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-05-11 |
kim | Added test script |
commit | commitdiff | tree | snapshot |
2009-05-11 |
kim | Restored bottom up run |
commit | commitdiff | tree | snapshot |
2009-05-03 |
kim | Commit before branching to new XPath compilation |
commit | commitdiff | tree | snapshot |
2009-04-30 |
kim | Doing the decision procedure |
commit | commitdiff | tree | snapshot |
2009-04-30 |
kim | Removed deprecated StorageInterface |
commit | commitdiff | tree | snapshot |
2009-04-30 |
kim | Cleaned up every thing, prepared to remove deprecated... |
commit | commitdiff | tree | snapshot |
2009-04-30 |
kim | Further optimisations, changed the prototype of Tree.mli |
commit | commitdiff | tree | snapshot |
2009-04-30 |
kim | Commit before changing Tree.ml interface |
commit | commitdiff | tree | snapshot |
2009-04-27 |
kim | Optimized the topdown run yet again |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | Add new hlist module |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | Add some more optimization |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | Some more optimisations |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | removed cruft, fixed ptset.ml |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | New files refactoring the code |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | Fixed bug inverting the status of bureaucratic and... |
commit | commitdiff | tree | snapshot |
2009-04-26 |
kim | Half way through refactoring |
commit | commitdiff | tree | snapshot |
2009-04-26 |
fclaude | improvements... |
commit | commitdiff | tree | snapshot |
2009-04-21 |
kim | Cleaning dead code |
commit | commitdiff | tree | snapshot |
2009-04-17 |
kim | merge from local branch |
commit | commitdiff | tree | snapshot |
2009-04-17 |
kim | adding utils.ml |
commit | commitdiff | tree | snapshot |
2009-04-17 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-04-17 |
kim | bottom up run works for text nodes |
commit | commitdiff | tree | snapshot |
2009-04-02 |
kim | Add a testing program |
commit | commitdiff | tree | snapshot |
2009-04-02 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-03-29 |
fclaude | new timeXMLTree |
commit | commitdiff | tree | snapshot |
2009-03-25 |
kim | git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk... |
commit | commitdiff | tree | snapshot |
2009-03-24 |
fclaude | changes |
commit | commitdiff | tree | snapshot |
2009-03-24 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-03-24 |
fclaude | changes for compiling, OJO: Makefile in xpathcomp... |
commit | commitdiff | tree | snapshot |
2009-03-23 |
kim | fixed typo in print_xml_fast |
commit | commitdiff | tree | snapshot |
2009-03-23 |
kim | Merged -correctxpath branch |
commit | commitdiff | tree | snapshot |
2009-03-23 |
kim | Merged -correctxpath branch |
commit | commitdiff | tree | snapshot |
2009-03-11 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-03-11 |
kim | enhanced timeXMLTree |
commit | commitdiff | tree | snapshot |
2009-03-11 |
fclaude | patches |
commit | commitdiff | tree | snapshot |
2009-03-11 |
kim | bug fixes, added the count queries |
commit | commitdiff | tree | snapshot |
2009-03-11 |
kim | Changed clock() to gettimeofday() |
commit | commitdiff | tree | snapshot |
2009-03-11 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-03-11 |
kim | Added pure C++ timeing function |
commit | commitdiff | tree | snapshot |
2009-03-10 |
kim | Added naive contains |
commit | commitdiff | tree | snapshot |
2009-03-10 |
kim | merge from branch stable-succint-jumping |
commit | commitdiff | tree | snapshot |
2009-03-08 |
kim | Forgot to add unit_test.ml :( |
commit | commitdiff | tree | snapshot |
2009-03-08 |
kim | Added callback for PrevSibling |
commit | commitdiff | tree | snapshot |
2009-03-08 |
kim | Added unit_test file |
commit | commitdiff | tree | snapshot |
2009-03-02 |
kim | Merge from branch stable-succint-refactor |
commit | commitdiff | tree | snapshot |
2009-03-02 |
kim | Add back testing files, lost in previous commit |
commit | commitdiff | tree | snapshot |
2009-03-02 |
kim | Removed testing cruft |
commit | commitdiff | tree | snapshot |
2009-02-16 |
kim | Implement CachedText |
commit | commitdiff | tree | snapshot |
2009-02-16 |
kim | Merged from branch stable-succint-refactor |
commit | commitdiff | tree | snapshot |
2009-02-09 |
kim | Added missing files |
commit | commitdiff | tree | snapshot |
2009-02-09 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-02-09 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-02-09 |
kim | Added test cases |
commit | commitdiff | tree | snapshot |
2009-02-09 |
kim | Merge branch xpathcomp-succintbackend-refactor back... |
commit | commitdiff | tree | snapshot |
2009-01-30 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-01-30 |
kim | . |
commit | commitdiff | tree | snapshot |
next |