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(Tactic/Linarith): Simplex Algorithm oracle #12014

Closed
wants to merge 27 commits into from
Closed

[Merged by Bors] - feat(Tactic/Linarith): Simplex Algorithm oracle #12014

wants to merge 27 commits into from

Commits on Apr 6, 2024

  1. replace Fourier-Motzkin with Simplex Algorithm

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

  2. refactor

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

Commits on Apr 7, 2024

  1. refactor

    @vasnesterov
    vasnesterov committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    a8ba15d View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. add doc strings

    @vasnesterov
    vasnesterov committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    41cc218 View commit details
    Browse the repository at this point in the history

  2. add imports to Tactic.lean

    @vasnesterov
    vasnesterov committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    fc7a9b1 View commit details
    Browse the repository at this point in the history

  3. fix docs

    @vasnesterov
    vasnesterov committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    5567bba View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. refactor

    @vasnesterov
    vasnesterov committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    8ec9fb6 View commit details
    Browse the repository at this point in the history

  2. add tests

    @vasnesterov
    vasnesterov committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    b059e95 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. small refactor

    @vasnesterov
    vasnesterov committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    f57f1f2 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. use more API & fix typos

    @vasnesterov
    vasnesterov committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    8f8807a View commit details
    Browse the repository at this point in the history

  2. fix doc string

    @vasnesterov
    vasnesterov committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    e71efc9 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. update docs

    @eric-wieser
    eric-wieser committed May 1, 2024
    Configuration menu
    Copy the full SHA
    f67e76f View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. remove row and col from GaussState

    @vasnesterov
    vasnesterov committed May 2, 2024
    Configuration menu
    Copy the full SHA
    c12f443 View commit details
    Browse the repository at this point in the history

  2. fix imports

    @vasnesterov
    vasnesterov committed May 2, 2024
    Configuration menu
    Copy the full SHA
    4b20517 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. fix typo

    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    fb9a135 View commit details
    Browse the repository at this point in the history

  2. unmerge the files

    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    b352894 View commit details
    Browse the repository at this point in the history

  3. more docs, rename

    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    42f9eda View commit details
    Browse the repository at this point in the history

  4. make dot notation work

    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    6797941 View commit details
    Browse the repository at this point in the history

  5. docstrings

    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    8a46860 View commit details
    Browse the repository at this point in the history

  6. test

    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    1138b5c View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into vasnesterov_linarit… 

    …h_simplex_algo
    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    58116f5 View commit details
    Browse the repository at this point in the history

  8. split docs

    @eric-wieser
    eric-wieser committed May 6, 2024
    Configuration menu
    Copy the full SHA
    6bff856 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. fix metavariables in tests

    @vasnesterov
    vasnesterov committed May 9, 2024
    Configuration menu
    Copy the full SHA
    45ca6ca View commit details
    Browse the repository at this point in the history

  2. unused import

    @vasnesterov
    vasnesterov committed May 9, 2024
    Configuration menu
    Copy the full SHA
    18974fc View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into vasnesterov_linarit… 

    …h_simplex_algo
    @eric-wieser
    eric-wieser committed May 9, 2024
    Configuration menu
    Copy the full SHA
    9d0cccd View commit details
    Browse the repository at this point in the history

  4. Std -> Batteries

    @vasnesterov
    vasnesterov committed May 9, 2024
    Configuration menu
    Copy the full SHA
    e3c983e View commit details
    Browse the repository at this point in the history

  5. comment slow test

    @vasnesterov
    vasnesterov committed May 9, 2024
    Configuration menu
    Copy the full SHA
    739832b View commit details
    Browse the repository at this point in the history