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

fix: iterator modification analysis #3764

Merged
merged 27 commits into from
Feb 13, 2024
Merged

fix: iterator modification analysis #3764

merged 27 commits into from
Feb 13, 2024

Commits on Feb 10, 2024

  1. fix iterator modification analysis

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    bb6df4f View commit details
    Browse the repository at this point in the history

  2. impose topsort on function analysis

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    aa4c582 View commit details
    Browse the repository at this point in the history

  3. refactor and clean up FunctionAnalyzer.visit_For

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    9454687 View commit details
    Browse the repository at this point in the history

  4. add a comment

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    b997fe0 View commit details
    Browse the repository at this point in the history

  5. fix missing enter_scope()

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    a057f39 View commit details
    Browse the repository at this point in the history

  6. fix typechecker for darray, sarray

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    d8fa41a View commit details
    Browse the repository at this point in the history

  7. add tests for repros from issue

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    c1d693d View commit details
    Browse the repository at this point in the history

  8. add tests for iterators imported from modules

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    0021efa View commit details
    Browse the repository at this point in the history

  9. add test for topsort analysis

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    6005532 View commit details
    Browse the repository at this point in the history

  10. fix topsort for function calls

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    f3f683c View commit details
    Browse the repository at this point in the history

  11. fix type comparison for SelfT

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    dc0908c View commit details
    Browse the repository at this point in the history

  12. fix topsort (again!)

    @charles-cooper
    charles-cooper committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    4ffd3aa View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2024

  1. refactor: improve the API for ContractFunctionT, protect some private… 

    … members behind methods
    @charles-cooper
    charles-cooper committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    7729ab7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix/iterator_analysis

    @charles-cooper
    charles-cooper committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    40ed362 View commit details
    Browse the repository at this point in the history

  3. remove protect_analysed 

    it turns out it was not a very good idea
    @charles-cooper
    charles-cooper committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    049f6e8 View commit details
    Browse the repository at this point in the history

  4. fix: struct touching

    @charles-cooper
    charles-cooper committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    d8353ae View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. yeet VarAttributeInfo

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    35a9bca View commit details
    Browse the repository at this point in the history

  2. fix mypy

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    9c2af79 View commit details
    Browse the repository at this point in the history

  3. fix more complicated case

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    3d32b76 View commit details
    Browse the repository at this point in the history

  4. fix bugs

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    0a5376c View commit details
    Browse the repository at this point in the history

  5. fix mypy

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    5e90066 View commit details
    Browse the repository at this point in the history

  6. add more tests

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    b647e97 View commit details
    Browse the repository at this point in the history

  7. remove a comment

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    111333e View commit details
    Browse the repository at this point in the history

  8. refactor get_variable_access

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    274de10 View commit details
    Browse the repository at this point in the history

  9. remove attribute_chain, use explicit traversal of the attribute/subsc… 

    …ript tree
    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    b4e7390 View commit details
    Browse the repository at this point in the history

  10. fix: while -> do while

    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    68faed2 View commit details
    Browse the repository at this point in the history

  11. add some subscript/attribute tests for module uses 

    (note these also pass on master)
    @charles-cooper
    charles-cooper committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    591b97b View commit details
    Browse the repository at this point in the history