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

More Heapster rust typechecking bugs #1525

Merged
merged 6 commits into from
Nov 30, 2021
Merged

More Heapster rust typechecking bugs #1525

merged 6 commits into from
Nov 30, 2021

Commits on Nov 23, 2021

  1. uncommented some of the rust_data test cases

    Eddy Westbrook committed Nov 23, 2021
    Configuration menu
    Copy the full SHA
    081f789 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into heapster/rust-typechecking-bugs

    Eddy Westbrook committed Nov 23, 2021
    Configuration menu
    Copy the full SHA
    6537395 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2021

  1. bugfix: proveVarLLVMBlocks was incorrectly setting the size of the fi… 

    …eld to prove when proving a memblock with variable shape from a field that did not start at the same offset
    Eddy Westbrook committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    4078d8c View commit details
    Browse the repository at this point in the history

  2. added heapster_find_symbol_with_type and heapster_find_symbols_with_t… 

    …ype commands
    Eddy Westbrook committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    32a08f0 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2021

  1. added the heapster_find_symbol_commands command

    Eddy Westbrook committed Nov 27, 2021
    Configuration menu
    Copy the full SHA
    60fc1ae View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2021

  1. Merge branch 'master' into heapster/rust-typechecking-bugs-pr2

    Eddy Westbrook authored Nov 30, 2021
    Configuration menu
    Copy the full SHA
    e27299b View commit details
    Browse the repository at this point in the history