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

lieb_ando: use partially specified problem to get correct vexity #684

Merged
merged 5 commits into from
May 21, 2024
Merged

lieb_ando: use partially specified problem to get correct vexity #684

merged 5 commits into from
May 21, 2024

Commits on May 21, 2024

  1. use partially specified problem to get correct vexity

    @ericphanson @odow
    ericphanson authored and odow committed May 21, 2024
    Configuration menu
    Copy the full SHA
    7439505 View commit details
    Browse the repository at this point in the history

  2. oops, swap order

    @ericphanson @odow
    ericphanson authored and odow committed May 21, 2024
    Configuration menu
    Copy the full SHA
    730e7d3 View commit details
    Browse the repository at this point in the history

  3. up

    @ericphanson @odow
    ericphanson authored and odow committed May 21, 2024
    Configuration menu
    Copy the full SHA
    e41dc43 View commit details
    Browse the repository at this point in the history

  4. Update docs/src/developer/contributing.md

    @odow
    odow authored May 21, 2024
    Configuration menu
    Copy the full SHA
    129ae3a View commit details
    Browse the repository at this point in the history

  5. Update contributing.md

    @odow
    odow authored May 21, 2024
    Configuration menu
    Copy the full SHA
    9441aef View commit details
    Browse the repository at this point in the history