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-cli: Support for overrides; loading and calling functions #1125

Merged
merged 6 commits into from
Nov 14, 2023
Merged

crucible-llvm-cli: Support for overrides; loading and calling functions #1125

merged 6 commits into from
Nov 14, 2023

Commits on Nov 9, 2023

  1. crucible-llvm{,-syntax}: Override for malloc 

    Also exports more low-level helpers from crucible-llvm, suitable for use
without an LLVM module at hand.
    @langston-barrett
    langston-barrett committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    06642dd View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. crucible-llvm: Make LLVM AST type in load handle operation optional 

    This is in advance of adding syntax for this operation to crucible-llvm-syntax,
which shouldn't need to use llvm-pretty's AST. This type is only ever used in
diagnostics anyway.
    @langston-barrett
    langston-barrett committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    12bdab7 View commit details
    Browse the repository at this point in the history

  2. crucible-syntax: Export helper for parsing assignments

    @langston-barrett
    langston-barrett committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    78f02dd View commit details
    Browse the repository at this point in the history

  3. crucible-llvm-syntax: Concrete syntax for loading function handles

    @langston-barrett
    langston-barrett committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    f0cae2e View commit details
    Browse the repository at this point in the history

  4. crucible-llvm-cli: Add call to malloc override to test

    @langston-barrett
    langston-barrett committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    32b7766 View commit details
    Browse the repository at this point in the history

  5. crucible-llvm-syntax: Document load-handle, resolve-global, types

    @langston-barrett
    langston-barrett committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    eeb2e4d View commit details
    Browse the repository at this point in the history