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

feat: the unusedVariableCommand linter #17715

Draft
wants to merge 211 commits into
base: master
Choose a base branch
from
Draft

feat: the unusedVariableCommand linter #17715

wants to merge 211 commits into from
+645 −1

Commits on Sep 28, 2024

  1. first attempts

    @adomani
    adomani committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    be52fb4 View commit details
    Browse the repository at this point in the history

  2. minor modifications

    @adomani
    adomani committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    98334cc View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2024

  1. Merge branch 'master' into adomani/unused_variable_command_linter

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    a96ef0b View commit details
    Browse the repository at this point in the history

  2. remove non-existing polymorphicity

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    0033dc8 View commit details
    Browse the repository at this point in the history

  3. remove some fluff

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    486ef38 View commit details
    Browse the repository at this point in the history

  4. more cleanup

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    29ead59 View commit details
    Browse the repository at this point in the history

  5. possibly working?

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    1855454 View commit details
    Browse the repository at this point in the history

  6. import and use from bottom

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    2baec1a View commit details
    Browse the repository at this point in the history

  7. examine lemmas

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    ad117ac View commit details
    Browse the repository at this point in the history

  8. chore: remove some unused variables

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    ff3488d View commit details
    Browse the repository at this point in the history

  9. remove comment

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    7546174 View commit details
    Browse the repository at this point in the history

  10. more removals

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    eaa92c4 View commit details
    Browse the repository at this point in the history

  11. one more

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    e9552bf View commit details
    Browse the repository at this point in the history

  12. more at the top

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    a053d06 View commit details
    Browse the repository at this point in the history

  13. copyright, remove syntax filters, add some docs

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    2397378 View commit details
    Browse the repository at this point in the history

  14. informative print also for what was .anonymous

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    59ba093 View commit details
    Browse the repository at this point in the history

  15. do not print on examples

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    966be2f View commit details
    Browse the repository at this point in the history

  16. more docs

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    b099312 View commit details
    Browse the repository at this point in the history

  17. remove unused import

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    b1debfd View commit details
    Browse the repository at this point in the history

  18. prune old code

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    c10d686 View commit details
    Browse the repository at this point in the history

  19. logLint instead of log

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    45b642d View commit details
    Browse the repository at this point in the history

  20. another batch

    @adomani
    adomani committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    f70dfcd View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Merge branch 'adomani/unused_variable_removals' into adomani/unused_v… 

    …ariable_command_linter
    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    f4620ef View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_command_linter
    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    ca30285 View commit details
    Browse the repository at this point in the history

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

    …able_command_linter
    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    da4e908 View commit details
    Browse the repository at this point in the history

  4. add shadow

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    9822744 View commit details
    Browse the repository at this point in the history

  5. disable unusedVariable

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    d8a2c5a View commit details
    Browse the repository at this point in the history

  6. search for decls inside syntax

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    0ea86b1 View commit details
    Browse the repository at this point in the history

  7. enable both

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    c5afcfb View commit details
    Browse the repository at this point in the history

  8. comment inspect

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    bebc090 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. hack toFalse

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

  2. Merge branch 'adomani/unused_variable_command_linter' of github.com:l… 

    …eanprover-community/mathlib4 into adomani/unused_variable_command_linter
    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    cc8d4a3 View commit details
    Browse the repository at this point in the history

  3. use mkIdent

    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    8e85f4f View commit details
    Browse the repository at this point in the history

  4. replace declValsEqns and whereStruct

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

  5. doc

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

  6. shadow also finds repeated variables

    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    691f10e View commit details
    Browse the repository at this point in the history

  7. restore the unuvar

    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    17ebf8c View commit details
    Browse the repository at this point in the history

  8. shadow docs

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

  9. Merge branch 'adomani/unused_variable_command_linter' of github.com:l… 

    …eanprover-community/mathlib4 into adomani/unused_variable_command_linter
    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    9bbcb2e View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. remove some variables

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

  2. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

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

  3. fewer variables

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

Commits on Oct 4, 2024

  1. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_command_linter
    @adomani
    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    23f0713 View commit details
    Browse the repository at this point in the history

  2. add (find)binders and mkThmWithHyps

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

  3. plumb

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

Commits on Oct 5, 2024

  1. add mkThmCore

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

Commits on Oct 6, 2024

  1. Merge branch 'adomani/unused_variable_command_linter' of github.com:l… 

    …eanprover-community/mathlib4 into adomani/unused_variable_command_linter
    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    ee5556f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_command_linter
    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    27e1b3b View commit details
    Browse the repository at this point in the history

  3. add syntax filters

    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    05083b6 View commit details
    Browse the repository at this point in the history

  4. extract getPropValue

    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    93f1e92 View commit details
    Browse the repository at this point in the history

  5. small fix

    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    65dfb6d View commit details
    Browse the repository at this point in the history

  6. extract more binders

    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    1d5b0c6 View commit details
    Browse the repository at this point in the history

  7. def and use in linter

    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    674f420 View commit details
    Browse the repository at this point in the history

  8. some vars

    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    554d688 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'adomani/unused_variable_command_linter' of github.com:l… 

    …eanprover-community/mathlib4 into adomani/unused_variable_command_linter
    @adomani
    adomani committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    1450a3c View commit details
    Browse the repository at this point in the history

  10. some vars

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

Commits on Oct 7, 2024

  1. improve def

    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    36f8961 View commit details
    Browse the repository at this point in the history

  2. more disappearing vars

    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    6e90ead View commit details
    Browse the repository at this point in the history

  3. more disappearing vars

    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    1af6ee0 View commit details
    Browse the repository at this point in the history

  4. adjust

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

  5. merge lines

    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    35b6dc0 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'adomani/unused_vars2' into adomani/unused_variable_comm… 

    …and_linter
    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    24482e5 View commit details
    Browse the repository at this point in the history

  7. more vars

    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    996bc7b View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_command_linter
    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    7f66476 View commit details
    Browse the repository at this point in the history

  9. some more unused variables

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

  10. some more unused variables

    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    406dc45 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. syntax matching

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

  2. Merge branch 'adomani/unused_variable_command_linter' of github.com:l… 

    …eanprover-community/mathlib4 into adomani/unused_variable_command_linter
    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    c05fab0 View commit details
    Browse the repository at this point in the history

  3. fewer variables

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    3368d9b View commit details
    Browse the repository at this point in the history

  4. fewer variables

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    0f5a0af View commit details
    Browse the repository at this point in the history

  5. fewer vars in linearalgebra

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    597971c View commit details
    Browse the repository at this point in the history

  6. match better on instance

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

  7. fewer vars in linearalgebra

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    358fe46 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/master' into adomani/unused_vars4

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    91c0f2e View commit details
    Browse the repository at this point in the history

  9. remove import

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    7bf4d57 View commit details
    Browse the repository at this point in the history

  10. remove import

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

  11. another batch

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    6c46c7f View commit details
    Browse the repository at this point in the history

  12. another batch

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    2bce19a View commit details
    Browse the repository at this point in the history

  13. many more

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    77b632f View commit details
    Browse the repository at this point in the history

  14. many more

    @adomani
    adomani committed Oct 8, 2024
    1 Configuration menu
    Copy the full SHA
    99a4432 View commit details
    Browse the repository at this point in the history

  15. fix

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    4b78d88 View commit details
    Browse the repository at this point in the history

  16. rename universe

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

  17. renames

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

  18. Merge branch 'nightly-testing' of github.com:leanprover-community/mat… 

    …hlib4 into nightly-testing
    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    9accaf6 View commit details
    Browse the repository at this point in the history

  19. another universe rename

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

  20. upstream beta

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    57987c3 View commit details
    Browse the repository at this point in the history

  21. another universe

    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    7bdc0c7 View commit details
    Browse the repository at this point in the history

  22. Merge branch 'adomani/unused_vars4' into adomani/unused_variable_comm… 

    …and_linter
    @adomani
    adomani committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    9acc67e View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. more at the end

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

  2. Merge branch 'master' into adomani/unused_variable_command_linter

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

  3. Merge branch 'adomani/unused_variable_command_linter' of github.com:l… 

    …eanprover-community/mathlib4 into adomani/unused_variable_command_linter
    @adomani
    adomani committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    13eaa48 View commit details
    Browse the repository at this point in the history

  4. chore: another batch of variable removals

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

  5. Merge branch 'adomani/unused_vars6' into adomani/unused_variable_comm… 

    …and_linter
    @adomani
    adomani committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    4e20fe5 View commit details
    Browse the repository at this point in the history

  6. second batch

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

  7. Merge branch 'adomani/unused_vars6' into adomani/unused_variable_comm… 

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

  8. chore: remove a few more variables

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

  9. Merge branch 'adomani/unused_vars7' into adomani/unused_variable_comm… 

    …and_linter
    @adomani
    adomani committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    631e06a View commit details
    Browse the repository at this point in the history

  10. a few more

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

  11. Merge branch 'adomani/unused_vars7' into adomani/unused_variable_comm… 

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

  12. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

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

  13. differentiable

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

  14. chore: remove some variables

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

  15. Merge branch 'adomani/unused_vars8' into adomani/unused_variable_comm… 

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

Commits on Oct 10, 2024

  1. extract some ref management

    @adomani
    adomani committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    9389d28 View commit details
    Browse the repository at this point in the history

  2. simplify ref and add doc

    @adomani
    adomani committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    92df74c View commit details
    Browse the repository at this point in the history

  3. rename addVarName to addUsedVarName

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

  4. more docs

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

  5. algebra ring divisibility

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

  6. docs and reconstruct ins before the declaration

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

Commits on Oct 11, 2024

  1. print string of variables

    @adomani
    adomani committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    1dbd9f0 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2024

  1. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_command_linter
    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    a537fef View commit details
    Browse the repository at this point in the history

  2. hack for defs

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

  3. remove some comments

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

  4. remove some unused vars

    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    337ee09 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_command_linter
    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    c177120 View commit details
    Browse the repository at this point in the history

  6. remove some unused vars

    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    89d05ea View commit details
    Browse the repository at this point in the history

  7. two more

    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    013bc2e View commit details
    Browse the repository at this point in the history

  8. revert one

    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    822822c View commit details
    Browse the repository at this point in the history

  9. Merge branch 'adomani/more_removed_vars' into adomani/unused_variable… 

    …_command_linter
    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    7313a4b View commit details
    Browse the repository at this point in the history

  10. remove test class

    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    01f6eab View commit details
    Browse the repository at this point in the history

  11. Merge branch 'adomani/more_removed_vars' into adomani/unused_variable… 

    …_command_linter
    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    2093b24 View commit details
    Browse the repository at this point in the history

  12. remove test class

    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    88c7ca4 View commit details
    Browse the repository at this point in the history

  13. another batch

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

  14. Merge branch 'adomani/more_removed_vars' into adomani/unused_variable… 

    …_command_linter
    @adomani
    adomani committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    d2a75c3 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. feat: the unusedVariableCommand linter

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    788a27f View commit details
    Browse the repository at this point in the history

  2. set the linter to true

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    91d8e01 View commit details
    Browse the repository at this point in the history

  3. fix declIds

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

  4. more

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

  5. Merge branch 'adomani/more_removed_vars' into adomani/unused_variable… 

    …_only
    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    dd8b86d View commit details
    Browse the repository at this point in the history

  6. fix test

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    1548ed1 View commit details
    Browse the repository at this point in the history

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

    …d_vars
    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    713a1fa View commit details
    Browse the repository at this point in the history

  8. yet more

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

  9. Merge branch 'adomani/more_removed_vars' into adomani/unused_variable… 

    …_only
    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    9879944 View commit details
    Browse the repository at this point in the history

  10. fix "lemma" issue

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    90dafae View commit details
    Browse the repository at this point in the history

  11. two more

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    0c3cb71 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'adomani/more_removed_vars' into adomani/unused_variable… 

    …_only
    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    47991f1 View commit details
    Browse the repository at this point in the history

  13. deal with examples

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    058b076 View commit details
    Browse the repository at this point in the history

  14. chore: remove unused variables

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

  15. get state earlier

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    0d0e356 View commit details
    Browse the repository at this point in the history

  16. more vars

    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    737f1d4 View commit details
    Browse the repository at this point in the history

  17. Merge remote-tracking branch 'origin/master' into adomani/more_remove… 

    …d_vars2
    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    8d7ce3d View commit details
    Browse the repository at this point in the history

  18. Merge branch 'adomani/more_removed_vars2' into adomani/unused_variabl… 

    …e_only
    @adomani
    adomani committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    4105586 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. yet more

    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    85a41f2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'adomani/more_removed_vars2' into adomani/unused_variabl… 

    …e_only
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    f83dd88 View commit details
    Browse the repository at this point in the history

  3. chore: remove and rename variables

    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    8c6476f View commit details
    Browse the repository at this point in the history

  4. new inclusion mechanism

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

  5. Merge branch 'adomani/remove_variables_3' into adomani/unused_variabl… 

    …e_only
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    8e1ccb8 View commit details
    Browse the repository at this point in the history

  6. more and more

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

  7. more and more

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

  8. Merge branch 'adomani/unused_variable_command_linter' into adomani/un… 

    …used_variable_only
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    2c8390e View commit details
    Browse the repository at this point in the history

  9. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_only
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    344b591 View commit details
    Browse the repository at this point in the history

  10. two more

    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    189bb40 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'adomani/more_unused_vars0' into adomani/unused_variable… 

    …_only
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    3b746a6 View commit details
    Browse the repository at this point in the history

  12. more

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

  13. Merge remote-tracking branch 'origin/master' into adomani/more_remove… 

    …d_vars2
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    a935eed View commit details
    Browse the repository at this point in the history

  14. Merge branch 'adomani/more_removed_vars2' into adomani/unused_variabl… 

    …e_only
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    b142a54 View commit details
    Browse the repository at this point in the history

  15. chore: more unused variables

    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    8a89bdd View commit details
    Browse the repository at this point in the history

  16. Merge branch 'adomani/batch_n' into adomani/unused_variable_only

    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    2aaf36c View commit details
    Browse the repository at this point in the history

  17. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_only
    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    8f20661 View commit details
    Browse the repository at this point in the history

  18. Add telescope, better printing, #show_used and showDefs

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

  19. another round

    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    8372d2c View commit details
    Browse the repository at this point in the history

  20. Merge branch 'adomani/batch_n' into adomani/unused_variable_only

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

  21. one more

    @adomani
    adomani committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    763ca58 View commit details
    Browse the repository at this point in the history

  22. Merge remote-tracking branch 'origin/master' into adomani/batch_n

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

  23. docs

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

  24. Merge branch 'adomani/batch_n' into adomani/unused_variable_only

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

Commits on Oct 16, 2024

  1. more at the bottom

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    6dd2ac0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'adomani/batch_n' into adomani/unused_variable_only

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

  3. plant test

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    4d4caed View commit details
    Browse the repository at this point in the history

  4. print less

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

  5. chore: remove more unused variables

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    49553d8 View commit details
    Browse the repository at this point in the history

  6. another batch

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

  7. another batch

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    36a6933 View commit details
    Browse the repository at this point in the history

  8. third batch

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

  9. third batch

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0f621fc View commit details
    Browse the repository at this point in the history

  10. Merge branch 'adomani/batch_m' into adomani/unused_variable_only

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    693f0c4 View commit details
    Browse the repository at this point in the history

  11. more and more

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    483d625 View commit details
    Browse the repository at this point in the history

  12. combining lines

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

  13. more and more

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

  14. Merge branch 'adomani/more_removed_vars2' into adomani/unused_variabl… 

    …e_only
    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    425bf93 View commit details
    Browse the repository at this point in the history

  15. Merge branch 'adomani/batch_m' into adomani/unused_variable_only

    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    5d7e5c9 View commit details
    Browse the repository at this point in the history

  16. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_only
    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    8f4ecec View commit details
    Browse the repository at this point in the history

  17. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_only
    @adomani
    adomani committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    1633d77 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. add tests

    @adomani
    adomani committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    80b62d9 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_only
    @adomani
    adomani committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    4b32234 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. use a structure, rather than a product

    @adomani
    adomani committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    1666f6f View commit details
    Browse the repository at this point in the history

  2. docs

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

Commits on Oct 19, 2024

  1. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_only
    @adomani
    adomani committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    3375b4f View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. chore: removed unused variables

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

  2. Merge branch 'adomani/unused_fixes' into adomani/unused_variable_only

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

Commits on Oct 21, 2024

  1. Merge branch 'master' into adomani/unused_variable_only

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

Commits on Oct 24, 2024

  1. chore: remove variables

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

  2. chore: remove a variable and collapse rest

    @adomani
    adomani committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    1cda137 View commit details
    Browse the repository at this point in the history

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

    …able_only
    @adomani
    adomani committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    ce0745f View commit details
    Browse the repository at this point in the history

  4. wrong removal

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

  5. Merge branch 'adomani/more_rm_vars' into adomani/unused_variable_only

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

  6. Merge branch 'adomani/remove_and_rename_finiteDimension' into adomani… 

    …/unused_variable_only
    @adomani
    adomani committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    75d1dc6 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. n to i

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

  2. Merge branch 'adomani/more_rm_vars' into adomani/unused_variable_only

    @adomani
    adomani committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    74b0041 View commit details
    Browse the repository at this point in the history

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

    …able_only
    @adomani
    adomani committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    ea6a1b5 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into adomani/unused_variable_only

    @adomani
    adomani committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    1b5a224 View commit details
    Browse the repository at this point in the history

  5. chore: remove unused variables

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

  6. Merge branch 'adomani/remove_n_vars_n' into adomani/unused_variable_only

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

Commits on Oct 27, 2024

  1. Merge remote-tracking branch 'origin/master' into adomani/unused_vari… 

    …able_only
    @adomani
    adomani committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    6e76d49 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. chore: remove more variables

    @adomani
    adomani committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    115b024 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'adomani/remove_more_and_more_vars' into adomani/unused_… 

    …variable_only
    @adomani
    adomani committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    4e6a34e View commit details
    Browse the repository at this point in the history

  3. chore: remove unused vars

    @adomani
    adomani committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    4ea489c View commit details
    Browse the repository at this point in the history

  4. Merge branch 'adomani/remove_another_batch_of_vars' into adomani/unus… 

    …ed_variable_only
    @adomani
    adomani committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    d9974be View commit details
    Browse the repository at this point in the history

  5. Update Mathlib/Computability/Partrec.lean

    @adomani
    adomani authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    3a54c50 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/adomani/remove_another_batch_of_… 

    …vars' into adomani/unused_variable_only
    @adomani
    adomani committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    ea4fd1c View commit details
    Browse the repository at this point in the history

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

    …able_only
    @adomani
    adomani committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    7a11068 View commit details
    Browse the repository at this point in the history