utcs-scea / ava

Automatic virtualization of (general) accelerators.
https://ava.yuhc.me/
BSD 2-Clause "Simplified" License
40 stars 20 forks source link

fix cast #143

Closed photoszzt closed 3 years ago

photoszzt commented 3 years ago

Signed-off-by: Zhiting Zhu zhitingz@cs.utexas.edu

Pull Request checklist

Please, go through these steps before you submit a PR.

  1. Make sure that your PR is not a duplicate.

  2. If not, then make sure that:

    a. You have done your changes in a separate branch. Branches MUST have descriptive names that start with either the fix/ or feature/ prefixes. Good examples are: fix/cudart_spec_build or feature/rdma_channel.

    b. You have a descriptive commit message with a short title (first line).

    c. You have only one or a small number of commits (if not, squash some into one commit).

    d. Linter doesn't throw any error. If it does, fix them first (e.g. ./scripts/check_cpp_format.sh -fix .) and amend your commit (git commit --amend).

  3. After these steps, you're ready to open a pull request.

    a. Give a descriptive title to your PR.

    b. Provide a description of your changes.

    c. Put closes #XXXX in your comment to auto-close the issue that your PR fixes (if such).

IMPORTANT: Please review the CONTRIBUTING.md file for detailed contributing guidelines.

PLEASE REMOVE THE ABOVE CHECKLIST BEFORE SUBMITTING

Description

Motivation and Context

How has this been tested?

Screenshots (if appropriate):

Types of changes

Checklist: