projects
/
SXSI
/
xpathcomp.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SXSI/xpathcomp.git
2012-02-14
Kim Nguyễn
Fix compile error in debug mode.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-14
Kim Nguyễn
Add Tom's Grammar work to the build script. Requires...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-13
kim
Revert changes for following-sibling jumping function...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-13
kim
Change configure script to use separate libraries.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-07
kim
Temporary commit.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-05
kim
Create branch trace-refactor
commit
|
commitdiff
|
tree
|
snapshot
2012-02-05
kim
Add tracing infrastructure.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-27
kim
Create branch trace-refactor
commit
|
commitdiff
|
tree
|
snapshot
2012-01-25
kim
Change path to XMLTree library
commit
|
commitdiff
|
tree
|
snapshot
2012-01-25
kim
Add script to test XPath expressions (requires xmlstarlet)
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
kim
Formatting/code clean-up.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
kim
Add backward moves in the syntax of the automaton.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
kim
Add performances counter option
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Clean-up readme and license file.
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Don't explicitely use camlp4lib.cmxa but rely on ocamlf...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Purge libxml++ from build.
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Fix C++/OCaml wrappers.
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Fix: make .cpp files *really* depend on the local ...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Refactoring, 1st tier:
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Change queries according to Niko
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
kim
Add chrom5 queries
commit
|
commitdiff
|
tree
|
snapshot
2011-11-02
kim
Remove unused function pr_mat()
commit
|
commitdiff
|
tree
|
snapshot
2011-11-02
kim
Use TaggedNext for full subtree iteration instead of...
commit
|
commitdiff
|
tree
|
snapshot
2011-09-13
kim
Fix bug in lexer preventig text and node from being...
commit
|
commitdiff
|
tree
|
snapshot
2011-09-12
kim
Refactoring and cosmetic changes
commit
|
commitdiff
|
tree
|
snapshot
2011-09-11
kim
Refactoring and cosmetic changes
commit
|
commitdiff
|
tree
|
snapshot
2011-09-11
kim
Fix build process to return correct line-number for...
commit
|
commitdiff
|
tree
|
snapshot
2011-09-11
kim
Add .gitignore file in tests/docs/, since git does...
commit
|
commitdiff
|
tree
|
snapshot
2011-09-11
kim
Merge souce-cleanup branch into trunk
commit
|
commitdiff
|
tree
|
snapshot
2011-09-09
kim
More option printing fixes.
commit
|
commitdiff
|
tree
|
snapshot
2011-09-09
kim
Fix the help message and display of options.
commit
|
commitdiff
|
tree
|
snapshot
2011-09-09
kim
Add -no-hygiene to ocamlbuild flags
commit
|
commitdiff
|
tree
|
snapshot
2011-09-09
kim
Comment out unused options.
commit
|
commitdiff
|
tree
|
snapshot
2011-09-09
kim
Update HACKING file with new build instructions
commit
|
commitdiff
|
tree
|
snapshot
2011-09-09
kim
Merge branch 'local-ocamlbuild' into local-trunk
commit
|
commitdiff
|
tree
|
snapshot
2011-09-09
kim
.
commit
|
commitdiff
|
tree
|
snapshot
2011-02-07
kim
Changed building of tag tables and format.
commit
|
commitdiff
|
tree
|
snapshot
2011-02-07
kim
Remove trailing white spaces
commit
|
commitdiff
|
tree
|
snapshot
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
next