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.

Sign up for GitHub

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

Jump to bottom

Generalize bounded ints #723

Merged
merged 4 commits into from
Jun 24, 2024
Merged

Generalize bounded ints #723

merged 4 commits into from
Jun 24, 2024

Commits on Jun 24, 2024

  1. chore(bounded-ints): refresh snapshot

    @W95Psp
    Lucas Franceschino authored and W95Psp committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    0e16b67 View commit details
    Browse the repository at this point in the history

  2. feat(bounded-ints): add refinement_int macro

    @W95Psp
    Lucas Franceschino authored and W95Psp committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    fcb88bf View commit details
    Browse the repository at this point in the history

  3. feat(bounded-ints): add AddAssign and SubAssign

    @W95Psp
    Lucas Franceschino authored and W95Psp committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    ebd667a View commit details
    Browse the repository at this point in the history

  4. chore(bounded-ints): refresh snapshot

    @W95Psp
    Lucas Franceschino authored and W95Psp committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    cf6012d View commit details
    Browse the repository at this point in the history