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

fix(engine/lib): import associated item projection on generic bounds #765

Merged
merged 12 commits into from
Jul 25, 2024
Merged

fix(engine/lib): import associated item projection on generic bounds #765

merged 12 commits into from
Jul 25, 2024

Commits on Jul 10, 2024

  1. fix(hax-lib): refinements: various fixes

    @W95Psp
    W95Psp authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    740dc91 View commit details
    Browse the repository at this point in the history

  2. fix(frontend): catches panic from prettyplease (implemented!)

    @W95Psp
    W95Psp authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    dbd22e2 View commit details
    Browse the repository at this point in the history

  3. Update tests/attributes/src/lib.rs 

    Co-authored-by: Franziskus Kiefer <[email protected]>
    @W95Psp @franziskuskiefer
    2 people authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    550eb65 View commit details
    Browse the repository at this point in the history

  4. feat(engine): propagate trait-specific generics

    @W95Psp
    W95Psp authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    011e9b3 View commit details
    Browse the repository at this point in the history

  5. feat(engine/f*): propagate trait-specific generics

    @W95Psp
    W95Psp authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    3d3cbd0 View commit details
    Browse the repository at this point in the history

  6. test(engine/f*): propagate trait-specific generics

    @W95Psp
    W95Psp authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    ddf55d0 View commit details
    Browse the repository at this point in the history

  7. fix(proof-libs/f*): f_deref: make it a typeclass

    @W95Psp
    W95Psp authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    b6cdd9a View commit details
    Browse the repository at this point in the history

  8. Update tests/traits/src/lib.rs 

    Co-authored-by: Franziskus Kiefer <[email protected]>
    @W95Psp @franziskuskiefer
    2 people authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    5129dc8 View commit details
    Browse the repository at this point in the history

  9. fix(engine/f*): {| ... |} for trait bounds on types

    @W95Psp
    W95Psp authored and Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    9c894ed View commit details
    Browse the repository at this point in the history

  10. fix(engine/lib): import associated item projection on generic bounds

    Paul Mure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    4f8241b View commit details
    Browse the repository at this point in the history

  11. Merge branch 'hacspec:main' into fix-associated-item-projection

    @paulmure
    paulmure committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    1fa25a3 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. fix(engine/f*): filter out projection predicates

    Paul Mure committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    45b9968 View commit details
    Browse the repository at this point in the history