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] - feat(topology/basic): Lim_spec etc. cleanup #4545

Closed
wants to merge 8 commits into from
Closed

[Merged by Bors] - feat(topology/basic): Lim_spec etc. cleanup #4545

wants to merge 8 commits into from

Commits on Oct 8, 2020

  1. Rename + add ne_bot instance

    @adamtopaz
    adamtopaz committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    90896e9 View commit details
    Browse the repository at this point in the history

  2. Add lemmas

    @adamtopaz
    adamtopaz committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    ab0c645 View commit details
    Browse the repository at this point in the history

  3. Clean up proof.

    @adamtopaz
    adamtopaz committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    78993a2 View commit details
    Browse the repository at this point in the history

  4. Rename

    @adamtopaz
    adamtopaz committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    3c21132 View commit details
    Browse the repository at this point in the history

  5. rename

    @adamtopaz
    adamtopaz committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    bc03659 View commit details
    Browse the repository at this point in the history

  6. rename

    @adamtopaz
    adamtopaz committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    4f0bf70 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2020

  1. Apply suggestions from code review

    @urkud
    urkud committed Oct 9, 2020
    Configuration menu
    Copy the full SHA
    02e8d8d View commit details
    Browse the repository at this point in the history

  2. Fix compile 

    Sorry for breaking it
    @urkud
    urkud committed Oct 9, 2020
    Configuration menu
    Copy the full SHA
    c6bceca View commit details
    Browse the repository at this point in the history