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 |
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 |
|