projects
/
SXSI
/
xpathcomp.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
cherry pick from local- branch
[SXSI/xpathcomp.git]
/
ata.ml
2011-02-07
kim
Random fixes
blob
|
commitdiff
|
raw
2010-04-28
kim
Safety commit before clean-up
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
kim
Major optimization, rewrite to avoid deep recursion...
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
kim
Fixed nasty garbage collector setting
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
kim
Fast closure branch
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
kim
Exception less mainloop in ata.ml
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
kim
.
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
kim
Safety commit
blob
|
commitdiff
|
raw
|
diff to current
2009-09-01
kim
various cleanups, more memoization in symbol table...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-21
kim
Various cleanups
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
kim
Added benchmarking funtions,
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
kim
Safety before Techfest
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
kim
safety commit
blob
|
commitdiff
|
raw
|
diff to current
2009-06-06
kim
fixed compilation bug
blob
|
commitdiff
|
raw
|
diff to current
2009-06-06
kim
Safety commit
blob
|
commitdiff
|
raw
|
diff to current
2009-05-26
kim
added optimisations in the run function
blob
|
commitdiff
|
raw
|
diff to current
2009-05-26
kim
Fixed bug in NextElement, improved caching
blob
|
commitdiff
|
raw
|
diff to current
2009-05-26
kim
Fixed bug in collect_tags (Tree.ml)
blob
|
commitdiff
|
raw
|
diff to current
2009-05-20
kim
Added correct decision procedure
blob
|
commitdiff
|
raw
|
diff to current
2009-05-20
kim
Fixed caching bugs in ata.ml
blob
|
commitdiff
|
raw
|
diff to current
2009-05-18
kim
Expose the internal structure of Hconsed value
blob
|
commitdiff
|
raw
|
diff to current
2009-05-17
kim
Fixed uneeded free in get cached text
blob
|
commitdiff
|
raw
|
diff to current
2009-05-17
kim
fixed debugging code
blob
|
commitdiff
|
raw
|
diff to current
2009-05-11
kim
Restored bottom up run
blob
|
commitdiff
|
raw
|
diff to current
2009-05-03
kim
Commit before branching to new XPath compilation
blob
|
commitdiff
|
raw
|
diff to current
2009-04-30
kim
Doing the decision procedure
blob
|
commitdiff
|
raw
|
diff to current
2009-04-30
kim
Cleaned up every thing, prepared to remove deprecated...
blob
|
commitdiff
|
raw
|
diff to current
2009-04-30
kim
Further optimisations, changed the prototype of Tree.mli
blob
|
commitdiff
|
raw
|
diff to current
2009-04-30
kim
Commit before changing Tree.ml interface
blob
|
commitdiff
|
raw
|
diff to current
2009-04-27
kim
Optimized the topdown run yet again
blob
|
commitdiff
|
raw
|
diff to current
2009-04-26
kim
Add some more optimization
blob
|
commitdiff
|
raw
|
diff to current
2009-04-26
kim
Some more optimisations
blob
|
commitdiff
|
raw
|
diff to current
2009-04-26
kim
.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-26
kim
removed cruft, fixed ptset.ml
blob
|
commitdiff
|
raw
|
diff to current
2009-04-26
kim
Fixed bug inverting the status of bureaucratic and...
blob
|
commitdiff
|
raw
|
diff to current
2009-04-26
kim
Half way through refactoring
blob
|
commitdiff
|
raw
|
diff to current
2009-04-21
kim
Cleaning dead code
blob
|
commitdiff
|
raw
|
diff to current
2009-04-17
kim
merge from local branch
blob
|
commitdiff
|
raw
|
diff to current
2009-04-17
kim
bottom up run works for text nodes
blob
|
commitdiff
|
raw
|
diff to current
2009-03-24
kim
.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-23
kim
Merged -correctxpath branch
blob
|
commitdiff
|
raw
|
diff to current
2009-03-11
kim
bug fixes, added the count queries
blob
|
commitdiff
|
raw
|
diff to current
2009-03-10
kim
merge from branch stable-succint-jumping
blob
|
commitdiff
|
raw
|
diff to current
2009-03-02
kim
Merge from branch stable-succint-refactor
blob
|
commitdiff
|
raw
|
diff to current
2009-03-02
kim
Removed testing cruft
blob
|
commitdiff
|
raw
|
diff to current
2009-02-16
kim
Merged from branch stable-succint-refactor
blob
|
commitdiff
|
raw
|
diff to current
2009-02-09
kim
Added missing files
blob
|
commitdiff
|
raw
|
diff to current