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.

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

Repair flattenings of graded modules rebase #3348

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

Commits on Jan 24, 2024

  1. Configuration menu
    Copy the full SHA
    1189e1b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    aab6439 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    668a853 View commit details
    Browse the repository at this point in the history
  4. Export submodule.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    e11109f View commit details
    Browse the repository at this point in the history
  5. Fix tests.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    da8193a View commit details
    Browse the repository at this point in the history
  6. Fix tests again.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    585c592 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    2b706ac View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    085e7f4 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    b7237f6 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    8d3cfea View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    8a737e3 View commit details
    Browse the repository at this point in the history
  12. Fix documentation.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    a0f6e4f View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    ca22781 View commit details
    Browse the repository at this point in the history
  14. Fix the fix.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    b08fb1d View commit details
    Browse the repository at this point in the history
  15. Fix method selection.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    3b42596 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Configuration menu
    Copy the full SHA
    2317eb7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8a1b09f View commit details
    Browse the repository at this point in the history
  3. Adjust tests.

    HechtiDerLachs committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    832bfae View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Configuration menu
    Copy the full SHA
    6b37340 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Configuration menu
    Copy the full SHA
    6936b15 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7102f40 View commit details
    Browse the repository at this point in the history
  3. Fix methods for quo.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    2e1a6c3 View commit details
    Browse the repository at this point in the history
  4. Adjust documentation.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    b17dcaf View commit details
    Browse the repository at this point in the history
  5. Merge branch 'fix_sub_and_quo_for_modules' of github.com:HechtiDerLac…

    …hs/Oscar.jl into fix_sub_and_quo_for_modules
    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    4defc97 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    8e592a1 View commit details
    Browse the repository at this point in the history
  7. Fix up usages of quo.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    ba08f84 View commit details
    Browse the repository at this point in the history
  8. Export new functions.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    c6adba0 View commit details
    Browse the repository at this point in the history
  9. Some fixes.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    ed582e4 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    5817b87 View commit details
    Browse the repository at this point in the history
  2. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    db52db0 View commit details
    Browse the repository at this point in the history
  3. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    4e0437c View commit details
    Browse the repository at this point in the history
  4. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    775e267 View commit details
    Browse the repository at this point in the history
  5. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    4844564 View commit details
    Browse the repository at this point in the history
  6. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    88fab65 View commit details
    Browse the repository at this point in the history
  7. Squashed changes.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    9cbd80e View commit details
    Browse the repository at this point in the history
  8. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    f3e1fce View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    c13caa3 View commit details
    Browse the repository at this point in the history
  10. New rebase.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    55c2e04 View commit details
    Browse the repository at this point in the history
  11. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    2b05d7b View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    6056770 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    7510e71 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. Configuration menu
    Copy the full SHA
    51459ba View commit details
    Browse the repository at this point in the history
  2. WIP on debugging.

    HechtiDerLachs committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    4ee1f2f View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2024

  1. Configuration menu
    Copy the full SHA
    8887732 View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2024

  1. Configuration menu
    Copy the full SHA
    72845a3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    61a925f View commit details
    Browse the repository at this point in the history
  3. Add some assertions.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    97edc8b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    cdbd973 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    263471c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    298b42e View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    9a370ae View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    802ecaa View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    06a091d View commit details
    Browse the repository at this point in the history
  10. Fix faulty merge.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    920fb56 View commit details
    Browse the repository at this point in the history
  11. Go back to old hom.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    a6b7c15 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    178eaf3 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    0b19f7e View commit details
    Browse the repository at this point in the history
  14. Repair truncate.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    a717e99 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    c9212ec View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. Configuration menu
    Copy the full SHA
    89f3055 View commit details
    Browse the repository at this point in the history
  2. Revert "Go back to old hom."

    This reverts commit a6b7c15.
    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    8e17657 View commit details
    Browse the repository at this point in the history
  3. Revert "Switch tests to old hom."

    This reverts commit 178eaf3.
    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    5b24c3d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    61f6d89 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    e02a796 View commit details
    Browse the repository at this point in the history
  6. Adjust printing.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    c48c85a View commit details
    Browse the repository at this point in the history
  7. Fix tests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    ba50d61 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    78b5af2 View commit details
    Browse the repository at this point in the history
  9. Fix doctests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    f1701de View commit details
    Browse the repository at this point in the history
  10. Fix tests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    1f61c77 View commit details
    Browse the repository at this point in the history
  11. Fix doctests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    4817778 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    1c5efea View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2024

  1. Squashed changes.

    HechtiDerLachs committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    17e7bf8 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fc7886d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3072332 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ef98dda View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    dac8b81 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. Configuration menu
    Copy the full SHA
    cb236bf View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Configuration menu
    Copy the full SHA
    1634e51 View commit details
    Browse the repository at this point in the history
  2. Some tuning.

    HechtiDerLachs committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    c46e703 View commit details
    Browse the repository at this point in the history