Finish adapting to new libxml-tree API
authorKim Nguyễn <kn@lri.fr>
Fri, 6 Apr 2012 12:04:14 +0000 (14:04 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 6 Apr 2012 12:04:14 +0000 (14:04 +0200)
commit83e9f9d8f219fece86afbedd1332d5ad97971d1c
tree7ba6079c58f89a440d84d6e45b69dc51f0f90d58
parent9d19c60e10c9572885509b35c2b72f362968d6ab
Finish adapting to new libxml-tree API
       - Code is much cleaner
       - Speed is mostly the same, often faster but two offenders:
       Q9 : 155 -> 190ms
       Q28: 2s -> 3.5 s
       Need to be investigated.
configure
myocamlbuild.ml
src/OCamlDriver.cpp [deleted file]
src/bp_stub.cpp [new file with mode: 0644]
src/libcamlshredder.clib
src/main.ml
src/runtime.ml
src/tree.ml
src/utils_stub.cpp [new file with mode: 0644]
src/xml-tree_stub.cpp