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

Localization pullback #685

Merged
merged 29 commits into from
Jan 7, 2022
Merged

Localization pullback #685

merged 29 commits into from
Jan 7, 2022

Commits on Aug 23, 2021

  1. use improved ringsolver

    @mzeuner
    mzeuner committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    7d4cdfa View commit details
    Browse the repository at this point in the history

  2. delete one more line

    @mzeuner
    mzeuner committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    e4d5d8d View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2021

  1. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    302c25a View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2021

  1. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    5fe247f View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2021

  1. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Nov 22, 2021
    Configuration menu
    Copy the full SHA
    3f2e7f8 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2021

  1. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    c29f845 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2021

  1. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    d83b855 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2021

  1. towards a useful lemma

    @mzeuner
    mzeuner committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    1889432 View commit details
    Browse the repository at this point in the history

  2. everything but the nasty part

    @mzeuner
    mzeuner committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    8920537 View commit details
    Browse the repository at this point in the history

  3. finish proof

    @mzeuner
    mzeuner committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    7825174 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    63c770b View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2021

  1. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    2ed6538 View commit details
    Browse the repository at this point in the history

  2. getting started

    @mzeuner
    mzeuner committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    d3bfff1 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'FG_Ideal_Exp_lemma' of github.com:mzeuner/cubical into … 

    …Localization_Pullback
    @mzeuner
    mzeuner committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    1be39cb View commit details
    Browse the repository at this point in the history

  4. proper setup

    @mzeuner
    mzeuner committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    f85e6af View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2021

  1. proof of injectivity

    @mzeuner
    mzeuner committed Dec 21, 2021
    Configuration menu
    Copy the full SHA
    257752c View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2021

  1. nothing of significance

    @mzeuner
    mzeuner committed Dec 23, 2021
    Configuration menu
    Copy the full SHA
    4c974fc View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2021

  1. define the pullback legs

    @mzeuner
    mzeuner committed Dec 26, 2021
    Configuration menu
    Copy the full SHA
    5ad2525 View commit details
    Browse the repository at this point in the history

  2. only the nasty computations left

    @mzeuner
    mzeuner committed Dec 26, 2021
    Configuration menu
    Copy the full SHA
    164c3d7 View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2021

  1. well stuck

    @mzeuner
    mzeuner committed Dec 27, 2021
    Configuration menu
    Copy the full SHA
    042708c View commit details
    Browse the repository at this point in the history

  2. a lot of pain ahead...

    @mzeuner
    mzeuner committed Dec 27, 2021
    Configuration menu
    Copy the full SHA
    95c28a5 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2021

  1. almost there...

    @mzeuner
    mzeuner committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    442fa86 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/agda/cubical into Localiz… 

    …ation_Pullback

# Conflicts:
#	Cubical/Algebra/CommRing/Properties.agda
    @mzeuner
    mzeuner committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    25830dc View commit details
    Browse the repository at this point in the history

  3. only path(s) of pain left

    @mzeuner
    mzeuner committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    8c4212c View commit details
    Browse the repository at this point in the history

  4. some maintenance and only one path left

    @mzeuner
    mzeuner committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    7b34916 View commit details
    Browse the repository at this point in the history

  5. done

    @mzeuner
    mzeuner committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    0407df5 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2022

  1. Merge branch 'master' of https://github.com/agda/cubical

    @mzeuner
    mzeuner committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    c35bc4d View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2022

  1. Merge branch 'master' of github.com:mzeuner/cubical into Localization… 

    …_Pullback
    @mzeuner
    mzeuner committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    03a62d9 View commit details
    Browse the repository at this point in the history

  2. cosmetic changes

    @mzeuner
    mzeuner committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    c3cadd0 View commit details
    Browse the repository at this point in the history