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

Do not rewrite ADTs mentioned in extern blocks #960

Merged
merged 25 commits into from
Jun 16, 2023
Merged

Do not rewrite ADTs mentioned in extern blocks #960

merged 25 commits into from
Jun 16, 2023

Commits on Jun 14, 2023

  1. Addresses #948 

    Fixes an issue where we would rewrite structs and their fields
even though they appear in extern blocks.
    @aneksteind
    aneksteind committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    b90b646 View commit details
    Browse the repository at this point in the history

  2. use extern "C" in test case

    @aneksteind
    aneksteind committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    aa23b35 View commit details
    Browse the repository at this point in the history

  3. support foreign statics

    @aneksteind
    aneksteind committed Jun 14, 2023
    2 Configuration menu
    Copy the full SHA
    9f35bbf View commit details
    Browse the repository at this point in the history

  4. update doc FIX -> FIXED

    @aneksteind
    aneksteind committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    e789039 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. walk reachable types and fields

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    795438a View commit details
    Browse the repository at this point in the history

  2. fix infinite recursion bug in lighttpd

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    ddc074e View commit details
    Browse the repository at this point in the history

  3. comment out breaking portions of lighttpd-minimal

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    91777bf View commit details
    Browse the repository at this point in the history

  4. CHECK-DAG -> CHECK-LABEL

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    e52aa3e View commit details
    Browse the repository at this point in the history

  5. CHECK-DAG -> CHECK-LABEL

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    1105f6b View commit details
    Browse the repository at this point in the history

  6. fix CHECK-LABEL failure

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    d4655d1 View commit details
    Browse the repository at this point in the history

  7. minor cosmetic changes

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    320d752 View commit details
    Browse the repository at this point in the history

  8. docs

    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    de55129 View commit details
    Browse the repository at this point in the history

  9. use adt_def instead of type_of given that the type is guaranteed to b… 

    …e an ADT
    @aneksteind
    aneksteind committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    f15d804 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Docstring 

    Co-authored-by: Khyber Sen <[email protected]>
    @aneksteind @kkysen
    aneksteind and kkysen authored Jun 16, 2023
    Configuration menu
    Copy the full SHA
    9c856bc View commit details
    Browse the repository at this point in the history

  2. documentation of walk_args_and_fields

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    a2e99a5 View commit details
    Browse the repository at this point in the history

  3. add support for walking function pointer types

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    130bda9 View commit details
    Browse the repository at this point in the history

  4. fn foreign_mentioned_tys

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    d0a6aac View commit details
    Browse the repository at this point in the history

  5. walk_args_and_fields -> walk_ffi_safe_ty

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    88472f7 View commit details
    Browse the repository at this point in the history

  6. docs

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    79502f7 View commit details
    Browse the repository at this point in the history

  7. Revert "add support for walking function pointer types" 

    This reverts commit 130bda9.
    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    db64462 View commit details
    Browse the repository at this point in the history

  8. simplify field walk

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    e98ff18 View commit details
    Browse the repository at this point in the history

  9. simplify foreign_mentioned_tys(..)

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    8e34144 View commit details
    Browse the repository at this point in the history

  10. walk_args_and_fields -> walk_adts

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    0a4557d View commit details
    Browse the repository at this point in the history

  11. simplify ADT walk

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    b854368 View commit details
    Browse the repository at this point in the history

  12. update documentation

    @aneksteind
    aneksteind committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    7893da8 View commit details
    Browse the repository at this point in the history