tree d0ca9a22ab78a17b18cbd651f36da567b2830428
parent 586be76d7369b4f9945e3120646ec291218cf9e8
author Nguyen Anh Quynh <aquynh@gmail.com> 1411313570 +0800
committer Nguyen Anh Quynh <aquynh@gmail.com> 1411313700 +0800

ocaml: add missing ARM64 instructions to arm64_const.ml. also handle arithmetic operations |, << properly for Ocaml in const_generator.py