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

Infer mutability of borrows during Rust extraction #449

Merged
merged 53 commits into from
Jul 19, 2024
Merged

Infer mutability of borrows during Rust extraction #449

merged 53 commits into from
Jul 19, 2024

Commits on Jul 10, 2024

  1. A test, some thoughts, and a removal of mut by default in preparation… 

    … for the new mut-inference phase
    @msprotz
    msprotz committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    85341ee View commit details
    Browse the repository at this point in the history

  2. Locally nameless name management for MiniRust, too

    @msprotz
    msprotz committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    64a8694 View commit details
    Browse the repository at this point in the history

  3. WIP

    @msprotz
    msprotz committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    b7e3c2e View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. wip

    @msprotz
    msprotz committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    cdbe9e1 View commit details
    Browse the repository at this point in the history

  2. WIP, need to debug stupid substitution functions sigh

    @msprotz
    msprotz committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    bbe0d0d View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Fix substitution functions (how did this ever work?)

    @msprotz
    msprotz committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    586aba5 View commit details
    Browse the repository at this point in the history

  2. First trivial example works, fixed the substitutions

    @msprotz
    msprotz committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    abe67f8 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Support simple array access + extend test

    @R1kM
    R1kM committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    41231de View commit details
    Browse the repository at this point in the history

  2. Add support for builtins in Rust mut-infer translation

    @R1kM
    R1kM committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    27dda35 View commit details
    Browse the repository at this point in the history

  3. Move loop unrolling after mutability inference to avoid issues with s… 

    …ubstitutions
    @R1kM
    R1kM committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    be03fa8 View commit details
    Browse the repository at this point in the history

  4. Mutify assignments under a borrow

    @R1kM
    R1kM committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    6a0fcca View commit details
    Browse the repository at this point in the history

  5. Support reading under a borrow

    @R1kM
    R1kM committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    aa7d35d View commit details
    Browse the repository at this point in the history

  6. Small example of failing array split

    @R1kM
    R1kM committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    ecc0c85 View commit details
    Browse the repository at this point in the history

  7. Enable more tests

    @msprotz
    msprotz committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    9aaf0c6 View commit details
    Browse the repository at this point in the history

  8. An ad-hoc treatment of ignore -- because missing handling of type sub… 

    …stitutions in MiniRust
    @msprotz
    msprotz committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    8fd080b View commit details
    Browse the repository at this point in the history

  9. Trigger the field case, and then a comment

    @msprotz
    msprotz committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    55e5671 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. Rewrite splits into split_at_muts when needed

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    2571c93 View commit details
    Browse the repository at this point in the history

  2. Support for calling functions with slices

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    91b951c View commit details
    Browse the repository at this point in the history

  3. Add support for more operators

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    e8294b0 View commit details
    Browse the repository at this point in the history

  4. Simplify and generalize handling of indices

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    e37f83e View commit details
    Browse the repository at this point in the history

  5. Add support for copy_from_slice

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    aeb113b View commit details
    Browse the repository at this point in the history

  6. Add a few builtins

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    06eb67a View commit details
    Browse the repository at this point in the history

  7. Fix order of function parameters in env, add more operators and memzero

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    05aa274 View commit details
    Browse the repository at this point in the history

  8. More builtins

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    e18720e View commit details
    Browse the repository at this point in the history

  9. Fix store64_le, add borrowing a range

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    65b74bb View commit details
    Browse the repository at this point in the history

  10. Support vec operations

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    901e411 View commit details
    Browse the repository at this point in the history

  11. Merge remote-tracking branch 'origin/master' into protz_infer_mut

    @msprotz
    msprotz committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    f76a780 View commit details
    Browse the repository at this point in the history

  12. Store type of structure in Field node

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    e22b3da View commit details
    Browse the repository at this point in the history

  13. Keep track of field mutability in environment

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    bdb8a16 View commit details
    Browse the repository at this point in the history

  14. Add update of field mutability

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    9947edf View commit details
    Browse the repository at this point in the history

  15. Support more field assignments

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    f9814a5 View commit details
    Browse the repository at this point in the history

  16. Add some builtins for intvector intrinsics

    @R1kM
    R1kM committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    8b8414b View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. Add support for match

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    a810296 View commit details
    Browse the repository at this point in the history

  2. More builtins

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    5769d43 View commit details
    Browse the repository at this point in the history

  3. More builtins, handle borrowing globals

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    170b0a9 View commit details
    Browse the repository at this point in the history

  4. Fix builtin types when taking slices

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    081369d View commit details
    Browse the repository at this point in the history

  5. more builtins

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    72e742a View commit details
    Browse the repository at this point in the history

  6. Mark vale functions as builtins for now

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    c9f9d1b View commit details
    Browse the repository at this point in the history

  7. More Intvector intrinsics

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    c06f825 View commit details
    Browse the repository at this point in the history

  8. More Intvector intrinsics

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    14165a0 View commit details
    Browse the repository at this point in the history

  9. More Lowstar.endianness builtins

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    f55b9f0 View commit details
    Browse the repository at this point in the history

  10. fstar uint128 builtins

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    70b391e View commit details
    Browse the repository at this point in the history

  11. Missing endianness builtin

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    44c4714 View commit details
    Browse the repository at this point in the history

  12. complex assignment

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    2ebd49d View commit details
    Browse the repository at this point in the history

  13. more builtins, replace Constant by abbreviations

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    9b3f278 View commit details
    Browse the repository at this point in the history

  14. Fix handling of push

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    6940038 View commit details
    Browse the repository at this point in the history

  15. Correct unroll_for transformation

    @R1kM
    R1kM committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    f216ff6 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. attempt to fix CI

    @R1kM
    R1kM committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    64f3c9e View commit details
    Browse the repository at this point in the history

  2. lowercase rust test files

    @R1kM
    R1kM committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    08811be View commit details
    Browse the repository at this point in the history

  3. Revert "lowercase rust test files" 

    This reverts commit 08811be.
    @R1kM
    R1kM committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    155f485 View commit details
    Browse the repository at this point in the history

  4. Attempt another Rust test Makefile fix

    @R1kM
    R1kM committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    2913c8a View commit details
    Browse the repository at this point in the history

  5. More attempts to workaround case-sensitivity on CI machine

    @R1kM
    R1kM committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    bec3963 View commit details
    Browse the repository at this point in the history

  6. Improve several patterns for mutable borrowing

    @R1kM
    R1kM committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    4514866 View commit details
    Browse the repository at this point in the history