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

Bump What4 submodule, use new bitvector helpers, hlint #1195

Merged
merged 4 commits into from
Apr 4, 2024
Merged

Bump What4 submodule, use new bitvector helpers, hlint #1195

merged 4 commits into from
Apr 4, 2024

Commits on Apr 3, 2024

  1. Bump What4 submodule, use new bitvector helpers, hlint

    @langston-barrett
    langston-barrett committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    2fc98be View commit details
    Browse the repository at this point in the history

  2. Use new what4 bitvector helpers, hlint in crux-{llvm,mir}

    @langston-barrett
    langston-barrett committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    6eca193 View commit details
    Browse the repository at this point in the history

  3. Use new what4 bitvector helpers in places not found by hlint 

    Pretty sure it doesn't find them because the configuration specifies
which modules they should be from, but the imports in these modules
are not qualified, so hlint can't tell that `bvLit` is really
`What4.Interface.bvLit`.
    @langston-barrett
    langston-barrett committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    bec7a5d View commit details
    Browse the repository at this point in the history

  4. crucible-llvm: Fix name shadowing

    @langston-barrett
    langston-barrett committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    f7654a1 View commit details
    Browse the repository at this point in the history