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

Rnd/pytype integration #1698

Draft
wants to merge 13 commits into
base: master
Choose a base branch
from
Draft

Rnd/pytype integration #1698

wants to merge 13 commits into from

Commits on Feb 18, 2024

  1. Add extraction scripts and setup git lfs.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    e5e661c View commit details
    Browse the repository at this point in the history

  2. Add json files with type information for ruling and some extended rul… 

    …ing sources.
    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    348b95d View commit details
    Browse the repository at this point in the history

  3. Add testing files.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    b48610a View commit details
    Browse the repository at this point in the history

  4. Add TypeContext with tests.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    e58dc0c View commit details
    Browse the repository at this point in the history

  5. Add PyTypeAnnotation class with test.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    ea36d36 View commit details
    Browse the repository at this point in the history

  6. Add type context to Symbol Table builder, and integrate it into analy… 

    …sis, where necessary.
    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    ad7c7f9 View commit details
    Browse the repository at this point in the history

  7. Modify gitignore to exclude tools used to generate test strings.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    4743cb2 View commit details
    Browse the repository at this point in the history

  8. Add first (failing) test for PyType annotation, and adjust utility fu… 

    …nctions for testing.
    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    187a65e View commit details
    Browse the repository at this point in the history

  9. Fixed type inference for locally defined class.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    e199675 View commit details
    Browse the repository at this point in the history

  10. Add type resolution to imported classes

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    0ce74c3 View commit details
    Browse the repository at this point in the history

  11. Modify integration test, and add missing json files.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    802d69a View commit details
    Browse the repository at this point in the history

  12. Add the json for the sources analyzed as one project.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    1798c05 View commit details
    Browse the repository at this point in the history

  13. Include the TypeContext in the classical ruling test.

    @jdodinh
    jdodinh committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    b9a8984 View commit details
    Browse the repository at this point in the history