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

feat: Change TypeParam::USize to TypeParam::BoundedNat and use in int extensions #445

Merged
merged 14 commits into from
Aug 24, 2023
Merged

feat: Change TypeParam::USize to TypeParam::BoundedNat and use in int extensions #445

merged 14 commits into from
Aug 24, 2023

Commits on Aug 23, 2023

  1. [RFC] define new TypeParam::SimplePredicate and use in int extension

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    e5799c2 View commit details
    Browse the repository at this point in the history

  2. remove USize + SimplePredicate in favour of BoundedUSize

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    b5d84fe View commit details
    Browse the repository at this point in the history

  3. fixup constants and tests

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    1f9265d View commit details
    Browse the repository at this point in the history

  4. pass args to integer directly

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    43b4432 View commit details
    Browse the repository at this point in the history

  5. change bound to maximum to be consistent with underlying int 

    and fix doclinks
    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    db5c4f4 View commit details
    Browse the repository at this point in the history

  6. fix incorrect arguments 

    Co-authored-by: Alec Edgington <54802828+cqc-alec@users.noreply.github.com>
    @ss2165 @cqc-alec
    ss2165 and cqc-alec authored Aug 23, 2023
    Configuration menu
    Copy the full SHA
    66f74a0 View commit details
    Browse the repository at this point in the history

  7. use log_width more

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    b659bcc View commit details
    Browse the repository at this point in the history

  8. fix bug in unary ops

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    3033406 View commit details
    Browse the repository at this point in the history

  9. use correct type param for int ops

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    007967b View commit details
    Browse the repository at this point in the history

  10. define array of valid integer types

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    e3a3182 View commit details
    Browse the repository at this point in the history

  11. edit type params in spec

    @ss2165
    ss2165 committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    7b2edea View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. fix typo 

    Co-authored-by: Alec Edgington <54802828+cqc-alec@users.noreply.github.com>
    @ss2165 @cqc-alec
    ss2165 and cqc-alec authored Aug 24, 2023
    Configuration menu
    Copy the full SHA
    d2decaa View commit details
    Browse the repository at this point in the history

  2. use NonZeroU64 to make bound non-exclusive

    @ss2165
    ss2165 committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    d13a4c1 View commit details
    Browse the repository at this point in the history

  3. rename BoundedUSize to BoundedNat

    @ss2165
    ss2165 committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    373a581 View commit details
    Browse the repository at this point in the history