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.

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

[Merged by Bors] - feat: the multiGoal linter #12339

Closed
wants to merge 109 commits into from

Commits on Apr 22, 2024

  1. feat: the multiGoal linter

    adomani committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    dfe64d6 View commit details
    Browse the repository at this point in the history
  2. import at bottom and imports

    adomani committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    475c98a View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. more exclude/ignore

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    c6e3489 View commit details
    Browse the repository at this point in the history
  2. ignore conv_lhs/rhs

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    97a7d06 View commit details
    Browse the repository at this point in the history
  3. add test file

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    1821772 View commit details
    Browse the repository at this point in the history
  4. linterate

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    31d0e2a View commit details
    Browse the repository at this point in the history
  5. repeat'

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    fa6d4dd View commit details
    Browse the repository at this point in the history
  6. case'

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    dc3f312 View commit details
    Browse the repository at this point in the history
  7. Unlint assumption' and focus.

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    032028f View commit details
    Browse the repository at this point in the history
  8. docs

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    f03feb1 View commit details
    Browse the repository at this point in the history
  9. Add todo

    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    214ba12 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    79fe485 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    fa9d019 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    c526603 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. Configuration menu
    Copy the full SHA
    59042a7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    93e1ddf View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d912f74 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Configuration menu
    Copy the full SHA
    ffc6b69 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    962c67d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cba8899 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. import early and shake

    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    080b0c0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    75a0e92 View commit details
    Browse the repository at this point in the history
  3. unlint two files

    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    ce9a338 View commit details
    Browse the repository at this point in the history
  4. more mathlib fixes

    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    1b55583 View commit details
    Browse the repository at this point in the history
  5. one more cdot

    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    cfe902d View commit details
    Browse the repository at this point in the history
  6. silence Archive

    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    1b9d82e View commit details
    Browse the repository at this point in the history
  7. silence tests!

    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    1a25287 View commit details
    Browse the repository at this point in the history
  8. chore: more cdots

    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    f16f928 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    17ba5da View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    06b9532 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Configuration menu
    Copy the full SHA
    3d992a3 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. two more files

    adomani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    c0caa4d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2ecd134 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Configuration menu
    Copy the full SHA
    7517f38 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Configuration menu
    Copy the full SHA
    77235bb View commit details
    Browse the repository at this point in the history
  2. Move to Tactic/Linter

    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    5f42b76 View commit details
    Browse the repository at this point in the history
  3. Rename test to Multigoal.lean

    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    732c040 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ece35d7 View commit details
    Browse the repository at this point in the history
  5. Further fixes.

    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    4226f06 View commit details
    Browse the repository at this point in the history
  6. Fix noshake file

    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    90aefb0 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    4de1d51 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    33d5ee1 View commit details
    Browse the repository at this point in the history
  9. Add another test.

    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    b92fc1e View commit details
    Browse the repository at this point in the history
  10. Rename variables for clarity.

    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    ca0ae70 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. Configuration menu
    Copy the full SHA
    130941f View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2024

  1. Fix recent violations.

    grunweg committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    05d6947 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    16d319e View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Configuration menu
    Copy the full SHA
    18a70d9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    beb1374 View commit details
    Browse the repository at this point in the history
  3. Flag current violations.

    grunweg committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    16d7500 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Configuration menu
    Copy the full SHA
    369da82 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    11a3ebe View commit details
    Browse the repository at this point in the history
  3. Fix test

    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    3811f56 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7cf0b72 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    70b9a7f View commit details
    Browse the repository at this point in the history
  6. Fix typo, oops

    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    9327f61 View commit details
    Browse the repository at this point in the history
  7. chore: use HashSet.ofList instead of manually inserting often

    And switch to Std.HashSet.
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    c0c117a View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    ca1ede0 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    5e8896b View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    2943eef View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    a53f763 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    44b65ce View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Don't lint on sleepHeartbeats either.

    And remove a superfluous import, to make shake happy.
    grunweg committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    f894176 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Configuration menu
    Copy the full SHA
    586382b View commit details
    Browse the repository at this point in the history
  2. more dots

    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    e13dcbe View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cf2f11e View commit details
    Browse the repository at this point in the history
  4. remove set_options

    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    a929633 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    9fab516 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Configuration menu
    Copy the full SHA
    1def34b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bfef0a9 View commit details
    Browse the repository at this point in the history
  3. chore: add a focusing dot

    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    f7a8f88 View commit details
    Browse the repository at this point in the history
  4. Laurent

    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    1f13179 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    801bd98 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Configuration menu
    Copy the full SHA
    4a6adaa View commit details
    Browse the repository at this point in the history
  2. Kim' suggestions

    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    bfa207e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    47e3889 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a07749b View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1240d41 View commit details
    Browse the repository at this point in the history
  6. Merge branch 'adomani/lint_multiple_goals' of github.com:leanprover-c…

    …ommunity/mathlib4 into adomani/lint_multiple_goals
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    d82b7a7 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    574aac0 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Configuration menu
    Copy the full SHA
    ce49d09 View commit details
    Browse the repository at this point in the history
  2. remove the unexpected todo

    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    58f7936 View commit details
    Browse the repository at this point in the history
  3. two cdots

    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    2634afb View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    f4e1bc9 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    44bf842 View commit details
    Browse the repository at this point in the history
  6. another cdot

    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    b2fd434 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Configuration menu
    Copy the full SHA
    068780b View commit details
    Browse the repository at this point in the history
  2. two more cdots

    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    598d773 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    02fe311 View commit details
    Browse the repository at this point in the history
  4. another cdot

    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    1b34cd8 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    4df8d9b View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. cdot

    adomani committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    eadeffd View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    31e8639 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Configuration menu
    Copy the full SHA
    437e3b2 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Configuration menu
    Copy the full SHA
    28a1344 View commit details
    Browse the repository at this point in the history
  2. one cdot

    adomani committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    4932699 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Configuration menu
    Copy the full SHA
    67a79f8 View commit details
    Browse the repository at this point in the history
  2. Merge branch 'adomani/lint_multiple_goals' of github.com:leanprover-c…

    …ommunity/mathlib4 into adomani/lint_multiple_goals
    adomani committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    7717ed0 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. Configuration menu
    Copy the full SHA
    0883c70 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    88cb49d View commit details
    Browse the repository at this point in the history
  3. improve docs

    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    48de0f7 View commit details
    Browse the repository at this point in the history
  4. Adjust error message

    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    653155a View commit details
    Browse the repository at this point in the history
  5. another fix

    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    45a2a7c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    78c6e27 View commit details
    Browse the repository at this point in the history
  7. one more

    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    37e059f View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Configuration menu
    Copy the full SHA
    1ab13f9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    18e9f5b View commit details
    Browse the repository at this point in the history
  3. Update lakefile.lean

    Co-authored-by: grunweg <[email protected]>
    adomani and grunweg authored Oct 21, 2024
    Configuration menu
    Copy the full SHA
    dd46de6 View commit details
    Browse the repository at this point in the history
  4. Merge branch 'adomani/lint_multiple_goals' of github.com:leanprover-c…

    …ommunity/mathlib4 into adomani/lint_multiple_goals
    adomani committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    3e9d3e2 View commit details
    Browse the repository at this point in the history