Change from unordered_set<tag> to int array in low-level select_* functions.
authorKim Nguyễn <kn@lri.fr>
Wed, 18 Apr 2012 11:47:13 +0000 (13:47 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 18 Apr 2012 11:47:13 +0000 (13:47 +0200)
commit2cb4fceda48a09fc1acd65c54372651b14e0f404
treeae26a77af7308228dc91ff43a25c716c91033082
parentf1181ec507d05a2f9ff5371b282a26f8d6e1ff7e
Change from unordered_set<tag> to int array in low-level select_* functions.
src/l2JIT.ml
src/l2JIT.mli
src/tree.ml
src/tree.mli
src/utils_stub.cpp
src/xml-tree_stub.cpp