Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[0010] Allow casting to uint64_t #134

Merged
merged 3 commits into from
Dec 8, 2023
Merged

Commits on Dec 7, 2023

  1. [0010] Allow casting to uint64_t

    We have decided to allow casting to uint64_t. It will make create
    more opportunities for developers to make mistakes, but they do not
    have to use it. The implementation cost does not seem too high.
    
    Fixes microsoft#93
    s-perron committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    e83cb69 View commit details
    Browse the repository at this point in the history
  2. Remove cast to bool

    As Greg suggested, the cast to bool is no longer needed if we can cast
    to an int, so we removed it. This commit also adds the uint64_t cast to
    the pseudo class definition for BufferPointers.
    s-perron committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    dbb3af4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f1668ee View commit details
    Browse the repository at this point in the history