Remove trailing white spaces
[SXSI/xpathcomp.git] / ata.ml
2011-02-07 kimRestored the buggy jumping
2011-02-07 kimRandom fixes
2010-04-28 kimSafety commit before clean-up
2010-04-28 kimMajor optimization, rewrite to avoid deep recursion...
2010-04-28 kimFixed nasty garbage collector setting
2010-04-28 kimFast closure branch
2010-04-28 kimException less mainloop in ata.ml
2010-04-28 kim.
2010-04-28 kimSafety commit
2009-09-01 kimvarious cleanups, more memoization in symbol table...
2009-08-21 kimVarious cleanups
2009-08-19 kimAdded benchmarking funtions,
2009-08-19 kimSafety before Techfest
2009-08-19 kimsafety commit
2009-06-06 kimfixed compilation bug
2009-06-06 kimSafety commit
2009-05-26 kimadded optimisations in the run function
2009-05-26 kimFixed bug in NextElement, improved caching
2009-05-26 kimFixed bug in collect_tags (Tree.ml)
2009-05-20 kimAdded correct decision procedure
2009-05-20 kimFixed caching bugs in ata.ml
2009-05-18 kimExpose the internal structure of Hconsed value
2009-05-17 kimFixed uneeded free in get cached text
2009-05-17 kimfixed debugging code
2009-05-11 kimRestored bottom up run
2009-05-03 kimCommit before branching to new XPath compilation
2009-04-30 kimDoing the decision procedure
2009-04-30 kimCleaned up every thing, prepared to remove deprecated...
2009-04-30 kimFurther optimisations, changed the prototype of Tree.mli
2009-04-30 kimCommit before changing Tree.ml interface
2009-04-27 kimOptimized the topdown run yet again
2009-04-26 kimAdd some more optimization
2009-04-26 kimSome more optimisations
2009-04-26 kim.
2009-04-26 kimremoved cruft, fixed ptset.ml
2009-04-26 kimFixed bug inverting the status of bureaucratic and...
2009-04-26 kimHalf way through refactoring
2009-04-21 kimCleaning dead code
2009-04-17 kimmerge from local branch
2009-04-17 kimbottom up run works for text nodes
2009-03-24 kim.
2009-03-23 kimMerged -correctxpath branch
2009-03-11 kimbug fixes, added the count queries
2009-03-10 kimmerge from branch stable-succint-jumping
2009-03-02 kimMerge from branch stable-succint-refactor
2009-03-02 kimRemoved testing cruft
2009-02-16 kimMerged from branch stable-succint-refactor
2009-02-09 kimAdded missing files