Ok I have addressed most of the issues, except for `unsigned long long` complains cpplint is giving on arguments for DPI functions. The reason why I used this type is because this is the same type used by Verilator when it compiles 64-bit hardware types to C.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/pull/3010#issuecomment-488847732
