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

crucible-llvm: Improve error messages in a few pointer-to-bitvector casts #1220

Merged
merged 6 commits into from
Jul 16, 2024
Merged

crucible-llvm: Improve error messages in a few pointer-to-bitvector casts #1220

merged 6 commits into from
Jul 16, 2024

Commits on Jul 12, 2024

  1. Improve error message in pointer-to-bitvector cast for overrides

    @langston-barrett
    langston-barrett committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    fb996ef View commit details
    Browse the repository at this point in the history

  2. Improve error message in pointer-to-bitvector cast for printf

    @langston-barrett
    langston-barrett committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    02ade54 View commit details
    Browse the repository at this point in the history

  3. Improve haddocks for ptrToBv

    @langston-barrett
    langston-barrett committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    cebf1ca View commit details
    Browse the repository at this point in the history

  4. Provide ptrToBv, an alternative to projectLLVM_bv

    @langston-barrett
    langston-barrett committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    fd07476 View commit details
    Browse the repository at this point in the history

  5. Improve error message when pointers are found in strings

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

  6. Improve error messages in pointer-to-bitvector casts in string operat… 

    …ions

Co-authored-by: Ryan Scott <rscott@galois.com>
    @langston-barrett @RyanGlScott
    langston-barrett and RyanGlScott committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    a3241a4 View commit details
    Browse the repository at this point in the history