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

Introduce submodules into python-flint #61

Closed
wants to merge 31 commits into from
Closed

Introduce submodules into python-flint #61

wants to merge 31 commits into from

Commits on Aug 17, 2023

  1. update imports to include utils

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    aade052 View commit details
    Browse the repository at this point in the history

  2. refactor out some util functions from pyflint

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    5ffb83e View commit details
    Browse the repository at this point in the history

  3. Refactor out context class from pyflint

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    a4511c9 View commit details
    Browse the repository at this point in the history

  4. remove some globals from pyflint

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    304dd67 View commit details
    Browse the repository at this point in the history

  5. include DS_Store to gitignore

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    b5b1831 View commit details
    Browse the repository at this point in the history

  6. EOF

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    06064b0 View commit details
    Browse the repository at this point in the history

  7. Add submodule

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    f36b681 View commit details
    Browse the repository at this point in the history

  8. EOF

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    7b7d2d2 View commit details
    Browse the repository at this point in the history

  9. Reverse old formatting

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    622c671 View commit details
    Browse the repository at this point in the history

  10. Fix relative imports and now get a proper error

    @GiacomoPope
    GiacomoPope committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    2dee3db View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. Factor out into submodule

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    0f5d236 View commit details
    Browse the repository at this point in the history

  2. ensure submodule c files are skipped

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    726a699 View commit details
    Browse the repository at this point in the history

  3. Refactor out more conversions

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    b3e5ec9 View commit details
    Browse the repository at this point in the history

  4. move away from depreciated properties

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    b8be99b View commit details
    Browse the repository at this point in the history

  5. Refactor set up for inclusion of submodules

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    f7c3bfc View commit details
    Browse the repository at this point in the history

  6. move context into new submodule

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    4e5310b View commit details
    Browse the repository at this point in the history

  7. Import thectx from module and set ctx

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    4d7ad87 View commit details
    Browse the repository at this point in the history

  8. Import precision / cap inline functions previously defined as global

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    039e687 View commit details
    Browse the repository at this point in the history

  9. Global context need not be an extension, as its not defining a new class

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    e76daf4 View commit details
    Browse the repository at this point in the history

  10. remove template classes

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    f09b791 View commit details
    Browse the repository at this point in the history

  11. Add templates as a submodule

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    522c50a View commit details
    Browse the repository at this point in the history

  12. delete unneeded file

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    8b1190f View commit details
    Browse the repository at this point in the history

  13. Include needed classes for each flint type

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    718b1fc View commit details
    Browse the repository at this point in the history

  14. Actually include the new files

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    38c9ffd View commit details
    Browse the repository at this point in the history

  15. Make flint_poly a global until issue flintlib#62 is resolved

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    3ab97f6 View commit details
    Browse the repository at this point in the history

  16. Remove imports until they're ready

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    a4d3a85 View commit details
    Browse the repository at this point in the history

  17. remove old pxd

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    9a3fd0b View commit details
    Browse the repository at this point in the history

  18. remove old pxd

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    457f429 View commit details
    Browse the repository at this point in the history

  19. Update imports

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    4a16f0e View commit details
    Browse the repository at this point in the history

  20. Add all global context into this file

    @GiacomoPope
    GiacomoPope committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    644b5bb View commit details
    Browse the repository at this point in the history

  21. Merge pull request flintlib#61 from GiacomoPope/introduce-submodules 

    Introduce submodules into python-flint
    @oscarbenjamin
    oscarbenjamin authored Aug 18, 2023
    Configuration menu
    Copy the full SHA
    da48588 View commit details
    Browse the repository at this point in the history