2011-11-02 |
kim | Remove unused function pr_mat()
|
commit | commitdiff | tree |
2011-11-02 |
kim | Use TaggedNext for full subtree iteration instead of...
|
commit | commitdiff | tree |
2011-09-13 |
kim | Fix bug in lexer preventig text and node from being...
|
commit | commitdiff | tree |
2011-09-12 |
kim | Refactoring and cosmetic changes
|
commit | commitdiff | tree |
2011-09-11 |
kim | Refactoring and cosmetic changes
|
commit | commitdiff | tree |
2011-09-11 |
kim | Fix build process to return correct line-number for...
|
commit | commitdiff | tree |
2011-09-11 |
kim | Add .gitignore file in tests/docs/, since git does...
|
commit | commitdiff | tree |
2011-09-11 |
kim | Merge souce-cleanup branch into trunk Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca> Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca> Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca> Author: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
|
commit | commitdiff | tree |
2011-09-09 |
kim | More option printing fixes.
|
commit | commitdiff | tree |
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 |
next |