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

[Merged by Bors] - chore: cleanups following #8609 and #8714 #8962

Closed
wants to merge 21 commits into from
Closed

[Merged by Bors] - chore: cleanups following #8609 and #8714 #8962

wants to merge 21 commits into from

Commits on Nov 24, 2023

  1. 1st commit

    @xroblot
    xroblot committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    f15eee2 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2023

  1. new version

    @xroblot
    xroblot committed Nov 25, 2023
    Configuration menu
    Copy the full SHA
    96d496a View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Merge remote-tracking branch 'origin' into xfr-primitive_element_iff

    @xroblot
    xroblot committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    3858440 View commit details
    Browse the repository at this point in the history

  2. New version

    @xroblot
    xroblot committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    f7a8ba5 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. New new version

    @xroblot
    xroblot committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    332020a View commit details
    Browse the repository at this point in the history

  2. Clean up

    @xroblot
    xroblot committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    5e94904 View commit details
    Browse the repository at this point in the history

  3. Remove unnecessary hypothesis

    @xroblot
    xroblot committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    5236dc9 View commit details
    Browse the repository at this point in the history

  4. whitespace

    @xroblot
    xroblot committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    884caec View commit details
    Browse the repository at this point in the history

  5. Review

    @xroblot
    xroblot committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    0910674 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2023

  1. Change name

    @xroblot
    xroblot committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    8a632be View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. chore: cleanups following #8609 and #8714

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    e6c327b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into xfr-primitive_element_iff

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    ab059fe View commit details
    Browse the repository at this point in the history

  3. computable

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    71f62c2 View commit details
    Browse the repository at this point in the history

  4. move finrank_top

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    8c108fa View commit details
    Browse the repository at this point in the history

  5. move finrank_top again

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    2b8e238 View commit details
    Browse the repository at this point in the history

  6. protect

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    a32573a View commit details
    Browse the repository at this point in the history

  7. more versions of mem_of_minpoly_splits

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    1e895df View commit details
    Browse the repository at this point in the history

  8. minigolfs

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    ba54b93 View commit details
    Browse the repository at this point in the history

  9. move IsAlgClosed

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    8002621 View commit details
    Browse the repository at this point in the history

  10. use variable rather than moving to reduce diff

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    002ab44 View commit details
    Browse the repository at this point in the history

  11. add IsIntegral.minpoly_splits_tower_top and golf

    @alreadydone
    alreadydone committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    f968522 View commit details
    Browse the repository at this point in the history