commit | a22d300c571809ca5deceac7b8288095cd09b18e | [log] [tgz] |
---|---|---|
author | Nguyen Anh Quynh <aquynh@gmail.com> | Sun Sep 21 23:32:50 2014 +0800 |
committer | Nguyen Anh Quynh <aquynh@gmail.com> | Sun Sep 21 23:35:00 2014 +0800 |
tree | d0ca9a22ab78a17b18cbd651f36da567b2830428 | |
parent | 586be76d7369b4f9945e3120646ec291218cf9e8 [diff] |
ocaml: add missing ARM64 instructions to arm64_const.ml. also handle arithmetic operations |, << properly for Ocaml in const_generator.py