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

Fix initial store ignoring viewpoint adaption #681

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Fix initial store ignoring viewpoint adaption #681

wants to merge 6 commits into from

Commits on Jan 9, 2024

  1. Use adapted field types in initial store

    @flo2702
    flo2702 committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    dbdcb17 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Only use adapted field type for initialized receivers

    @flo2702
    flo2702 committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    bff3831 View commit details
    Browse the repository at this point in the history

  2. Fix bug where dependent types were added to the store in non-normaliz… 

    …ed state
    @flo2702
    flo2702 committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    f548d47 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. Don't use wildcard imports

    @flo2702
    flo2702 committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    cf7d725 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fixInitStoreViewpoint

    @flo2702
    flo2702 committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    b7e5ed3 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2024

  1. Merge branch 'master' into fixInitStoreViewpoint

    @wmdietl
    wmdietl committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    b052c46 View commit details
    Browse the repository at this point in the history