projects
/
SXSI
/
xpathcomp.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Finaly clean up formula representation.
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
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
next