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 |
2009-01-29 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-01-29 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-01-29 |
kim | Some more bugfixing for the contains. |
commit | commitdiff | tree | snapshot |
2009-01-29 |
kim | Modified the instructions |
commit | commitdiff | tree | snapshot |
2009-01-29 |
kim | Add serialization functions |
commit | commitdiff | tree | snapshot |
2009-01-28 |
kim | Actually commit the files. |
commit | commitdiff | tree | snapshot |
2009-01-28 |
kim | Added package dependecies |
commit | commitdiff | tree | snapshot |
2009-01-28 |
kim | . |
commit | commitdiff | tree | snapshot |
2009-01-28 |
kim | git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk... |
commit | commitdiff | tree | snapshot |
2009-01-28 |
kim | Added parsing of command line options to set sample... |
commit | commitdiff | tree | snapshot |
2009-01-27 |
kim | Fix stupid bug with Tag indices |
commit | commitdiff | tree | snapshot |
2009-01-27 |
kim | Eta expand (land) and (lor) to fun a b -> a land b |
commit | commitdiff | tree | snapshot |
2009-01-27 |
kim | Don't index empty texts |
commit | commitdiff | tree | snapshot |
2009-01-27 |
kim | - Removed the direct calls to TextCollection, use XMLTr... |
commit | commitdiff | tree | snapshot |
2009-01-27 |
kim | , |
commit | commitdiff | tree | snapshot |
2009-01-27 |
kim | . |
commit | commitdiff | tree | snapshot |
2008-12-12 |
kim | . |
commit | commitdiff | tree | snapshot |
2008-11-27 |
kim | . |
commit | commitdiff | tree | snapshot |
2008-11-27 |
kim | Removed the debugging stuff. |
commit | commitdiff | tree | snapshot |
2008-11-27 |
kim | Basic stuff should be working, need to remove debugging... |
commit | commitdiff | tree | snapshot |
2008-11-25 |
kim | Missing files in the previous commit. |
commit | commitdiff | tree | snapshot |
2008-11-25 |
kim | Replaced OCamlBackend |
commit | commitdiff | tree | snapshot |
2008-11-21 |
kim | test case to debug : in predicates, only recurse on... |
commit | commitdiff | tree | snapshot |
2008-11-21 |
kim | Initial commit |
commit | commitdiff | tree | snapshot |
|