Branches

• upstream/#eval
• upstream/10469_regression
• upstream/11209_fix
• upstream/11209_testing
• upstream/12602-pre
• upstream/1275
• upstream/13_release_notes
• upstream/1633
• upstream/2022-deprecations
• upstream/2143
• upstream/2161
• upstream/2971
• upstream/3807_slowdown
• upstream/3965_regression
• upstream/3965_regression_2
• upstream/4006_crash
• upstream/4328
• upstream/4595_slowdown
• upstream/4958
• upstream/5126
• upstream/5184
• upstream/5225_5226_nightly
• upstream/8212_fix
• upstream/8518_partial
• upstream/9367_regression
• upstream/9369_regression
• upstream/9814_regression
• upstream/Array.mapIdx
• upstream/Array.non_mem_empty
• upstream/Array.ofFn_def
• upstream/Array.pmap
• upstream/Array.toList
• upstream/Array_inj
• upstream/BitVec.pow
• upstream/ByteArray_empty_normal_form
• upstream/CI-testing2
• upstream/CI_fix10
• upstream/CI_fix9
• upstream/Char.size
• upstream/CheckAssignmentQuick_cache
• upstream/Command.mkMetaContext
• upstream/CoreM.toIO
• upstream/DHashMap.contains_iff_mem_grind
• upstream/DHashMap_structure
• upstream/ExtHashMapD
• upstream/Fin.le_antisymm
• upstream/Fin.mk_eq_zero
• upstream/Fin.ofNat_mul
• upstream/Fin.ofNat_signature
• upstream/Fin_unsimp
• upstream/HashMap.modify
• upstream/HashSet.merge
• upstream/HashSet.ofArray
• upstream/HashSet.partition
• upstream/Int.cast_eq
• upstream/Int.pow_zero
• upstream/Int.toNat_emod
• upstream/Int.toNat_sub
• upstream/IntModule_refactor
• upstream/IsCharP_outParam
• upstream/IsDefEqFailureCache
• upstream/LEAN_EXPORT
• upstream/LetExpr
• upstream/List.getElem_take_primes
• upstream/List.head_mem_head
• upstream/List.head_singleton
• upstream/List.modifyHead_dropLast
• upstream/List_ofFn_succ_simp
• upstream/MCtxM
• upstream/MessageData_workaround
• upstream/MetavarContext
• upstream/NaNnorm
• upstream/Nat.dfold
• upstream/Nat.fold_add
• upstream/Nat.le_of_add_left_le
• upstream/NoNatZeroDivisors_NatModule
• upstream/OfNatOption
• upstream/Option.toMonad
• upstream/PArray_forM
• upstream/PSigma_exists_universe
• upstream/Poly_RArray2
• upstream/PrivateWithMacroScopes
• upstream/Prod_map_explicitness
• upstream/RArray2
• upstream/Rat_bug
• upstream/Rat_ofScientific_def
• upstream/SAVE_REFACTOR
• upstream/Sublist.eq_of_length_le
• upstream/SymMNew
• upstream/SymM_refactor
• upstream/ToInt_instances
• upstream/UInt.val_ofNat_eq_ofNat
• upstream/UIntX.ofInt
• upstream/UIntX.pow
• upstream/Vector.getElem_take
• upstream/_nested_abuse
• upstream/aarch64
• upstream/aarch64-tar
• upstream/aarch64-test
• upstream/abbrev_thm
• upstream/abstract_def_types
• upstream/acc-type
• upstream/accept_more
• upstream/activate-grind-annotated
• upstream/add-benchmark-skill
• upstream/add-include
• upstream/add-std-streams
• upstream/add_cli_to_release_checklist
• upstream/add_div_of_dvd_add_add_one
• upstream/add_left_eq_self
• upstream/add_missing_copyrights
• upstream/adjust_grind_lemmas
• upstream/adjust_monad_simps
• upstream/advice_about_supportInterpreter
• upstream/agent/array-qsort-proofs
• upstream/agent/array-qsort-three-way
• upstream/alectryon
• upstream/alias-quot
• upstream/align_attach
• upstream/align_back
• upstream/align_beq
• upstream/align_count
• upstream/align_erase
• upstream/align_erase_prelims
• upstream/align_extract
• upstream/align_filter
• upstream/align_finRange
• upstream/align_find
• upstream/align_flatMap
• upstream/align_flatten
• upstream/align_fold
• upstream/align_insertIdx
• upstream/align_leftpad
• upstream/align_map
• upstream/align_mapIdx
• upstream/align_mkArray
• upstream/align_ofFn
• upstream/align_pop
• upstream/align_range
• upstream/align_reverse
• upstream/align_zip
• upstream/all-the-worlds-a-stage
• upstream/all_filter
• upstream/alloc-leaf-fastpath
• upstream/allocation-free-loop
• upstream/alphaShareBuilder
• upstream/always-trace
• upstream/analyze_grind_notes
• upstream/and-action
• upstream/and_xor_distrib
• upstream/and_xor_distrib_left
• upstream/anne/linterSets
• upstream/anne/mathlib-dep-template
• upstream/anne/release_checklist-clarifications
• upstream/anon-inst-rename
• upstream/another_grind_module_panic
• upstream/antisymm_prop
• upstream/append_lemmas
• upstream/apply-edit
• upstream/apply-remove-solve-by-elim-first-pass
• upstream/apply_error_message
• upstream/apply_error_msg
• upstream/apply_helpers
• upstream/apply_non_synthetic_sorry
• upstream/apply_subgoal_name
• upstream/array-mapfinidx-inplace
• upstream/array2
• upstream/array_30
• upstream/array_31
• upstream/array_alignment_fold_map
• upstream/array_any
• upstream/array_any2
• upstream/array_append
• upstream/array_args_order
• upstream/array_attach
• upstream/array_bounds_checks
• upstream/array_cleanup
• upstream/array_cleanup-2025-02-27
• upstream/array_cleanup2
• upstream/array_cleanup3
• upstream/array_cleanup4
• upstream/array_cleanup5
• upstream/array_cleanup6
• upstream/array_cleanup7
• upstream/array_comments
• upstream/array_eraseIdx
• upstream/array_eraseReps
• upstream/array_erase_doc_strings
• upstream/array_find
• upstream/array_find_universe
• upstream/array_for_loops
• upstream/array_getElem_simprocs
• upstream/array_get_internal
• upstream/array_isEqv
• upstream/array_lawful_beq
• upstream/array_lex
• upstream/array_list_fold
• upstream/array_modify
• upstream/array_perm
• upstream/array_reduceOption
• upstream/array_replace
• upstream/array_replicate
• upstream/array_set
• upstream/array_size_semireducible
• upstream/array_swap_docstring
• upstream/array_takeWhile
• upstream/array_tweaks
• upstream/assert_hypotheses
• upstream/async-env
• upstream/async-proofs-base
• upstream/async-thm-exported-info
• upstream/async-thm-original-kind
• upstream/async/event-loop
• upstream/atomic-release
• upstream/attachWith
• upstream/attach_simproc
• upstream/attribute_eq_refl
• upstream/auto-impl-optparam
• upstream/auto-implicit-hint
• upstream/auto_aspirations
• upstream/autobound-always-test
• upstream/autobound-doc
• upstream/autoimplicit-complex-warning
• upstream/avoid_reserved
• upstream/awaiting-mathlib-ci
• upstream/awaiting-mathlib-yellow
• upstream/azure
• upstream/back_eq_back
• upstream/back_get
• upstream/back_proj
• upstream/back_simp
• upstream/backport-10173-to-releases/v4.23.0
• upstream/backport-10429-to-releases/v4.24.0
• upstream/backport-10868-to-releases/v4.25.0
• upstream/backport-10926-to-releases/v4.25.0
• upstream/backport-11215-to-releases/v4.26.0
• upstream/backport-11673-to-releases/v4.27.0
• upstream/backport-12688-to-releases/v4.29.0
• upstream/backport-12719-to-releases/v4.29.0
• upstream/backport-12821-to-releases/v4.29.0
• upstream/backport-13043-to-releases/v4.29.0
• upstream/backport-13051-to-releases/v4.29.0
• upstream/backport-13059-to-releases/v4.29.0
• upstream/backport-13302-to-releases/v4.30.0
• upstream/backport-13304-to-releases/v4.30.0
• upstream/backport-13311-to-releases/v4.30.0
• upstream/backport-13323-to-releases/v4.30.0
• upstream/backport-13441-to-releases/v4.30.0
• upstream/backport-13579-to-releases/v4.30.0
• upstream/backport-14477-to-releases/v4.34.0
• upstream/backport-14498-to-releases/v4.33.0
• upstream/backport-14788-to-releases/v4.34.0
• upstream/backport-14791-to-releases/v4.34.0
• upstream/backport-14916-to-releases/v4.34.0
• upstream/backport-15093-to-releases/v4.34.0
• upstream/backport-15095-to-releases/v4.34.0
• upstream/backport-15241-to-releases/v4.35.0
• upstream/backport-15289-to-releases/v4.34.0
• upstream/backport-15289-to-releases/v4.35.0
• upstream/backport-15391-to-releases/v4.35.0
• upstream/backport-15429-to-releases/v4.35.0
• upstream/backport-15430-to-releases/v4.35.0
• upstream/backport-15542-to-releases/v4.35.0
• upstream/backport-16253-to-releases/v4.36.0
• upstream/backport-2579-to-releases/v4.1.0
• upstream/backport-2606-to-releases/v4.2.0
• upstream/backport-3595-to-releases/v4.7.0
• upstream/backport-4071-to-releases/v4.8.0
• upstream/backport-4097-to-releases/v4.8.0
• upstream/backport-4436-to-releases/v4.9.0
• upstream/backport-4443-to-releases/v4.9.0
• upstream/backport-4554-to-releases/v4.9.0
• upstream/backport-5036-to-releases/v4.11.0
• upstream/backport-5736-to-releases/v4.13.0
• upstream/backport-5752-to-releases/v4.13.0
• upstream/backport-6325-to-releases/v4.19.0
• upstream/backport-6535-to-releases/v4.16.0
• upstream/backport-6574-to-releases/v4.16.0
• upstream/backport-7409-to-releases/v4.18.0
• upstream/backport-8193-to-releases/v4.20.0
• upstream/backport-8228-to-releases/v4.20.0
• upstream/backport-8231-to-releases/v4.20.0
• upstream/backport-8236-to-releases/v4.20.0
• upstream/backport-8238-to-releases/v4.20.0
• upstream/backport-8242-to-releases/v4.20.0
• upstream/backport-incr-v4.28
• upstream/backport-rc-sticky-to-releases/v4.34.0
• upstream/backport-rc-sticky-to-releases/v4.35.0
• upstream/backup-cert-presplit
• upstream/backup-nested-certificate
• upstream/base
• upstream/batteries
• upstream/begin-dev-cycle-4.9.0
• upstream/begin-dev-cycle-v4.27.0
• upstream/begin-dev-cycle-v4.29.0
• upstream/begin-dev-cycle-v4.4.0
• upstream/begin-dev-cycle-v4.6.0
• upstream/begin-dev-cycle-v4.7.0
• upstream/begin_dev_cycle_14
• upstream/begin_dev_cycle_17
• upstream/begin_dev_cycle_24
• upstream/begin_dev_cycle_4.15
• upstream/begin_dev_cycle_4_25
• upstream/begin_dev_cycle_4_26
• upstream/begin_dev_cycle_v4.10.0
• upstream/begin_dev_cycle_v4.11.0
• upstream/begin_dev_cycle_v4.16.0
• upstream/begin_dev_cycle_v4.18.0
• upstream/begin_dev_cycle_v4.19
• upstream/begin_dev_cycle_v4.8.0
• upstream/bench
• upstream/bench-import-lean
• upstream/bench-symbols
• upstream/benchmarking
• upstream/beq_bytearray
• upstream/best-compiled-cold
• upstream/betaLetRecApps_perf
• upstream/beta_cleanup
• upstream/better_find_filterMap
• upstream/big-ctor-nested
• upstream/bimon_mwe
• upstream/binSearch
• upstream/bind_map_explicitness
• upstream/binder_predicates
• upstream/binop-macros
• upstream/binop_perf
• upstream/bitVec_toNat_ofNat
• upstream/bitblast
• upstream/bitblast_cleanup
• upstream/bitvec-zero-counts
• upstream/bitvec_authors
• upstream/bitvec_decidable_quantifiers
• upstream/bitvec_ext
• upstream/bitvec_getLsb_rename
• upstream/bitvec_getelem_lemmas
• upstream/bitvec_int_add_mul_lemmas
• upstream/bitvec_int_lemmas
• upstream/bitvec_lemmas
• upstream/bitvec_lemmas2
• upstream/bitvec_ofNatLt
• upstream/bitvec_reorg
• upstream/bitvec_simplc
• upstream/bitvec_simproc
• upstream/bitvec_simps
• upstream/blubb
• upstream/body-indent
• upstream/body-parameter-infos
• upstream/bool_namespacing
• upstream/bool_norm
• upstream/bool_simps
• upstream/boolasprop
• upstream/bootstrap-prelude-option
• upstream/bounce-around-debounce
• upstream/brecon_perf
• upstream/broken
• upstream/buffer-panic
• upstream/bug-report-use-version
• upstream/buggy_instance
• upstream/build_win_issue
• upstream/builtin-cap
• upstream/builtin-docs
• upstream/builtin-wmod
• upstream/builtin_prop
• upstream/builtin_rpc_proc
• upstream/bump-error-explanations
• upstream/bump-openssl
• upstream/bump_zsmul
• upstream/bundle-con-leche
• upstream/bundle-con-ron
• upstream/bundle-lean4lean
• upstream/bundle-llvm
• upstream/bundle-llvm-linux
• upstream/bundle-llvm-macos
• upstream/bundle-llvm-windows
• upstream/bundle-nanoda
• upstream/bv_decide_stubs
• upstream/bv_explicit_deceq_inst
• upstream/bv_fin_lit_norm
• upstream/bv_lit_match_perf
• upstream/bv_no_std
• upstream/bv_omega
• upstream/bv_shift_shift
• upstream/bv_shift_with_bv_lit
• upstream/bv_unused
• upstream/bvdecide-regressions
• upstream/bvlit_notscoped
• upstream/by-state
• upstream/byAsSorry_fixes
• upstream/by_as_sorry
• upstream/bytearray-copyslice-borrow
• upstream/bytearray-copyslice-leak
• upstream/bytearray-copywithin
• upstream/bytearray-uint32-accessors
• upstream/c++17
• upstream/cache-option-trace
• upstream/cache_unfold
• upstream/cadical
• upstream/calc
• upstream/cancel-system
• upstream/cancelparams
• upstream/canon_check_types
• upstream/canon_new
• upstream/canon_univ
• upstream/canonicalizing_functions
• upstream/case_merge
• upstream/casesTrace
• upstream/cases_bug
• upstream/cases_num
• upstream/catch-nng-induction
• upstream/catchkernelexceptions
• upstream/cbv-core-public
• upstream/cbv_sym_bad_proof
• upstream/ccache-size
• upstream/cdot_issue
• upstream/change
• upstream/change_array_Set
• upstream/change_array_get
• upstream/change_getLast_cons
• upstream/changelog-labels
• upstream/char_lemmas
• upstream/char_theorems
• upstream/cheap-lake-check-tests
• upstream/cheaper-suggest
• upstream/checkConfig
• upstream/checkMaxshared
• upstream/check_app_perf
• upstream/check_dev_cycle
• upstream/check_tactic
• upstream/child-wait-fail
• upstream/chore-ci-failure-reporting
• upstream/chore-claude-ci-docs
• upstream/chore-fix-sym-bench-run
• upstream/chore-set-caller-field
• upstream/chore-verso-submanifest-sync
• upstream/chore/add-leansqlite-to-release-repos
• upstream/chore/begin-dev-v4.28.0
• upstream/chore/claude-copyright-guidance
• upstream/chore/claude-module-prelude-guidance
• upstream/chore/doc-gen4-after-mathlib
• upstream/chore/proofwidgets-no-batteries
• upstream/chore/release-checklist-refman-title
• upstream/chore/release-command-pr-status
• upstream/chore/remove-stale-release-drafts
• upstream/chore/update-release-repos
• upstream/chore_bench
• upstream/chore_leftover
• upstream/chore_test
• upstream/ci-artifacts
• upstream/ci-cancel
• upstream/ci-changelog
• upstream/ci-check-empty-pr
• upstream/ci-empty-matrix
• upstream/ci-fast-debug
• upstream/ci-full-build
• upstream/ci-macos-master-check
• upstream/ci-pack
• upstream/ci-release-concur-push
• upstream/ci-warn-as-error
• upstream/ci_test
• upstream/clang-win
• upstream/clarify_copyright
• upstream/clarify_linarith_issues
• upstream/classical
• upstream/claude-md-no-process-narrative
• upstream/claude-md-test-docs
• upstream/claude.md
• upstream/claude_md_update
• upstream/clause_md
• upstream/clean-cmdline-snaps
• upstream/cleanup
• upstream/cleanup_annotations_perf
• upstream/cleanup_bitblast
• upstream/cleanup_grind
• upstream/cleanup_grind_cat
• upstream/cleanup_grind_ite
• upstream/cleanup_grind_palindrome_tests
• upstream/cleanup_grind_test
• upstream/cleanup_grind_tests
• upstream/cleanup_imports
• upstream/cleanup_simps
• upstream/close-external-prs
• upstream/cmake-flags
• upstream/cmake-install
• upstream/cmake-jj-ignore-working-copy
• upstream/code_action
• upstream/code_cleanup
• upstream/codequality
• upstream/coe-for-numeric-literals
• upstream/coeOutParamIssue
• upstream/coeOutParamIssue2
• upstream/coe_fix
• upstream/coefun_coehtc
• upstream/collect-axioms-many
• upstream/collect_ptrset
• upstream/collection_ops
• upstream/comm_solver_kernel
• upstream/commring_intcast
• upstream/commring_parents
• upstream/compactor-capacity-overflow
• upstream/comparator_releases
• upstream/compile_time_search_path
• upstream/compiler-reuse
• upstream/completion_predicate
• upstream/complex-simp-info
• upstream/congr
• upstream/congr_arg
• upstream/congr_cleanup
• upstream/congr_simp_bug
• upstream/congr_theorems
• upstream/const-trie-spec
• upstream/constUnivDefEq
• upstream/constructorNameAsVariable_all
• upstream/consume_type_annotations_perf
• upstream/contains_lemmas
• upstream/context-node-in-classical
• upstream/contr
• upstream/contraint_typos
• upstream/conv-docs
• upstream/convert
• upstream/cooper
• upstream/cooper_dvd_right_core
• upstream/cooper_right
• upstream/copilot/add-declaration-name-to-error
• upstream/copilot/fix-1b01a238-0c5c-40c7-b442-eac70738e827
• upstream/copilot/fix-cmake-build-issue
• upstream/copilot/fix-fun-cases-error
• upstream/copilot/fix-is-delta-level-check
• upstream/copilot/fix-metavariables-issue
• upstream/copilot/fix-noncomputable-instance-sizeof
• upstream/copilot/fix-wfrec-instance-reproducible
• upstream/copilot/rfc-hover-fun-induction
• upstream/copyright_headers
• upstream/copyright_typo
• upstream/copyslice-offset-overflow
• upstream/core-context-cold-ref
• upstream/core-context-cold-split
• upstream/core-context-cold-wide
• upstream/core-option-flags
• upstream/core-recdepth-in-state
• upstream/core-recdepth-readert
• upstream/coredumps
• upstream/coroutine-opt
• upstream/count
• upstream/count-length-size
• upstream/count-symbols
• upstream/count_erase
• upstream/count_replace
• upstream/count_versions
• upstream/create_std_branches
• upstream/csimpAttr
• upstream/csimp_mv
• upstream/ctor-header-store
• upstream/ctor-many-fields-trim
• upstream/ctor-max-inclusive
• upstream/ctor-tac
• upstream/current_file_premises
• upstream/custom-symbols
• upstream/custom-tokens
• upstream/cutsat_div_solve
• upstream/cutsat_prep
• upstream/cutsat_problem
• upstream/cutsat_step2
• upstream/cutsat_wip1
• upstream/cycle
• upstream/cyclical
• upstream/dany/low-level-code-gen
• upstream/dbg-trace
• upstream/dbgStackTrace
• upstream/dbg_compiler
• upstream/dbghelp
• upstream/dbgtraceifshared-borrow
• upstream/dead-cpp-removal
• upstream/dead_code
• upstream/debug-toml
• upstream/deceq-no-info
• upstream/deceqbeq
• upstream/decidableEq_arry
• upstream/decidableExistsFin
• upstream/decidableRelLEOfOrd
• upstream/decidable_of_decidable_not
• upstream/decide_cond_comment
• upstream/decide_eq_true_eq
• upstream/decide_true
• upstream/decl-info
• upstream/defEqCache
• upstream/defEqRespectTransparency_1
• upstream/defEq_issue
• upstream/defLemma
• upstream/def_thm
• upstream/defeq-fatal-tc
• upstream/defeq_perf
• upstream/defeq_perf2
• upstream/defeq_perf_2
• upstream/defeq_todo_4
• upstream/defeq_todo_4_julia
• upstream/defeq_todo_4_paul
• upstream/defeq_todo_4_paul_nwm
• upstream/defeq_todo_4_paul_test
• upstream/del_leftovers
• upstream/delab
• upstream/delab_char_lit
• upstream/delayed-deprecation
• upstream/depRoot-cache
• upstream/dependabot/github_actions/actions/checkout-7
• upstream/dependabot/github_actions/actions/stale-11
• upstream/dependabot/github_actions/marocchino/sticky-pull-request-comment-3.0.5
• upstream/dependabot/github_actions/raven-actions/actionlint-2.2.0
• upstream/dependabot/github_actions/zulip/github-actions-zulip/send-message-2.0.2
• upstream/deploy-target
• upstream/deprecate-leanpkg
• upstream/deprecate-rbmap
• upstream/deprecate_Fin_ofNat
• upstream/deprecate_Option.toBool
• upstream/deprecate_array_sequenceMap
• upstream/deprecate_array_split
• upstream/deprecate_compile_time_search_path
• upstream/deprecate_duplicates_2
• upstream/deprecate_environment_replay
• upstream/deprecate_fin_size_pos
• upstream/deprecate_iota
• upstream/deprecate_nat_sum
• upstream/deprecate_option_mem_iff
• upstream/deprecated_dot_notation
• upstream/deprecated_duplicated
• upstream/deprecated_suggestions
• upstream/deprecation_2025-7
• upstream/deprecation_array_data
• upstream/deprecation_dates
• upstream/deprecation_dates2
• upstream/deprecations
• upstream/deprecations_2025-05-13
• upstream/deprecations_2025-10-26
• upstream/deprecations_2025-10-26_2
• upstream/deprecations_2025-12
• upstream/deprecations_before_2024-11-31
• upstream/deprime_fin_ofnat
• upstream/deps-json
• upstream/deps-json-fast
• upstream/derive-repr-mutual-once
• upstream/deriving-noncomputable-instance
• upstream/dev_cycle_v4.12
• upstream/dev_cycle_v4.20
• upstream/dev_cycle_v4.21
• upstream/dev_cycle_v4.22
• upstream/dev_cycle_v4.23
• upstream/dev_cycle_v4.30
• upstream/dev_update
• upstream/diag
• upstream/diagnostic_newline
• upstream/diagnostics
• upstream/diagnostics_improvements
• upstream/digama_codeowners
• upstream/digit_deprecations
• upstream/disable-async
• upstream/disable_grind_trace
• upstream/disable_grind_warning
• upstream/disable_simproc
• upstream/disable_wasm_build
• upstream/disable_win_tests
• upstream/discrTreeRefactor
• upstream/discr_tree_helpers
• upstream/discrtree-models
• upstream/discrtree_unused_arg
• upstream/divRecc_succ
• upstream/divmod_bootstrap
• upstream/dllexport
• upstream/do-doc-fixes
• upstream/do-info
• upstream/do-let-arrow-pat-expected-type
• upstream/do-reassign-no-pos
• upstream/doc-async-output
• upstream/doc-changelog-labels
• upstream/doc-classical-choice
• upstream/doc-claude-comment-guidance
• upstream/doc-dev-test
• upstream/doc-guard-msgs-pp-mvars
• upstream/doc-indent-namespace
• upstream/doc-moddoc
• upstream/doc-no-nightly
• upstream/doc-prelude
• upstream/doc-release-notes-timing
• upstream/doc-section
• upstream/doc-set-option
• upstream/doc-setup
• upstream/doc-stdlib-flags-clarification
• upstream/doc-tactics
• upstream/doc-unif-hint
• upstream/doc/nightly-infrastructure-docs
• upstream/doc/release-notes-process
• upstream/doc/release-wait-guidance
• upstream/doc_make_libuv
• upstream/doc_replace_issue
• upstream/doc_sym_assumptions
• upstream/doc_transparency
• upstream/docs-test-linter-note
• upstream/docs/LawfulMonad
• upstream/docs/Nat.gcd
• upstream/docs/Ord
• upstream/docs/Prod.mk
• upstream/docs/add_decl_doc
• upstream/document_grind_typeclasses
• upstream/doelem-doseq-abbrev
• upstream/donotignore
• upstream/dont_export_trans_trans
• upstream/dontresettccache
• upstream/dot-decimal-ambiguity-msg
• upstream/dot-decimal-rob-experimental
• upstream/double_abstract_step
• upstream/downstream-green
• upstream/dropPrefix
• upstream/dropPrefix_signature
• upstream/dsimp_at_mwe
• upstream/dsimp_for_ite
• upstream/dsimp_issue2
• upstream/dsimproc
• upstream/dup_namespace
• upstream/duplicate_instances
• upstream/duplicate_theorems
• upstream/duplicated_namespaces
• upstream/dvd_iff_bmod_eq_zero
• upstream/dvd_norm2
• upstream/dvd_normalizer
• upstream/dyadic
• upstream/dyadic_cleanup
• upstream/dyadic_prep
• upstream/dynlib
• upstream/ediv_pow
• upstream/egg_regression_tests
• upstream/eio
• upstream/eio-task
• upstream/elab-command-rec
• upstream/elab-proof-read
• upstream/elimOptParam_bug
• upstream/elim_deadcode
• upstream/emacs-info-view
• upstream/embed-alectryon
• upstream/empty-by-goals
• upstream/empty-char-lit
• upstream/emptyWithCapacity
• upstream/empty_by
• upstream/empty_bytearray
• upstream/empty_subarray
• upstream/ensure_unsafe_unsafeEIO
• upstream/env-mods
• upstream/env_cache
• upstream/env_name_search
• upstream/enveloped_ordered
• upstream/eq_def
• upstream/eq_empty_of_append_eq_empty
• upstream/eq_false_of_imp_eq_false
• upstream/eq_iff_true_of_subsingleton
• upstream/eq_or_mem_of_mem_cons
• upstream/eq_refl_true
• upstream/eq_true_opt
• upstream/eq_update_exp
• upstream/eqn_thm_nested_proofs
• upstream/eqns-have
• upstream/eraseDupsBy
• upstream/eraseDupsWithHash
• upstream/eraseIdx
• upstream/eraseIdxIfInBounds
• upstream/eraseIdx_insertIdx_deprecation
• upstream/eraseRecApp_perf
• upstream/erase_find
• upstream/erase_lemmas
• upstream/erase_prelims
• upstream/errex-ergo
• upstream/etaInst
• upstream/evalAndSuggest
• upstream/eval_leak
• upstream/exact_grind
• upstream/example-env
• upstream/existsBuiltinRpcProcedure
• upstream/expected
• upstream/expected_as_unit
• upstream/explicit_inst_holes
• upstream/explicit_rfl_proofs
• upstream/export-public-symbols
• upstream/expose-array-back
• upstream/expose-char-ordinal
• upstream/expose-fin-addnat
• upstream/expose_filterMapTR
• upstream/expose_grind
• upstream/expose_mapIdxM
• upstream/expose_names
• upstream/expose_names_note
• upstream/expose_poly
• upstream/expose_string_functions
• upstream/expr-hash32-16103
• upstream/expr_attr
• upstream/expr_eq_cache
• upstream/expr_eq_experiment
• upstream/expr_eq_perf
• upstream/expr_eq_typo
• upstream/expr_lit
• upstream/ext
• upstream/extCore_public
• upstream/ext_public
• upstream/ext_refactor
• upstream/extensible_try
• upstream/extern_prop_proj
• upstream/extractLsb_flatten
• upstream/extract_push
• upstream/fail-dec
• upstream/failing_grind
• upstream/false_or_by_contra2
• upstream/false_or_by_contra_tests
• upstream/fdiv
• upstream/feat-beq-option-early
• upstream/feat-ext-div-mod
• upstream/feat-gcd-left-comm
• upstream/feat-grind-locals
• upstream/feat-lean-bisect
• upstream/feat-lia-attr
• upstream/feat-lia-tag-minmax
• upstream/feat-max-suggestions-option
• upstream/feat-simp-locals
• upstream/feat-solve-by-elim-suggestions
• upstream/feat-suggest-for-int-rat
• upstream/feat-try-first-par
• upstream/feat/build-artifact
• upstream/feat/chunked-parallel
• upstream/feat/claude-tactic
• upstream/feat/demangle-backtrace
• upstream/feat/empty-collection-messagelog
• upstream/feat/exceptconds-and-elim
• upstream/feat/fold-flatMap
• upstream/feat/grind-annotations-finrange
• upstream/feat/grind-annotations-mapidx
• upstream/feat/grind-annotations-offn
• upstream/feat/grind-annotations-zip
• upstream/feat/guard-panic
• upstream/feat/hashmap-merge-with
• upstream/feat/lake-ci-label
• upstream/feat/lake-claude-settings
• upstream/feat/lake-sandbox
• upstream/feat/lean-name-demangling
• upstream/feat/message-capture-helpers
• upstream/feat/nightly-revisions
• upstream/feat/pp-memoize
• upstream/feat/reprove-command
• upstream/feat/sym-arith-noncomm
• upstream/feat/sym-module-normalization
• upstream/feat/trace-emoji-at-render
• upstream/feat/trace-header-content
• upstream/feat/tree-fold-two
• upstream/feat/tree-merge-delete
• upstream/feat/vector-modify
• upstream/feat/with-unfolding-none-tactic
• upstream/feature/add-maxSuggestions-clean
• upstream/fetch-nightly-with-mathlib
• upstream/ffi-docs
• upstream/ffi-sigs
• upstream/fib_correct
• upstream/field-access-wording
• upstream/field_thm
• upstream/file-path
• upstream/filemap-long-line-checkpoints
• upstream/fileworker-no-build
• upstream/filterMap_some_fun
• upstream/filter_bool
• upstream/finModDiv
• upstream/finRange
• upstream/finUsize
• upstream/fin_fold_lemmas
• upstream/fin_fold_namespace
• upstream/fin_fold_semireducible
• upstream/fin_nezero
• upstream/fin_ofNat_zero
• upstream/fin_simprocs
• upstream/fin_sub
• upstream/fin_succ_zero_eq_one
• upstream/find-findidx-consistency
• upstream/find-lean
• upstream/findIdx
• upstream/findIdx_lemmas
• upstream/findKeyD
• upstream/findM_warnings
• upstream/findSomeM
• upstream/findSome_lemmas
• upstream/find_eq_some
• upstream/find_lemmas
• upstream/find_range_lemmas
• upstream/find_refactor
• upstream/find_theorems
• upstream/findrev
• upstream/finish_append
• upstream/fix
• upstream/fix-13265-grind-order-natcast
• upstream/fix-15108-goal-state
• upstream/fix-15857-hom-raw-lit
• upstream/fix-15859-hom-heq
• upstream/fix-15993-sanitizer-stack
• upstream/fix-16231-char1-pow
• upstream/fix-16287-linarith-preorder
• upstream/fix-bot-approval-workflows
• upstream/fix-bump-branch-nightly
• upstream/fix-c++-exc
• upstream/fix-c++-exc-again
• upstream/fix-cache
• upstream/fix-cbv-system-f-grind
• upstream/fix-checklist-nightly-parsing
• upstream/fix-createprocess
• upstream/fix-cslib-release-steps
• upstream/fix-defeq-cache
• upstream/fix-deriving-diamond
• upstream/fix-dl
• upstream/fix-docstring-panic-where-clause
• upstream/fix-dsym-metric
• upstream/fix-each-mod
• upstream/fix-empty-doc-snippet-nesting
• upstream/fix-exact-private-decls
• upstream/fix-exact-private2
• upstream/fix-extract-lets-typo
• upstream/fix-fam-eq-simp-scope
• upstream/fix-getEqnsFor-matcher-panic
• upstream/fix-grind-15726
• upstream/fix-grind-anchor-param-order
• upstream/fix-grind-annotated-import
• upstream/fix-grind-cancel-var-rename
• upstream/fix-grind-delayed-instance-tracking
• upstream/fix-grind-deprecated-warning
• upstream/fix-grind-dot-notation
• upstream/fix-grind-dot-notation-params
• upstream/fix-grind-guard-instantiate-only
• upstream/fix-grind-heq-value-inconsistency
• upstream/fix-grind-local-dot-notation
• upstream/fix-grind-nested-mdata
• upstream/fix-grind-trace-ematch-rounds
• upstream/fix-grind-trace-empty-group
• upstream/fix-grind-trace-inj
• upstream/fix-grind-trace-pattern-variant
• upstream/fix-grind-trace-pruned-split
• upstream/fix-grind-trace-solver-progress
• upstream/fix-grind-trace-term-params
• upstream/fix-grind-universe-polymorphism
• upstream/fix-ilean
• upstream/fix-incr-case
• upstream/fix-incr-trail
• upstream/fix-incr-where
• upstream/fix-instance-implicit-comment
• upstream/fix-interpreter-leak
• upstream/fix-ipc-resp
• upstream/fix-lake-bootstrap
• upstream/fix-lake-ci-duplicate-test
• upstream/fix-ld
• upstream/fix-lia-order-module
• upstream/fix-library-suggestions-error-msg
• upstream/fix-library-suggestions-private-names
• upstream/fix-link-lake
• upstream/fix-llvm
• upstream/fix-load-dynlibs
• upstream/fix-macos-ar-response-files
• upstream/fix-macro-reporting
• upstream/fix-markdown-conformance-crlf
• upstream/fix-mepo-instantiate-mvars
• upstream/fix-mepo-suggestion-order
• upstream/fix-nanoda-pin
• upstream/fix-nightly-dispatch
• upstream/fix-nightly-tag-conflict
• upstream/fix-nix-update-stage0
• upstream/fix-normalizeInstance-meta-marking
• upstream/fix-olean-root-cache-freed-name
• upstream/fix-parser
• upstream/fix-pr-release
• upstream/fix-pr-release-10k-limit
• upstream/fix-pr-release-github-app
• upstream/fix-pr-release-mathlib-app
• upstream/fix-pr-release-on-test-failures
• upstream/fix-pr-release-ordering
• upstream/fix-pr-release2
• upstream/fix-prof
• upstream/fix-prof-sane
• upstream/fix-profiler-shebang
• upstream/fix-recommended-spelling-inv
• upstream/fix-release-checklist-cmake-parse
• upstream/fix-release-checklist-is-release-check
• upstream/fix-release-ci
• upstream/fix-release-notes-author
• upstream/fix-release-notes-title-ordering
• upstream/fix-release-proofwidgets-pin
• upstream/fix-release-repos-verso-dep
• upstream/fix-release-steps-nightly-testing
• upstream/fix-release-steps-subverso-sync
• upstream/fix-release-steps-verso-toolchains
• upstream/fix-simp-reducibleClassField
• upstream/fix-sint-div-overflow
• upstream/fix-stage0
• upstream/fix-sy
• upstream/fix-sym-arith-commsemiring-inst
• upstream/fix-tag-extension-panic-on-partial-elab
• upstream/fix-task-race
• upstream/fix-unbox-struct
• upstream/fix-universe-normalization-defeq
• upstream/fix-unrebased-prs
• upstream/fix-wae
• upstream/fix-where-typo-warning
• upstream/fix-win-ci
• upstream/fix-windows
• upstream/fix-worktree-git-revision
• upstream/fix-zulip-patch-release
• upstream/fix1842
• upstream/fix2095
• upstream/fix2125
• upstream/fix2173
• upstream/fix2175
• upstream/fix2188
• upstream/fix2265
• upstream/fix_16285
• upstream/fix_2966
• upstream/fix_3029
• upstream/fix_3245
• upstream/fix_4138
• upstream/fix_4676
• upstream/fix_5315
• upstream/fix_8554
• upstream/fix_CMakeLists_CI
• upstream/fix_HashMap_getElem_lemmas
• upstream/fix_aux_parent_proj
• upstream/fix_awaiting_mathlib
• upstream/fix_command_lifts
• upstream/fix_countP_lemmas
• upstream/fix_dot_appunexpander
• upstream/fix_drop_drop
• upstream/fix_filter_congr
• upstream/fix_float32_runtime
• upstream/fix_foreach
• upstream/fix_grind_field
• upstream/fix_grind_ring
• upstream/fix_hdiv_docstring
• upstream/fix_hints_lt
• upstream/fix_inj_naming
• upstream/fix_inst
• upstream/fix_inv
• upstream/fix_list_all_lemmas
• upstream/fix_list_deprecations
• upstream/fix_map_subset_name
• upstream/fix_master
• upstream/fix_match_int
• upstream/fix_mathlib_ci_rebase_suggestion
• upstream/fix_most_recent_nightly_tag
• upstream/fix_nat_class_defeq_simp
• upstream/fix_perm_insertIdx
• upstream/fix_qsort
• upstream/fix_release
• upstream/fix_rfl
• upstream/fix_run_meta
• upstream/fix_simp_arith
• upstream/fix_stack
• upstream/fix_trackZetaDelta
• upstream/fix_treemap_deprecations
• upstream/fix_vector_indexOf
• upstream/fixup-nightly
• upstream/fixwindowsci
• upstream/flake
• upstream/flatMap
• upstream/flatMap_length
• upstream/float32_activate
• upstream/float32_prep
• upstream/floatbits
• upstream/flock-woes
• upstream/fmod_tmod
• upstream/fo-unif-precise
• upstream/foapprox-mdata
• upstream/foldInfoTree
• upstream/foldM_push
• upstream/fold_attach
• upstream/fold_const_perf
• upstream/fold_filter
• upstream/fold_lemmas
• upstream/fold_rel
• upstream/foldlM_finRange
• upstream/foldlM_map
• upstream/foldlUnsafe_bug
• upstream/foldl_assoc
• upstream/foldlits
• upstream/foldr_lemma
• upstream/foo
• upstream/forIn
• upstream/forIn_eq_foldlM
• upstream/forIn_eq_foldlM_variants
• upstream/forIn_toArray
• upstream/for_each_find_perf
• upstream/for_each_find_perf2
• upstream/forall_lt_succ
• upstream/forall_not_of_not_exists
• upstream/force_mathlib_ci
• upstream/foreign-make
• upstream/fork_for_testing
• upstream/formatter
• upstream/formatter-comp
• upstream/fpil-readme
• upstream/fun-paren
• upstream/funinfo_new
• upstream/fuzzy-matching-arrays-plain
• upstream/fvarDefEq
• upstream/fvarsSubset
• upstream/fvis
• upstream/fx-prof
• upstream/gen-trace-nodes
• upstream/genClosure
• upstream/generalize_DecidableRel
• upstream/generalize_isCharP
• upstream/generalize_ordered_charp
• upstream/getElem
• upstream/getElemV
• upstream/getElem_append
• upstream/getElem_eq_none_guards
• upstream/getElem_flatMap
• upstream/getElem_insertMany_list
• upstream/getElem_lemmas
• upstream/getElem_map
• upstream/getElem_mem_implicitness
• upstream/getElem_pos
• upstream/getElem_pos_v2
• upstream/getElem_simps
• upstream/getElem_take
• upstream/getElem_take_rename
• upstream/getIntrosSize_public
• upstream/getKey_insert
• upstream/getMVarDependencies
• upstream/getMaxFVar
• upstream/getNumHeadForall
• upstream/getTailPos-quot
• upstream/get_append
• upstream/get_elem_grind
• upstream/get_modify_deprecation
• upstream/getelem_array2
• upstream/gh-pages
• upstream/gh-pages-action
• upstream/gh-readonly-queue/master/pr-10110-a72f9429eac8f1b5a3344ca120ddd677e716be64
• upstream/gh-readonly-queue/master/pr-16389-ae0a722625999c8722c03840952490caad6cd619
• upstream/gh-readonly-queue/master/pr-16420-f9a1869109b4d8d2e96a816cbfe3574aeaf25405
• upstream/gh-readonly-queue/master/pr-3835-27c79cb6147b68c666292503919927055c923188
• upstream/git_conflict_experiment
• upstream/githash
• upstream/github_metrics
• upstream/gitignore_pycache
• upstream/glibc-2.26
• upstream/glob_of_string
• upstream/gmp-lasto
• upstream/gmp-memcpy
• upstream/gmp-waht
• upstream/gmpublic
• upstream/go-builtin-or-go-home
• upstream/go-to-elab
• upstream/goal-info-indent
• upstream/goals-at-hanging-by
• upstream/goto-op
• upstream/gracious-segfault
• upstream/grind-15541
• upstream/grind-15541-bitvec
• upstream/grind-15615
• upstream/grind-15697
• upstream/grind-15697-hyp
• upstream/grind-15700
• upstream/grind-15867
• upstream/grind-15871
• upstream/grind-16286
• upstream/grind-audit-internalize-entry-points
• upstream/grind-branches
• upstream/grind-eta-struct-for-eq
• upstream/grind-inj-sharecommon
• upstream/grind-int8-neg-16229
• upstream/grind-lazy-split-proofs
• upstream/grind-lia-16228
• upstream/grind-lit-fastpath
• upstream/grind-matchcond-lit
• upstream/grind-mbtc-cast
• upstream/grind-nat-int-semiring-instances
• upstream/grind-order-closure
• upstream/grind-proof-type-defeq
• upstream/grind-provenance-anchors
• upstream/grind-short-failure-msg
• upstream/grind-simp
• upstream/grind-suggestions-ramping
• upstream/grind-threshold-msg
• upstream/grind-validate-suggestions
• upstream/grindTrace_step1
• upstream/grind_10160
• upstream/grind_10232
• upstream/grind_10233
• upstream/grind_10317
• upstream/grind_10983
• upstream/grind_11036
• upstream/grind_11124
• upstream/grind_11130
• upstream/grind_11134
• upstream/grind_11477
• upstream/grind_11498
• upstream/grind_11515
• upstream/grind_11539
• upstream/grind_11543
• upstream/grind_11545
• upstream/grind_11545_new
• upstream/grind_11597
• upstream/grind_11622
• upstream/grind_11633
• upstream/grind_11738
• upstream/grind_11745
• upstream/grind_11930
• upstream/grind_12242
• upstream/grind_12581
• upstream/grind_12812
• upstream/grind_12842
• upstream/grind_13050
• upstream/grind_13655
• upstream/grind_13725
• upstream/grind_13773_b
• upstream/grind_13773_c
• upstream/grind_13822
• upstream/grind_13828
• upstream/grind_13877
• upstream/grind_14440
• upstream/grind_14441
• upstream/grind_15302
• upstream/grind_15388
• upstream/grind_15506_fvar
• upstream/grind_15621
• upstream/grind_15747
• upstream/grind_9187
• upstream/grind_9206
• upstream/grind_9216
• upstream/grind_9321
• upstream/grind_9485
• upstream/grind_9562
• upstream/grind_9572
• upstream/grind_9610
• upstream/grind_9769
• upstream/grind_9828
• upstream/grind_9830
• upstream/grind_9856
• upstream/grind_9899
• upstream/grind_ExprPtr
• upstream/grind_Int_negSucc
• upstream/grind_IsCharP_envelope
• upstream/grind_NatCast_issue
• upstream/grind_ToInt
• upstream/grind_abstractMVars
• upstream/grind_abstractNestedProof_issue
• upstream/grind_abstract_proof
• upstream/grind_ac10
• upstream/grind_ac12
• upstream/grind_ac13
• upstream/grind_ac14
• upstream/grind_ac16
• upstream/grind_ac2
• upstream/grind_ac3
• upstream/grind_ac5
• upstream/grind_ac6
• upstream/grind_ac7
• upstream/grind_ac8
• upstream/grind_ac9
• upstream/grind_ac_ai_case
• upstream/grind_ac_denote
• upstream/grind_ac_diag
• upstream/grind_ac_diag_test
• upstream/grind_ac_eq_prop
• upstream/grind_ac_inv
• upstream/grind_ac_inv_2
• upstream/grind_ac_minor
• upstream/grind_ace11
• upstream/grind_action_refactor
• upstream/grind_action_refactor_2
• upstream/grind_algebra
• upstream/grind_algebra_bitvec
• upstream/grind_algebra_docstrings
• upstream/grind_algebra_tests
• upstream/grind_algebra_updates
• upstream/grind_all_unary_pat
• upstream/grind_alpha_shareCommon
• upstream/grind_ana
• upstream/grind_anchor_params
• upstream/grind_another_fixed_test
• upstream/grind_any_eq
• upstream/grind_arith_norm_issue
• upstream/grind_array_attach
• upstream/grind_array_range
• upstream/grind_arrow_congr
• upstream/grind_aspirations
• upstream/grind_attach
• upstream/grind_attr
• upstream/grind_attr_3
• upstream/grind_attr_5
• upstream/grind_attr_behavior
• upstream/grind_attr_behavior_2
• upstream/grind_attr_cleanup
• upstream/grind_attr_doc_typo
• upstream/grind_attr_ind
• upstream/grind_attr_new
• upstream/grind_aux_mvar_ids
• upstream/grind_aux_proofs
• upstream/grind_aux_tac
• upstream/grind_aux_thm
• upstream/grind_bad_issues
• upstream/grind_beq_issue
• upstream/grind_beta_gen
• upstream/grind_bitvec
• upstream/grind_bitvec2
• upstream/grind_bitvec_cleanup
• upstream/grind_bitvec_lit
• upstream/grind_bitvec_lit_lia
• upstream/grind_bitvec_lits
• upstream/grind_bitvec_module
• upstream/grind_bitvec_ofnat_width
• upstream/grind_bitvect_lit_ring
• upstream/grind_bitwise
• upstream/grind_bne_beq
• upstream/grind_bogus_ematch_issue
• upstream/grind_bool_eq_iff_iff
• upstream/grind_bool_norm
• upstream/grind_bool_prop
• upstream/grind_bool_prop2
• upstream/grind_bootstrap_issue_2
• upstream/grind_bounds
• upstream/grind_bug_bitvec
• upstream/grind_bugfix_regression
• upstream/grind_bugs
• upstream/grind_bugs3
• upstream/grind_bugs4
• upstream/grind_builtin_cases
• upstream/grind_builtin_prop
• upstream/grind_bv2
• upstream/grind_bv_lit_canon
• upstream/grind_bv_lits
• upstream/grind_bwd_eq
• upstream/grind_canon_arith
• upstream/grind_canon_bug
• upstream/grind_canon_bug_3
• upstream/grind_canon_cache
• upstream/grind_canon_diag
• upstream/grind_canon_field_inst
• upstream/grind_canon_fix
• upstream/grind_canon_issues_2
• upstream/grind_canon_ofnat_2
• upstream/grind_canon_refactor
• upstream/grind_canon_split_bug
• upstream/grind_case_split
• upstream/grind_cases
• upstream/grind_cases_Subtype
• upstream/grind_cases_attr
• upstream/grind_cases_attr2
• upstream/grind_cases_code_action
• upstream/grind_cases_eager_pprod
• upstream/grind_cases_new
• upstream/grind_cases_new2
• upstream/grind_cases_next
• upstream/grind_cases_next_finish
• upstream/grind_cases_option
• upstream/grind_cases_sum
• upstream/grind_cast
• upstream/grind_cast_id
• upstream/grind_cast_inst
• upstream/grind_cast_issue
• upstream/grind_casting_test
• upstream/grind_cat
• upstream/grind_cat2
• upstream/grind_cat_bug
• upstream/grind_cat_failure
• upstream/grind_cat_p1
• upstream/grind_cat_p2
• upstream/grind_cdot_tac
• upstream/grind_cgroot
• upstream/grind_char_lit_canon
• upstream/grind_checkParents
• upstream/grind_checkParents_issue
• upstream/grind_chore_deadcode
• upstream/grind_chore_ematch
• upstream/grind_chore_move
• upstream/grind_chore_test
• upstream/grind_chore_tests
• upstream/grind_clean
• upstream/grind_cleanup
• upstream/grind_cleanup2
• upstream/grind_cleanup_cutsat
• upstream/grind_clear_message
• upstream/grind_cmp_eq
• upstream/grind_code_action_message_context
• upstream/grind_code_action_param
• upstream/grind_coeff_norm
• upstream/grind_comm_ring
• upstream/grind_comm_ring2
• upstream/grind_comm_ring3
• upstream/grind_comm_ring4
• upstream/grind_commring
• upstream/grind_commring_natcast
• upstream/grind_commring_poly
• upstream/grind_config
• upstream/grind_congr_issue
• upstream/grind_congr_over_applied
• upstream/grind_congr_proof
• upstream/grind_congr_table_inv
• upstream/grind_constProp
• upstream/grind_const_fun
• upstream/grind_const_fun_proof
• upstream/grind_const_pat
• upstream/grind_contain_iff_mem
• upstream/grind_contains_iff_mem
• upstream/grind_cooper5
• upstream/grind_cooper6
• upstream/grind_cooper_left
• upstream/grind_cooper_proof_gen
• upstream/grind_core
• upstream/grind_core_cutsat_interface
• upstream/grind_count
• upstream/grind_cslib_regression
• upstream/grind_ctor
• upstream/grind_curry
• upstream/grind_cutsat_action
• upstream/grind_cutsat_bug
• upstream/grind_cutsat_bug2
• upstream/grind_cutsat_bug_proof_term
• upstream/grind_cutsat_chore
• upstream/grind_cutsat_combine_steps
• upstream/grind_cutsat_commring
• upstream/grind_cutsat_cooper
• upstream/grind_cutsat_cooper_and_diseqs
• upstream/grind_cutsat_cooper_proof
• upstream/grind_cutsat_dec_stack_issue
• upstream/grind_cutsat_diseq
• upstream/grind_cutsat_diseq_split2
• upstream/grind_cutsat_div_mod
• upstream/grind_cutsat_div_solver
• upstream/grind_cutsat_div_thms
• upstream/grind_cutsat_doc
• upstream/grind_cutsat_dvd_elim1
• upstream/grind_cutsat_dvd_le_tight
• upstream/grind_cutsat_dvd_model
• upstream/grind_cutsat_eq4
• upstream/grind_cutsat_eq5
• upstream/grind_cutsat_eq6
• upstream/grind_cutsat_eq_2
• upstream/grind_cutsat_eq_3
• upstream/grind_cutsat_eq_from_le
• upstream/grind_cutsat_eq_thm
• upstream/grind_cutsat_improve_proof
• upstream/grind_cutsat_le_diseq
• upstream/grind_cutsat_loop
• upstream/grind_cutsat_model
• upstream/grind_cutsat_model2
• upstream/grind_cutsat_model_pp
• upstream/grind_cutsat_more_tests2
• upstream/grind_cutsat_nat
• upstream/grind_cutsat_nat3
• upstream/grind_cutsat_nat4
• upstream/grind_cutsat_nat_cleanup
• upstream/grind_cutsat_nat_div_mod
• upstream/grind_cutsat_nat_eq
• upstream/grind_cutsat_nat_refactor
• upstream/grind_cutsat_nat_sub
• upstream/grind_cutsat_nonlinear
• upstream/grind_cutsat_nonlinear2
• upstream/grind_cutsat_norm3
• upstream/grind_cutsat_not_dvd
• upstream/grind_cutsat_omega2
• upstream/grind_cutsat_omega_tests
• upstream/grind_cutsat_opt
• upstream/grind_cutsat_poly_let_decl
• upstream/grind_cutsat_proof
• upstream/grind_cutsat_proof2
• upstream/grind_cutsat_prop
• upstream/grind_cutsat_pw
• upstream/grind_cutsat_refactor
• upstream/grind_cutsat_refactor2
• upstream/grind_cutsat_remove_hint
• upstream/grind_cutsat_reorder
• upstream/grind_cutsat_search_assignment
• upstream/grind_cutsat_search_rat
• upstream/grind_cutsat_solved_form
• upstream/grind_cutsat_step3
• upstream/grind_cutsat_step4
• upstream/grind_cutsat_step5
• upstream/grind_cutsat_terms
• upstream/grind_cutsat_tests
• upstream/grind_cutsat_tests2
• upstream/grind_cutsat_trace
• upstream/grind_cutsat_trim_proof
• upstream/grind_decidable_insts
• upstream/grind_decide_tests
• upstream/grind_def_eq_issue
• upstream/grind_defeq_todo
• upstream/grind_defeq_todo_2
• upstream/grind_del_failures_opt
• upstream/grind_del_offset
• upstream/grind_denoteAsInt_nonneg
• upstream/grind_denote_abbrev
• upstream/grind_deps
• upstream/grind_diag
• upstream/grind_diag_filter
• upstream/grind_diag_improved2
• upstream/grind_diseq
• upstream/grind_diseq3
• upstream/grind_diseq_api
• upstream/grind_diseq_perf
• upstream/grind_diseq_propagation
• upstream/grind_disequality_error
• upstream/grind_div_mod_norm
• upstream/grind_div_mod_norm_issues
• upstream/grind_doc
• upstream/grind_doc_bang
• upstream/grind_docs_attrs
• upstream/grind_docstring
• upstream/grind_docstring2
• upstream/grind_docstring3
• upstream/grind_docstring_update
• upstream/grind_docstrings
• upstream/grind_done
• upstream/grind_dup_pat
• upstream/grind_dvd
• upstream/grind_dvd_propagation_issue
• upstream/grind_eager_cases_keep_prop
• upstream/grind_egg_comparison
• upstream/grind_ematch
• upstream/grind_ematch2
• upstream/grind_ematch3
• upstream/grind_ematch4
• upstream/grind_ematch5
• upstream/grind_ematch6
• upstream/grind_ematch_bug_at_assignUnassignedLevelMVars
• upstream/grind_ematch_final
• upstream/grind_ematch_fix
• upstream/grind_ematch_gadget
• upstream/grind_ematch_gadget_3
• upstream/grind_ematch_gadget_5
• upstream/grind_ematch_gen_pattern
• upstream/grind_ematch_gen_pattern2
• upstream/grind_ematch_ground_inst
• upstream/grind_ematch_heq_issue
• upstream/grind_ematch_heq_issue2
• upstream/grind_ematch_inst
• upstream/grind_ematch_partial
• upstream/grind_ematch_thresholds
• upstream/grind_emath_gadget_4
• upstream/grind_eq
• upstream/grind_eq2
• upstream/grind_eq3
• upstream/grind_eq4
• upstream/grind_eq5
• upstream/grind_eq6
• upstream/grind_eq7
• upstream/grind_eq8
• upstream/grind_eq_annotation
• upstream/grind_eq_attr
• upstream/grind_eq_cond
• upstream/grind_eq_congr_cleanup
• upstream/grind_eq_list
• upstream/grind_eq_mp
• upstream/grind_eq_nil_of_length_eq_zero
• upstream/grind_eq_res
• upstream/grind_eq_res_bug_2
• upstream/grind_eq_thm
• upstream/grind_eqc_inv_issue
• upstream/grind_eqres_bug
• upstream/grind_erase
• upstream/grind_erase_attr
• upstream/grind_erase_attrs
• upstream/grind_error_messages
• upstream/grind_eta
• upstream/grind_etaStruct
• upstream/grind_eta_internalize_bug
• upstream/grind_eta_pat
• upstream/grind_eval_tac
• upstream/grind_exfalso
• upstream/grind_exists
• upstream/grind_exp
• upstream/grind_exponents_2
• upstream/grind_expr_toPoly
• upstream/grind_ext
• upstream/grind_ext_attr_new
• upstream/grind_ext_isDefEq
• upstream/grind_ext_step2
• upstream/grind_ext_struct
• upstream/grind_failing_tests
• upstream/grind_fair_split
• upstream/grind_fallbacks
• upstream/grind_fastEraseDups
• upstream/grind_feats
• upstream/grind_field
• upstream/grind_field2
• upstream/grind_field_2
• upstream/grind_field_diseq
• upstream/grind_field_missing_instance
• upstream/grind_field_norm_num
• upstream/grind_field_panic
• upstream/grind_field_support
• upstream/grind_filter_bug
• upstream/grind_fin
• upstream/grind_finVal_cutsat
• upstream/grind_fin_2
• upstream/grind_fin_commring
• upstream/grind_fin_extra
• upstream/grind_fin_val
• upstream/grind_find
• upstream/grind_finish_compressed
• upstream/grind_finish_ext
• upstream/grind_finish_issues
• upstream/grind_finish_opt
• upstream/grind_finish_trace
• upstream/grind_finish_trace_check
• upstream/grind_fix2
• upstream/grind_fix_annotations
• upstream/grind_fix_assertion_violation
• upstream/grind_fix_cutsat_search
• upstream/grind_fix_def_ctor_issue
• upstream/grind_fix_ematch_pat2
• upstream/grind_fix_eq_congr
• upstream/grind_fix_finish_trace
• upstream/grind_fix_implies
• upstream/grind_fix_linarith_ring_interface
• upstream/grind_fix_loop
• upstream/grind_fix_mbtc2
• upstream/grind_fix_minor
• upstream/grind_fix_missing_processFacts
• upstream/grind_fix_param_warning
• upstream/grind_fix_prop_split
• upstream/grind_fix_reset_ematch_num_at_cases
• upstream/grind_fixes
• upstream/grind_fixes_and_chores
• upstream/grind_float_not_interpreted
• upstream/grind_fold
• upstream/grind_fold_proj_perf
• upstream/grind_forall_norm
• upstream/grind_forall_prop
• upstream/grind_frontends
• upstream/grind_funCC
• upstream/grind_fun_comp
• upstream/grind_fun_of_singleton
• upstream/grind_funext_improved
• upstream/grind_funext_lambda_parents
• upstream/grind_gb
• upstream/grind_gb4
• upstream/grind_gb5
• upstream/grind_gb6
• upstream/grind_gen_issue
• upstream/grind_gen_issue_2
• upstream/grind_getElem_fin
• upstream/grind_getKey_eq
• upstream/grind_getelem
• upstream/grind_goal_state
• upstream/grind_ground_param
• upstream/grind_ground_thm
• upstream/grind_ground_thm_param
• upstream/grind_gt_ge
• upstream/grind_guide
• upstream/grind_guide_2
• upstream/grind_hashmap_list_issue
• upstream/grind_hcongr_transparency
• upstream/grind_heapsort
• upstream/grind_heartbeats
• upstream/grind_helper
• upstream/grind_heq_issue
• upstream/grind_hidden_anchor
• upstream/grind_hide_gadgets
• upstream/grind_hom_fin_log2_casts
• upstream/grind_hom_int64_bounds
• upstream/grind_hom_large_coeff
• upstream/grind_hom_rename_1
• upstream/grind_hom_rename_2
• upstream/grind_hom_tests
• upstream/grind_homo
• upstream/grind_homo_1
• upstream/grind_homo_2
• upstream/grind_homo_2b
• upstream/grind_homo_3
• upstream/grind_homo_4
• upstream/grind_homo_5
• upstream/grind_homo_6
• upstream/grind_homo_7
• upstream/grind_homo_8
• upstream/grind_homo_source_types
• upstream/grind_homo_validate
• upstream/grind_human_eval_114
• upstream/grind_hyperoperations
• upstream/grind_ifInBounds
• upstream/grind_iff_improve
• upstream/grind_iff_split
• upstream/grind_imp_split
• upstream/grind_implDetail
• upstream/grind_implies
• upstream/grind_import2
• upstream/grind_import_opt
• upstream/grind_imports
• upstream/grind_improve_split
• upstream/grind_in_bitvec
• upstream/grind_inc_hyp
• upstream/grind_indexmap
• upstream/grind_indexmap3
• upstream/grind_indexmap4
• upstream/grind_indexmap_updates
• upstream/grind_indexmap_updates2
• upstream/grind_indexmap_updates3
• upstream/grind_info_attr
• upstream/grind_init_norm_parser
• upstream/grind_init_norm_parser2
• upstream/grind_init_norm_parser3
• upstream/grind_inj_1
• upstream/grind_inj_2
• upstream/grind_inj_4
• upstream/grind_inj_clear_issue
• upstream/grind_inj_fix_sym
• upstream/grind_injection
• upstream/grind_inst_order
• upstream/grind_instances
• upstream/grind_instantiate_trace
• upstream/grind_instantiate_trace_bug
• upstream/grind_instvar_issue
• upstream/grind_intCast_natCast
• upstream/grind_int_10
• upstream/grind_int_11
• upstream/grind_int_12
• upstream/grind_int_13
• upstream/grind_int_14
• upstream/grind_int_15
• upstream/grind_int_16
• upstream/grind_int_17
• upstream/grind_int_18
• upstream/grind_int_19
• upstream/grind_int_2
• upstream/grind_int_21
• upstream/grind_int_3
• upstream/grind_int_4
• upstream/grind_int_5
• upstream/grind_int_6
• upstream/grind_int_7
• upstream/grind_int_9
• upstream/grind_int_bitwise_cutsat
• upstream/grind_int_module_basic
• upstream/grind_interact
• upstream/grind_interactive_2
• upstream/grind_interactive_bug_fixes
• upstream/grind_internalize_gen
• upstream/grind_internalize_issues
• upstream/grind_intro
• upstream/grind_intro_ctor
• upstream/grind_intro_dep
• upstream/grind_intro_opt
• upstream/grind_inv2
• upstream/grind_inv_issue
• upstream/grind_inv_panic
• upstream/grind_invalid_proof
• upstream/grind_isCharP
• upstream/grind_isDebugEnabled
• upstream/grind_issue_14573
• upstream/grind_issue_15546
• upstream/grind_issue_15622
• upstream/grind_issue_15640
• upstream/grind_issue_15799
• upstream/grind_issue_mvar
• upstream/grind_issues
• upstream/grind_issues2
• upstream/grind_issues3
• upstream/grind_issues5
• upstream/grind_issues_new
• upstream/grind_ite
• upstream/grind_ite_cleanup
• upstream/grind_ite_congr
• upstream/grind_ite_funinduction
• upstream/grind_ite_split_issue
• upstream/grind_ite_syntax
• upstream/grind_ite_unused_match
• upstream/grind_kernel_interaction
• upstream/grind_lambda
• upstream/grind_lawfulos
• upstream/grind_lax
• upstream/grind_lazy_ite_internalization
• upstream/grind_let
• upstream/grind_let_fun
• upstream/grind_liaSteps
• upstream/grind_lia_bad_proof
• upstream/grind_lia_incomplete
• upstream/grind_lia_option
• upstream/grind_lia_timeout
• upstream/grind_linarith_2
• upstream/grind_linarith_3
• upstream/grind_linarith_4
• upstream/grind_linarith_5
• upstream/grind_linarith_andM
• upstream/grind_linarith_bug
• upstream/grind_linarith_bug2
• upstream/grind_linarith_den_3
• upstream/grind_linarith_diseq2
• upstream/grind_linarith_eq
• upstream/grind_linarith_eq_prop
• upstream/grind_linarith_hmul_nat
• upstream/grind_linarith_ineq_assert
• upstream/grind_linarith_inv
• upstream/grind_linarith_issue
• upstream/grind_linarith_issue_2
• upstream/grind_linarith_lawful_lt
• upstream/grind_linarith_mbtc
• upstream/grind_linarith_model
• upstream/grind_linarith_model_bug
• upstream/grind_linarith_occs
• upstream/grind_linarith_on_demand
• upstream/grind_linarith_refactor
• upstream/grind_linarith_reify
• upstream/grind_linarith_ring
• upstream/grind_linarith_skeleton
• upstream/grind_linarith_trim_proof
• upstream/grind_linarith_var_elim
• upstream/grind_lint
• upstream/grind_lint_check_try_this
• upstream/grind_lint_module
• upstream/grind_lint_refinement
• upstream/grind_lint_sizeOf_spec
• upstream/grind_linting
• upstream/grind_linting_2
• upstream/grind_list
• upstream/grind_list_exp
• upstream/grind_list_missing
• upstream/grind_list_monadic
• upstream/grind_list_perm
• upstream/grind_list_problems
• upstream/grind_list_problems2
• upstream/grind_list_tests
• upstream/grind_lit_values
• upstream/grind_local_ematch_thms
• upstream/grind_local_injective
• upstream/grind_local_inst_intro_issue
• upstream/grind_local_namespace
• upstream/grind_local_thm_issue
• upstream/grind_lookahead
• upstream/grind_lookahead2
• upstream/grind_lrat
• upstream/grind_lrat_cleanup
• upstream/grind_lrat_internal_error
• upstream/grind_lrat_issue
• upstream/grind_lrat_mvar
• upstream/grind_manual_link
• upstream/grind_map
• upstream/grind_map_ext
• upstream/grind_markAsCutsat
• upstream/grind_mark_nested
• upstream/grind_mark_nested_bug
• upstream/grind_mark_nested_issue
• upstream/grind_mark_nested_proof_bug
• upstream/grind_mark_nested_proofs_bug2
• upstream/grind_match
• upstream/grind_match_cond
• upstream/grind_match_cond_again
• upstream/grind_match_cond_bug
• upstream/grind_match_cond_external
• upstream/grind_match_cond_improvements
• upstream/grind_match_cond_nightmare
• upstream/grind_match_cond_split
• upstream/grind_match_congr_eq_new
• upstream/grind_match_fixes
• upstream/grind_match_fixes3
• upstream/grind_mathlib_issue
• upstream/grind_mbtc
• upstream/grind_mbtc_action_tactic
• upstream/grind_mbtc_bad_candidates
• upstream/grind_mbtc_bad_candidates_2
• upstream/grind_mbtc_bug
• upstream/grind_mbtc_cast_like
• upstream/grind_mbtc_nonlinear
• upstream/grind_mem_issue
• upstream/grind_mem_map
• upstream/grind_messages
• upstream/grind_mim_max
• upstream/grind_min
• upstream/grind_min2
• upstream/grind_minor
• upstream/grind_misc
• upstream/grind_missing_imp_prop
• upstream/grind_missing_norm
• upstream/grind_mns_cached_inst
• upstream/grind_mod_div_issue
• upstream/grind_model
• upstream/grind_model_interp_values
• upstream/grind_modifiers_docstrings
• upstream/grind_modify
• upstream/grind_module
• upstream/grind_module2
• upstream/grind_module_cleanup
• upstream/grind_module_dedup
• upstream/grind_module_hmul
• upstream/grind_module_tests
• upstream/grind_modules
• upstream/grind_mon_order
• upstream/grind_monad
• upstream/grind_multi_prop
• upstream/grind_mvars
• upstream/grind_natCast
• upstream/grind_natCast_nonneg
• upstream/grind_natModule_perf
• upstream/grind_nat_cast_norm
• upstream/grind_nat_div_mod_norm
• upstream/grind_nat_issue2
• upstream/grind_nat_lit
• upstream/grind_nat_module_linarith
• upstream/grind_nat_module_linarith_2
• upstream/grind_nat_module_linarith_3
• upstream/grind_nat_module_model
• upstream/grind_nat_module_norm
• upstream/grind_nat_module_norm_3
• upstream/grind_nat_sub_issue
• upstream/grind_nat_sub_zero
• upstream/grind_natcast_nonpos
• upstream/grind_neg_zero
• upstream/grind_nested_proof_propagation
• upstream/grind_new_attrs
• upstream/grind_new_cases_attr
• upstream/grind_no_mbtc_on_instances
• upstream/grind_no_mvar
• upstream/grind_no_nat_div
• upstream/grind_no_nat_div_envelope
• upstream/grind_no_null
• upstream/grind_no_revert
• upstream/grind_nochrono
• upstream/grind_nondet
• upstream/grind_nondet2
• upstream/grind_nondet3
• upstream/grind_nondet_congr_issue
• upstream/grind_nonempty
• upstream/grind_norm_arith_lhs
• upstream/grind_norm_attr
• upstream/grind_norm_bitvec_lits
• upstream/grind_norm_chore
• upstream/grind_norm_forall
• upstream/grind_norm_forall2
• upstream/grind_norm_int_tight
• upstream/grind_norm_issues
• upstream/grind_norm_lemmas
• upstream/grind_norm_more_probes
• upstream/grind_norm_natCast
• upstream/grind_norm_nat_cnstr
• upstream/grind_norm_push_not
• upstream/grind_norm_reduce_control
• upstream/grind_norm_sym_cast_lit
• upstream/grind_norm_sym_cat
• upstream/grind_norm_sym_fin_cutsat
• upstream/grind_norm_sym_fin_lit
• upstream/grind_norm_sym_flip
• upstream/grind_norm_sym_match
• upstream/grind_norm_sym_option
• upstream/grind_norm_sym_univ
• upstream/grind_normalizeLevels_perf
• upstream/grind_normalizer_new
• upstream/grind_not_internalized
• upstream/grind_not_value
• upstream/grind_null_leftovers
• upstream/grind_num
• upstream/grind_ofScientific
• upstream/grind_of_nat_module
• upstream/grind_offset_2
• upstream/grind_offset_arith
• upstream/grind_offset_base
• upstream/grind_offset_bug
• upstream/grind_offset_eq
• upstream/grind_offset_issue
• upstream/grind_offset_lit
• upstream/grind_offset_model
• upstream/grind_offset_model_redundant
• upstream/grind_offset_pattern_issue
• upstream/grind_offset_refactor
• upstream/grind_offset_simpler_interface
• upstream/grind_offset_thms
• upstream/grind_ofnat_issue
• upstream/grind_ofsemiring_issue
• upstream/grind_omega
• upstream/grind_omega_regressions
• upstream/grind_one_mul
• upstream/grind_opt
• upstream/grind_opt_tests
• upstream/grind_option
• upstream/grind_option2
• upstream/grind_option3
• upstream/grind_option_pbind
• upstream/grind_option_pmap.lean
• upstream/grind_option_review
• upstream/grind_order_1
• upstream/grind_order_10
• upstream/grind_order_11
• upstream/grind_order_12
• upstream/grind_order_13
• upstream/grind_order_3
• upstream/grind_order_5
• upstream/grind_order_6
• upstream/grind_order_7
• upstream/grind_order_8
• upstream/grind_order_9
• upstream/grind_order_bug
• upstream/grind_order_eq_issues
• upstream/grind_order_eq_prop_bug
• upstream/grind_order_nat_eq
• upstream/grind_order_refactor
• upstream/grind_order_term_eq
• upstream/grind_ordered_field
• upstream/grind_ordered_ring_test
• upstream/grind_over_applied_nested_proof
• upstream/grind_overapplied_ite
• upstream/grind_pairwise
• upstream/grind_pairwise2
• upstream/grind_palindrome
• upstream/grind_palindrome2
• upstream/grind_palindrome3
• upstream/grind_panic
• upstream/grind_panic2
• upstream/grind_panic3
• upstream/grind_panic_2
• upstream/grind_panic_2025-10-23
• upstream/grind_panic_eq_bwd
• upstream/grind_panic_issue
• upstream/grind_param_optimizer
• upstream/grind_param_paren_issue
• upstream/grind_params_extra
• upstream/grind_params_new
• upstream/grind_parirty
• upstream/grind_pat_cnstr
• upstream/grind_pat_cnstr_2
• upstream/grind_pat_cnstr_3
• upstream/grind_pat_issue
• upstream/grind_pat_suggestion
• upstream/grind_pattern
• upstream/grind_pattern_activation
• upstream/grind_pattern_attr
• upstream/grind_pattern_bug
• upstream/grind_pattern_choose_spec
• upstream/grind_pattern_discrepancies
• upstream/grind_pattern_docstring
• upstream/grind_pattern_fix
• upstream/grind_pattern_heu
• upstream/grind_pattern_local_scoped
• upstream/grind_pattern_natCast_nonneg
• upstream/grind_pattern_norm
• upstream/grind_pattern_pp
• upstream/grind_pattern_selection
• upstream/grind_pattern_subtype_property
• upstream/grind_pattern_validation
• upstream/grind_pattern_validation_issue
• upstream/grind_perf5
• upstream/grind_perf6
• upstream/grind_perf7
• upstream/grind_perf_counters
• upstream/grind_poly_cnstr_propagation
• upstream/grind_poly_eq
• upstream/grind_poly_ground_pattern
• upstream/grind_poly_loop
• upstream/grind_poly_mul_0
• upstream/grind_pow_add_norm
• upstream/grind_pow_add_semiring
• upstream/grind_pow_issue
• upstream/grind_pow_nat
• upstream/grind_pow_test
• upstream/grind_pow_zero_norm
• upstream/grind_pp
• upstream/grind_pp2
• upstream/grind_pre
• upstream/grind_pre2
• upstream/grind_pre_skeleton
• upstream/grind_premises
• upstream/grind_premises_robust
• upstream/grind_processMatch_bug
• upstream/grind_prod
• upstream/grind_prod2
• upstream/grind_prod_lex_def
• upstream/grind_profile
• upstream/grind_profile2
• upstream/grind_proj
• upstream/grind_proj_issue
• upstream/grind_proof2
• upstream/grind_proof3
• upstream/grind_proof4
• upstream/grind_proof_abst
• upstream/grind_proof_perf
• upstream/grind_proof_stability
• upstream/grind_propDown_issue
• upstream/grind_propagateBoolDiseq
• upstream/grind_propagateEqUp_perf
• upstream/grind_propagate_ctor
• upstream/grind_propagate_eq
• upstream/grind_propagation
• upstream/grind_propagation_issue
• upstream/grind_prove
• upstream/grind_proveEq
• upstream/grind_prove_eq
• upstream/grind_prove_eq_improved
• upstream/grind_pull_universal_over_disj
• upstream/grind_pushNewFact_fix
• upstream/grind_qsort_problems
• upstream/grind_quote_arith
• upstream/grind_rat_linarith
• upstream/grind_reducible
• upstream/grind_reentrant_internalize
• upstream/grind_refactor
• upstream/grind_refactor2
• upstream/grind_refactor_ctx
• upstream/grind_refactor_shareCommon
• upstream/grind_refactor_thm_activation
• upstream/grind_register_nonlinear_occ_bug
• upstream/grind_regress_ground_pat
• upstream/grind_regression
• upstream/grind_regressions
• upstream/grind_reify_inv
• upstream/grind_relation_typeclasses
• upstream/grind_reorder
• upstream/grind_report_issue
• upstream/grind_reset_syntax
• upstream/grind_resolve
• upstream/grind_resolve_cooper
• upstream/grind_restore_cache
• upstream/grind_ringSteps
• upstream/grind_ring_action
• upstream/grind_ring_bug
• upstream/grind_ring_bug_2
• upstream/grind_ring_bv_issue
• upstream/grind_ring_cert
• upstream/grind_ring_debug
• upstream/grind_ring_denote
• upstream/grind_ring_diag
• upstream/grind_ring_diamond
• upstream/grind_ring_gb_heuristics
• upstream/grind_ring_gcd
• upstream/grind_ring_helper
• upstream/grind_ring_imp_eq
• upstream/grind_ring_ineq_terms
• upstream/grind_ring_inv2
• upstream/grind_ring_inv_zero
• upstream/grind_ring_issues4
• upstream/grind_ring_linarith
• upstream/grind_ring_nondet
• upstream/grind_ring_norm
• upstream/grind_ring_norm_bug
• upstream/grind_ring_norm_const
• upstream/grind_ring_norm_extra
• upstream/grind_ring_normalization
• upstream/grind_ring_on_demand
• upstream/grind_ring_op_sanity_checks
• upstream/grind_ring_perf
• upstream/grind_ring_poly_safe
• upstream/grind_ring_proof
• upstream/grind_ring_semiring_refactor
• upstream/grind_ring_smul
• upstream/grind_ring_step_proof
• upstream/grind_ring_tests
• upstream/grind_ring_trim_proof
• upstream/grind_search_final
• upstream/grind_search_new
• upstream/grind_semiring
• upstream/grind_semiring_2
• upstream/grind_semiring_issue2
• upstream/grind_semiring_norm
• upstream/grind_semiring_norm3
• upstream/grind_semiring_norm_2
• upstream/grind_semiring_norm_proc
• upstream/grind_semiring_step2
• upstream/grind_set_config
• upstream/grind_set_option
• upstream/grind_set_option_completion
• upstream/grind_sharecommon_filter
• upstream/grind_show_proof
• upstream/grind_simp_basis
• upstream/grind_simp_cache
• upstream/grind_simp_diag
• upstream/grind_simp_perf
• upstream/grind_simp_perf2
• upstream/grind_simp_perf3
• upstream/grind_simp_state
• upstream/grind_simp_univ_issue
• upstream/grind_simple_congr_proof
• upstream/grind_simproc2
• upstream/grind_simprocs_unfold
• upstream/grind_simprocs_unfold2
• upstream/grind_sizeOf
• upstream/grind_size_eq_zero_iff
• upstream/grind_solver_action
• upstream/grind_solver_capture
• upstream/grind_solver_hooks
• upstream/grind_som
• upstream/grind_som_char
• upstream/grind_som_rarray
• upstream/grind_sort_eqcs
• upstream/grind_split
• upstream/grind_split_3
• upstream/grind_split_better
• upstream/grind_split_config
• upstream/grind_split_data
• upstream/grind_split_fix
• upstream/grind_split_heu
• upstream/grind_split_iff
• upstream/grind_split_perf
• upstream/grind_split_source
• upstream/grind_split_trace
• upstream/grind_stackoverflow
• upstream/grind_stepwise_deriv
• upstream/grind_sublist
• upstream/grind_sublist_head_mem
• upstream/grind_subtype_forall
• upstream/grind_subtype_mk_prop
• upstream/grind_sum
• upstream/grind_superpose2
• upstream/grind_superpose3
• upstream/grind_sym_arith_distrib
• upstream/grind_sym_arith_mdata
• upstream/grind_sym_eq_self
• upstream/grind_sym_field_inv
• upstream/grind_sym_forall_or
• upstream/grind_sym_natcast_inst
• upstream/grind_sym_norm_char
• upstream/grind_sym_norm_ext
• upstream/grind_sym_not_imp
• upstream/grind_sym_prio_part2
• upstream/grind_sym_prop_domain
• upstream/grind_sym_refactoring
• upstream/grind_sym_simp_4_item
• upstream/grind_symbol_prio
• upstream/grind_symbols
• upstream/grind_tac
• upstream/grind_tc
• upstream/grind_tc_diamond
• upstream/grind_tc_issue
• upstream/grind_term_info
• upstream/grind_test2
• upstream/grind_test_cleanup
• upstream/grind_tests
• upstream/grind_theory_combination
• upstream/grind_theory_combination_2
• upstream/grind_theory_combination_3
• upstream/grind_theory_combination_4
• upstream/grind_theory_combination_5
• upstream/grind_thm_activation_issue
• upstream/grind_toInt_bounds
• upstream/grind_toInt_eq2
• upstream/grind_toInt_mbtc
• upstream/grind_toInt_on_demand
• upstream/grind_toInt_strict_ineq
• upstream/grind_toNat_natAbs
• upstream/grind_toPoly
• upstream/grind_to_int
• upstream/grind_to_int2
• upstream/grind_todo_propagate
• upstream/grind_toint_assert
• upstream/grind_toint_typeclasses
• upstream/grind_trace_anchor_issue
• upstream/grind_trace_eager_split
• upstream/grind_trace_goal
• upstream/grind_trace_issue
• upstream/grind_trace_new
• upstream/grind_trace_step2
• upstream/grind_trace_with_sorry
• upstream/grind_track_ematch
• upstream/grind_transparency_bug
• upstream/grind_treemap
• upstream/grind_treemap_init
• upstream/grind_trig
• upstream/grind_try_grind_new
• upstream/grind_unexpected_mvar
• upstream/grind_unfold_red_perf
• upstream/grind_unfold_reducible_bug
• upstream/grind_univ_metavars
• upstream/grind_use_not_value
• upstream/grind_use_ns
• upstream/grind_using_reducible
• upstream/grind_verbose
• upstream/grind_verbose_default
• upstream/grind_warn
• upstream/grind_warn_param
• upstream/grind_warn_pat
• upstream/grind_whnfD_issues
• upstream/grind_whnf_panic
• upstream/grind_zetaDelta
• upstream/grint_ite_cleanup
• upstream/ground_modifier
• upstream/guard_expr
• upstream/guard_msgs_in_grind_pre_test
• upstream/guard_msgs_suggestion
• upstream/hack-comment-isNonTrivialRegular
• upstream/half-sysroot
• upstream/handle-finalize-panic
• upstream/hasValueBug
• upstream/has_fvar_mvar_perf
• upstream/hash-lang
• upstream/hash64
• upstream/hash_instances
• upstream/hashable_bitvec
• upstream/hashmap
• upstream/hashmap-filter-map
• upstream/hashmap-getKey
• upstream/hashmap_deprecations
• upstream/hashmap_emptyWithCapacity
• upstream/hashmap_equiv_getElem_eq
• upstream/hashmap_filter_lemmas
• upstream/hashmap_insert_simps
• upstream/hashmap_tolist_order
• upstream/hashset_all
• upstream/hashset_raw_all
• upstream/have-by-braces
• upstream/have_telescope_bench
• upstream/hboeving/bvvalue
• upstream/hbv/adaptive_dependson
• upstream/hbv/aig_to_cnf_compaction
• upstream/hbv/alignment
• upstream/hbv/alloc_fork
• upstream/hbv/annotate_alloc
• upstream/hbv/annotated_tagged_return
• upstream/hbv/array-runtime
• upstream/hbv/array_get_infer_borrow
• upstream/hbv/assume
• upstream/hbv/async-sleep
• upstream/hbv/atomic_experiment
• upstream/hbv/benchmark-output
• upstream/hbv/better-error
• upstream/hbv/better_dbg_trace_if_shared
• upstream/hbv/better_size_types
• upstream/hbv/bitvec-order
• upstream/hbv/bitvec-uint-more
• upstream/hbv/bitvec_grind
• upstream/hbv/blastsub
• upstream/hbv/bloclist
• upstream/hbv/bool2uint
• upstream/hbv/bounded_queue_fix
• upstream/hbv/bv_decide_ac_nf_disable
• upstream/hbv/bv_decide_add_neg_mul
• upstream/hbv/bv_decide_and_flattening
• upstream/hbv/bv_decide_bench
• upstream/hbv/bv_decide_bench_fix
• upstream/hbv/bv_decide_bv_equal_const_not
• upstream/hbv/bv_decide_cache_perf
• upstream/hbv/bv_decide_cast
• upstream/hbv/bv_decide_cex_api
• upstream/hbv/bv_decide_cleanup
• upstream/hbv/bv_decide_compress_aig
• upstream/hbv/bv_decide_computed_field
• upstream/hbv/bv_decide_config
• upstream/hbv/bv_decide_constraint_subst
• upstream/hbv/bv_decide_decide_cbv
• upstream/hbv/bv_decide_defeq
• upstream/hbv/bv_decide_delete_unused
• upstream/hbv/bv_decide_dimacs
• upstream/hbv/bv_decide_fast_and_flattening
• upstream/hbv/bv_decide_fvar
• upstream/hbv/bv_decide_getLsbD
• upstream/hbv/bv_decide_getMsbD
• upstream/hbv/bv_decide_grind
• upstream/hbv/bv_decide_if
• upstream/hbv/bv_decide_imp_false
• upstream/hbv/bv_decide_implicit
• upstream/hbv/bv_decide_int_beq
• upstream/hbv/bv_decide_latency
• upstream/hbv/bv_decide_less_defeq
• upstream/hbv/bv_decide_lets
• upstream/hbv/bv_decide_lrat_trim_perf
• upstream/hbv/bv_decide_meta
• upstream/hbv/bv_decide_more_simproc
• upstream/hbv/bv_decide_mutual
• upstream/hbv/bv_decide_neg
• upstream/hbv/bv_decide_ofBool
• upstream/hbv/bv_decide_orphan
• upstream/hbv/bv_decide_pass_options
• upstream/hbv/bv_decide_preproc_failure
• upstream/hbv/bv_decide_prop
• upstream/hbv/bv_decide_rarray
• upstream/hbv/bv_decide_reduce_cond
• upstream/hbv/bv_decide_refactor_cache
• upstream/hbv/bv_decide_refvec
• upstream/hbv/bv_decide_reverse
• upstream/hbv/bv_decide_rewrite
• upstream/hbv/bv_decide_sat
• upstream/hbv/bv_decide_sdiv
• upstream/hbv/bv_decide_shareCommon
• upstream/hbv/bv_decide_sint
• upstream/hbv/bv_decide_smt
• upstream/hbv/bv_decide_sshiftRight
• upstream/hbv/bv_decide_structures_fix
• upstream/hbv/bv_decide_style
• upstream/hbv/bv_decide_substructure_cache
• upstream/hbv/bv_decide_sym
• upstream/hbv/bv_decide_synth_instance_perf
• upstream/hbv/bv_decide_synthetic
• upstream/hbv/bv_decide_true_counterex
• upstream/hbv/bv_decide_twoPow
• upstream/hbv/bv_decide_udiv
• upstream/hbv/bv_decide_umod
• upstream/hbv/bv_decide_uninterp
• upstream/hbv/bv_decide_unsat
• upstream/hbv/bv_decide_warning
• upstream/hbv/bv_decide_ztrewrites
• upstream/hbv/bv_minmax
• upstream/hbv/bv_mul_benchmark
• upstream/hbv/bv_normalize_cleanup
• upstream/hbv/bv_normalize_mvars
• upstream/hbv/bv_normalize_partial
• upstream/hbv/bv_normalize_simprocs
• upstream/hbv/bv_uf
• upstream/hbv/cache_lrat
• upstream/hbv/cache_substructure
• upstream/hbv/capacity
• upstream/hbv/cbv_map
• upstream/hbv/char_functions
• upstream/hbv/characters_in_bench
• upstream/hbv/check_perf
• upstream/hbv/clang_stupid
• upstream/hbv/cleanup_shared_timed_mutex
• upstream/hbv/closed_term_ctor_tree
• upstream/hbv/closed_terms
• upstream/hbv/comparator_default
• upstream/hbv/compare
• upstream/hbv/compare_step_1
• upstream/hbv/compiler_critical
• upstream/hbv/compiler_critical_path
• upstream/hbv/compiler_csimp_macro_inline
• upstream/hbv/compiler_uint64_boxed
• upstream/hbv/computed_fields_inline
• upstream/hbv/csimp_macro_inline_recursion
• upstream/hbv/debug-bv-decide-disable
• upstream/hbv/dec_dequeue
• upstream/hbv/defeq_fast_fast_path
• upstream/hbv/derse
• upstream/hbv/direct_worker
• upstream/hbv/disable_async_sanitize
• upstream/hbv/disable_borrow
• upstream/hbv/disable_cse_experiment
• upstream/hbv/dl_code
• upstream/hbv/doc_comparator
• upstream/hbv/drop_spec
• upstream/hbv/dummy
• upstream/hbv/eager_lambda_lift
• upstream/hbv/early_elim_dead
• upstream/hbv/elim_dead_branches_inv
• upstream/hbv/elim_elim_dead_branches
• upstream/hbv/embedded_constraint_subst
• upstream/hbv/epr
• upstream/hbv/even_less_double_checks
• upstream/hbv/expand_reset_reuse_no_check
• upstream/hbv/experiment
• upstream/hbv/explicit_rc_borrow_it_all
• upstream/hbv/explicit_rc_scope_sensitive
• upstream/hbv/export_error
• upstream/hbv/fast_st
• upstream/hbv/faster_csimp
• upstream/hbv/faster_interpreter
• upstream/hbv/fix-bv-bench
• upstream/hbv/fix-cond-reflection
• upstream/hbv/fix-leansat-range
• upstream/hbv/fix_assert
• upstream/hbv/fix_bool_const_fold
• upstream/hbv/fix_clit
• upstream/hbv/fix_const_fold
• upstream/hbv/fix_fixedInt
• upstream/hbv/fix_foldlMUnsafe
• upstream/hbv/fix_getbang_derived
• upstream/hbv/fix_getbang_p2
• upstream/hbv/fix_impure
• upstream/hbv/fix_lcnf_pretty
• upstream/hbv/fix_memleak
• upstream/hbv/fix_nightly_2
• upstream/hbv/fix_nonlinearity
• upstream/hbv/fix_rebootstrap_cache
• upstream/hbv/fix_simp_cases_on_ctor
• upstream/hbv/fix_st_ptr_eq
• upstream/hbv/fix_stage0
• upstream/hbv/fix_stref
• upstream/hbv/fix_uint_const_fold
• upstream/hbv/fix_unit_private
• upstream/hbv/fix_uv_memleak
• upstream/hbv/fix_uv_tcp_accept_deadlock
• upstream/hbv/fixpoint_jp_test
• upstream/hbv/flat_cache
• upstream/hbv/floatLetIn_non_quadratic
• upstream/hbv/foldlM_2
• upstream/hbv/foldlRecOn
• upstream/hbv/form_lcnf
• upstream/hbv/from-export
• upstream/hbv/generalized-parsec
• upstream/hbv/grind_bench
• upstream/hbv/grind_debug_failures
• upstream/hbv/grind_erase_1
• upstream/hbv/grind_graph
• upstream/hbv/grind_module_prio
• upstream/hbv/grindset_graph
• upstream/hbv/hashmap_less_inline
• upstream/hbv/hbv_bv_decide_refactor_preproc
• upstream/hbv/hidden
• upstream/hbv/high_arity_linear
• upstream/hbv/improve_boxing
• upstream/hbv/inc_improve
• upstream/hbv/incremental_bitblasting
• upstream/hbv/inline_array
• upstream/hbv/inline_first_byte
• upstream/hbv/inline_match_expr
• upstream/hbv/inline_st
• upstream/hbv/interpreter_accel
• upstream/hbv/intx
• upstream/hbv/io-lines
• upstream/hbv/ir_experiment
• upstream/hbv/ir_precompute
• upstream/hbv/isize
• upstream/hbv/johan-test
• upstream/hbv/json-compress-lookup
• upstream/hbv/json-compress-perf
• upstream/hbv/json_fast_path
• upstream/hbv/json_gerät
• upstream/hbv/json_gerät++
• upstream/hbv/keine-kunst
• upstream/hbv/kill-lean-hashset
• upstream/hbv/kill-reuse
• upstream/hbv/lambda_pure
• upstream/hbv/lcnf_borrows
• upstream/hbv/lcnf_elim_dead_vars
• upstream/hbv/lcnf_expand_instr
• upstream/hbv/lcnf_internalize_unique_binders
• upstream/hbv/lcnf_print_inc
• upstream/hbv/lcnf_propagate_borrow_forward
• upstream/hbv/lcnf_quot
• upstream/hbv/lcnf_simp_default_perf
• upstream/hbv/lean_always_inline
• upstream/hbv/lean_auto_thread
• upstream/hbv/lean_unordered_set
• upstream/hbv/leansat-bench
• upstream/hbv/less_spec
• upstream/hbv/less_specialize
• upstream/hbv/lessmac
• upstream/hbv/level_data
• upstream/hbv/list_bench
• upstream/hbv/list_elab_p1
• upstream/hbv/list_elab_p2
• upstream/hbv/list_let_delayed
• upstream/hbv/llvm-pr-193939
• upstream/hbv/local_spec_cache
• upstream/hbv/lsattheory
• upstream/hbv/macro_inline_decidable
• upstream/hbv/mapMonoM
• upstream/hbv/marklinear
• upstream/hbv/meta_trans_share
• upstream/hbv/modn
• upstream/hbv/more-indep
• upstream/hbv/more_hashmaps
• upstream/hbv/mul_doc
• upstream/hbv/name_cmp_speedup
• upstream/hbv/name_hash_64
• upstream/hbv/nametostring
• upstream/hbv/nametrie
• upstream/hbv/nat_mul_cfold
• upstream/hbv/nat_possible_ref
• upstream/hbv/net-sockaddr
• upstream/hbv/no-expand
• upstream/hbv/no-sandbox
• upstream/hbv/no_grind_list_append_assoc
• upstream/hbv/noinline_unsafeCast
• upstream/hbv/nonlinear_prettyprinter
• upstream/hbv/nonlinear_primitives
• upstream/hbv/nonlinear_pushproj
• upstream/hbv/obj_graph
• upstream/hbv/optimize_dec_ref_cold
• upstream/hbv/order-axioms
• upstream/hbv/outline_heartbeat
• upstream/hbv/perf_internalize
• upstream/hbv/perf_synth_instance
• upstream/hbv/persistent_borrows
• upstream/hbv/persistent_simple_ground
• upstream/hbv/phashmap
• upstream/hbv/phashmap_alter
• upstream/hbv/phashmap_specialize
• upstream/hbv/popcount
• upstream/hbv/port_simple_ground_expr
• upstream/hbv/prevent_est_ok_alloc
• upstream/hbv/print_no_specialize
• upstream/hbv/provable_constant_fold
• upstream/hbv/qsort
• upstream/hbv/questions
• upstream/hbv/rapidhash
• upstream/hbv/rat_fix
• upstream/hbv/rc_defined
• upstream/hbv/rc_insertion_linear
• upstream/hbv/readFile
• upstream/hbv/redlength
• upstream/hbv/reduce_arity_fully
• upstream/hbv/reducearity
• upstream/hbv/ref_cache
• upstream/hbv/refactor-bv-normalize
• upstream/hbv/regress_segfault
• upstream/hbv/remove-log
• upstream/hbv/remove_grind_proof
• upstream/hbv/remove_write
• upstream/hbv/reorder-elim-dead-branches
• upstream/hbv/reproducer_arity
• upstream/hbv/return_type_correction
• upstream/hbv/revert_overapp
• upstream/hbv/revert_waitany
• upstream/hbv/revive_llvm
• upstream/hbv/safe_get_state
• upstream/hbv/sat-codeowner
• upstream/hbv/sat_rup
• upstream/hbv/save-always
• upstream/hbv/secure_mimalloc
• upstream/hbv/select
• upstream/hbv/selectable_empty
• upstream/hbv/shared_mutex
• upstream/hbv/simdutf
• upstream/hbv/simp_cases_weaker
• upstream/hbv/simp_kill_single_exit_cases
• upstream/hbv/simp_nested
• upstream/hbv/simp_subexpr_bench
• upstream/hbv/simp_task_get_pure
• upstream/hbv/single_field_hash
• upstream/hbv/sint_abi
• upstream/hbv/sintx
• upstream/hbv/specialize_less_aggressive
• upstream/hbv/specialize_unused
• upstream/hbv/specialize_user_annotation
• upstream/hbv/speedup_traces
• upstream/hbv/std-sync
• upstream/hbv/std-time-minimize-imports
• upstream/hbv/string_alloc
• upstream/hbv/string_to_list
• upstream/hbv/strip_binaries_off
• upstream/hbv/subscript_docs
• upstream/hbv/subsort_analysis
• upstream/hbv/superliniear_closed_terms
• upstream/hbv/symbreak
• upstream/hbv/syntax_zipper_nonlinear
• upstream/hbv/task_manager_decentralize
• upstream/hbv/task_wait_dedicated
• upstream/hbv/telescope_capacity
• upstream/hbv/tempfile
• upstream/hbv/test
• upstream/hbv/time-shake
• upstream/hbv/to_string
• upstream/hbv/todo_fix
• upstream/hbv/trennhexe_aig
• upstream/hbv/tryWait
• upstream/hbv/uget
• upstream/hbv/uintOfNat
• upstream/hbv/unexpanded_reset_perf
• upstream/hbv/unicode_subscript
• upstream/hbv/uniqueness_analysis
• upstream/hbv/unshake_toarray
• upstream/hbv/upgrade-ci
• upstream/hbv/usize_smart_folding
• upstream/hbv/visit_isFVar
• upstream/hbv/void_jp_args
• upstream/hbv/xid
• upstream/hbv_find_join_points
• upstream/hctor_contra
• upstream/head_getLast
• upstream/head_mem_unsimp
• upstream/head_ofFn
• upstream/head_range_lemmas
• upstream/header-elab-partial-body
• upstream/heapsort_cleanup
• upstream/heartbeat-minimal
• upstream/heartbeats
• upstream/heq_notation
• upstream/het-snaps-cmdline
• upstream/hexnum
• upstream/highlight-autoimp
• upstream/hinj_thm
• upstream/hmul_to_smul
• upstream/hom_borrow
• upstream/hom_dedup
• upstream/hom_fallback_attr
• upstream/hom_not
• upstream/hom_pow
• upstream/hom_root
• upstream/hom_rotate
• upstream/hom_row_1
• upstream/hom_row_2
• upstream/hom_shift_var
• upstream/hom_slt
• upstream/hom_sshift
• upstream/hover-canonical
• upstream/hover-compl-name
• upstream/hyg-secs
• upstream/hygiene-all-the-things
• upstream/hypothetical-pr-for-grove
• upstream/i-lost-my-keys
• upstream/i-prefer-known-compiler-bugs
• upstream/id
• upstream/identifier-dot-fn
• upstream/idrun_issue
• upstream/ilp64
• upstream/implement-grind-annotated
• upstream/implicit-autoparam
• upstream/implicitDefEqProofs_true
• upstream/implicit_reducible
• upstream/implicit_reducible_2
• upstream/implicit_reducible_match
• upstream/implicit_review
• upstream/implicitness2
• upstream/import-case
• upstream/import-postponed-ir
• upstream/import-private
• upstream/import-runtime
• upstream/import-trail-ws
• upstream/import_cleanup
• upstream/import_lean_reply
• upstream/import_reduction
• upstream/imports
• upstream/improve-initialize-nonempty-error
• upstream/improve_List_toArray_doc
• upstream/improve_decide_error
• upstream/inacc-hover
• upstream/include-out-param
• upstream/incr-api
• upstream/incr-have
• upstream/incr-less-suppress
• upstream/incr-next-if
• upstream/incr-proto
• upstream/incr-tactic
• upstream/incr-tactic-rc1
• upstream/incremental-cmd-macros
• upstream/incremental-command-tag
• upstream/indexLinter
• upstream/indexOf_lawful
• upstream/indexVariables2
• upstream/indexVariables3
• upstream/indexed-parser
• upstream/indexmap_update
• upstream/induction-with-no-alts-typo
• upstream/induction_public
• upstream/infer-instance-as-expose
• upstream/inferInstanceAs-docstring
• upstream/inferTypeCache
• upstream/info-enabled
• upstream/info-let-val
• upstream/info-tree-add-trailing
• upstream/infoAsError
• upstream/info_trees_cmd
• upstream/init-free-mod
• upstream/init-order
• upstream/initMacros
• upstream/init_array
• upstream/inj_proof_perf
• upstream/injective_args
• upstream/inline-dec
• upstream/inline-expr-data
• upstream/inline-inc-cold
• upstream/inline-istrac
• upstream/inline_alloc
• upstream/inline_coroutine_bind
• upstream/inline_coroutine_bind_done
• upstream/inline_getStateImpl
• upstream/insertIdx
• upstream/insertIf-linear
• upstream/insertMany_append
• upstream/insertionSort
• upstream/instBEqNat
• upstream/inst_mvars_issue
• upstream/inst_mvars_with_delayed_subst
• upstream/inst_perf
• upstream/inst_perf2
• upstream/inst_perf3
• upstream/inst_safer
• upstream/install-name_1
• upstream/instance_arguments
• upstream/instances_diagnostics
• upstream/instantiateRevBetaS
• upstream/instantiateS
• upstream/instmvar_fvar_set
• upstream/int_cleanup
• upstream/int_imports
• upstream/int_multiplication_lemmas
• upstream/int_norm
• upstream/int_one_pow
• upstream/int_pow_def
• upstream/int_simp_lemmas
• upstream/int_simproc
• upstream/interactive-trace-times
• upstream/internal_duplication_hashmap
• upstream/interp
• upstream/interp-init
• upstream/interp-leak
• upstream/interp-unboxed
• upstream/interp_prims
• upstream/interp_ptr_cache_only
• upstream/interpolatedStr-term
• upstream/interpret-mod-init-once
• upstream/interrupt-ex
• upstream/intersperse-ratio-endpoints
• upstream/intersperse_follow_up
• upstream/intmodule2
• upstream/intro1_bench
• upstream/inv_dyadic
• upstream/inv_notation
• upstream/io-run-task
• upstream/ioioio
• upstream/ir-extras-roots
• upstream/isDefEqProj-class-transparency
• upstream/isDefEqStruct
• upstream/isDefEq_elapsed
• upstream/isEqv_simp
• upstream/isInstance-congr-regression-test
• upstream/isProofApp-no-instLevels
• upstream/isSome_idxOf
• upstream/is_prop_issue
• upstream/isproof_quick
• upstream/isprop_quick
• upstream/issue-13295
• upstream/issue-13310
• upstream/issue-14708
• upstream/issue-15264
• upstream/issue-16012
• upstream/issue-16101
• upstream/issue1218
• upstream/issue1926
• upstream/issue2321
• upstream/issue2327
• upstream/issue2552
• upstream/issue2669
• upstream/issue6065
• upstream/issue6067
• upstream/issue_13416_test
• upstream/issue_15502
• upstream/issue_15938
• upstream/issue_15987
• upstream/issue_2042
• upstream/issue_2178
• upstream/issue_2226
• upstream/issue_2243
• upstream/issue_2283
• upstream/issue_2461
• upstream/issue_2558
• upstream/issue_2634
• upstream/issue_2649
• upstream/issue_2736
• upstream/issue_2736_defeq
• upstream/issue_2775
• upstream/issue_2862
• upstream/issue_2899
• upstream/issue_2916
• upstream/issue_3022
• upstream/issue_3029
• upstream/issue_3045
• upstream/issue_3229
• upstream/issue_3257
• upstream/issue_3373
• upstream/issue_3395
• upstream/issue_3497
• upstream/issue_3501
• upstream/issue_3519
• upstream/issue_3524
• upstream/issue_3547
• upstream/issue_3554
• upstream/issue_3686
• upstream/issue_3705
• upstream/issue_3710
• upstream/issue_3713
• upstream/issue_3720
• upstream/issue_3943
• upstream/issue_4064
• upstream/issue_4203
• upstream/issue_4290
• upstream/issue_4306
• upstream/issue_4309
• upstream/issue_4310
• upstream/issue_4313
• upstream/issue_4324
• upstream/issue_4339
• upstream/issue_4365
• upstream/issue_4390
• upstream/issue_4413
• upstream/issue_4452
• upstream/issue_4462
• upstream/issue_4534
• upstream/issue_4535
• upstream/issue_4547
• upstream/issue_4585
• upstream/issue_4636
• upstream/issue_4644
• upstream/issue_4662
• upstream/issue_4673
• upstream/issue_4673_again
• upstream/issue_4677
• upstream/issue_4773
• upstream/issue_4851
• upstream/issue_4861
• upstream/issue_4983
• upstream/issue_4985
• upstream/issue_5046
• upstream/issue_5046_cleanup
• upstream/issue_5333
• upstream/issue_5388
• upstream/issue_5660
• upstream/issue_6066
• upstream/issue_6263
• upstream/issue_6467
• upstream/issues_summary.sh
• upstream/isunitlike_level_cache
• upstream/ite-docs
• upstream/iterator_in_lean
• upstream/its-not-even-spring-yet
• upstream/jhx/reduceNat_fix
• upstream/jhx/reduce_nat_fix
• upstream/jhx/toArray
• upstream/jmc-ci-pin-release-action
• upstream/jmc-list-simp
• upstream/jmc-match-pattern-mul
• upstream/jmc-nolint
• upstream/jmc-release-notes-py-print-hash
• upstream/jmc-releases-folder
• upstream/jmc-typo-should-by
• upstream/joachi/match-irrefutable
• upstream/joachim/14484
• upstream/joachim/IndPred-use-applyRules
• upstream/joachim/Kernel.check
• upstream/joachim/Poly.norm
• upstream/joachim/RArray
• upstream/joachim/RArray-def
• upstream/joachim/SimpM-run
• upstream/joachim/String.ofList
• upstream/joachim/abs-rec-rule
• upstream/joachim/abs-rec-rule2
• upstream/joachim/abstract-proofs-in-types
• upstream/joachim/ac_rfl_block_reduction
• upstream/joachim/accessible-names
• upstream/joachim/actionlint
• upstream/joachim/altNumParams
• upstream/joachim/always_simp_wf
• upstream/joachim/args-packer-refactor
• upstream/joachim/argspacker
• upstream/joachim/array-deprecations
• upstream/joachim/array_feraseidx
• upstream/joachim/auto-attach
• upstream/joachim/auto-attach-attribu
• upstream/joachim/auto-try
• upstream/joachim/auxLemma-name
• upstream/joachim/avoid-beta
• upstream/joachim/avoid-splitters
• upstream/joachim/awaiting-mathlib
• upstream/joachim/backward-defeq-attrib
• upstream/joachim/backwards-backward
• upstream/joachim/backwards-option-note
• upstream/joachim/baseio_as_thunk
• upstream/joachim/bench-linter-fix
• upstream/joachim/bench-nat-match
• upstream/joachim/bench11992
• upstream/joachim/bench_big_struct_dep1
• upstream/joachim/beq-bench
• upstream/joachim/beq-natdeceq
• upstream/joachim/better-restart-on-label
• upstream/joachim/big_struct_dep_bench
• upstream/joachim/binderNameHint
• upstream/joachim/binderNameHint-congr
• upstream/joachim/body-indent
• upstream/joachim/bool-ctoridx
• upstream/joachim/brecOn-to-rec
• upstream/joachim/brecOn-to-rec2
• upstream/joachim/bump-actions
• upstream/joachim/bv-decide-checkSystem
• upstream/joachim/bv_omega_defeq_proofs
• upstream/joachim/by-indent
• upstream/joachim/cancel-callbacks
• upstream/joachim/cancel-propagation
• upstream/joachim/cancellation-promise
• upstream/joachim/cancellation-test-simplification
• upstream/joachim/cancellation-token-tweaks
• upstream/joachim/caseValues-subst-once
• upstream/joachim/caseValues-subst-once2
• upstream/joachim/casesOn-as-match
• upstream/joachim/casesOnSameCtor
• upstream/joachim/casesOnSameCtorVisibility
• upstream/joachim/casesValues-no-hyps
• upstream/joachim/cases_complex_args
• upstream/joachim/cdot-withCaseRef
• upstream/joachim/checkSystem
• upstream/joachim/checkSystemTime
• upstream/joachim/checkTargets
• upstream/joachim/checkbang
• upstream/joachim/ci-comment-detectin
• upstream/joachim/ci-quick-no-test
• upstream/joachim/ci-tweaks
• upstream/joachim/clause-ccache
• upstream/joachim/cleanup-option
• upstream/joachim/closure-impl-detail
• upstream/joachim/commit-convention-test
• upstream/joachim/commonPrefix-alpha
• upstream/joachim/compress-discrtree
• upstream/joachim/cond-sort-prep
• upstream/joachim/congr-eqn-module
• upstream/joachim/congr-eqns
• upstream/joachim/constructions-belows
• upstream/joachim/constructions-recOn
• upstream/joachim/constructions-vals
• upstream/joachim/contradiction-docstring
• upstream/joachim/conv-calc
• upstream/joachim/counter-ex-order
• upstream/joachim/counter-ex-vars
• upstream/joachim/csup-prop
• upstream/joachim/ctor-idx-macro-inline
• upstream/joachim/ctorIdx
• upstream/joachim/ctorIdxMacroInline
• upstream/joachim/ctorIdxMacroInline-revert
• upstream/joachim/ctorIdxNoAbbrev
• upstream/joachim/ctorIdx_elim_opts
• upstream/joachim/dangling-exports
• upstream/joachim/deceasing-mdata
• upstream/joachim/deceq-bench
• upstream/joachim/deceq-deriving-match
• upstream/joachim/decideBang
• upstream/joachim/decreasing-omega
• upstream/joachim/defeq-attr-adapat
• upstream/joachim/defeq-eqns
• upstream/joachim/defuse-1697
• upstream/joachim/delab-casesOn
• upstream/joachim/delete-bad-tests
• upstream/joachim/depr-toCtorIdx
• upstream/joachim/deprecated-options
• upstream/joachim/deprecated-options2
• upstream/joachim/derecursifiers
• upstream/joachim/derivable-accessible-name
• upstream/joachim/deriveLawfulBEq_in_Init
• upstream/joachim/disable-test
• upstream/joachim/discr-key-ctorIdx
• upstream/joachim/discrtree-star-last
• upstream/joachim/div-mod-fuel
• upstream/joachim/divide-match
• upstream/joachim/doc-new-test
• upstream/joachim/doc-recursive
• upstream/joachim/doc-typo
• upstream/joachim/docs-alternative
• upstream/joachim/docs-head
• upstream/joachim/docs-instantiateMVars
• upstream/joachim/docs-mapM
• upstream/joachim/docs-squash
• upstream/joachim/dont-set-options-group
• upstream/joachim/drop_sizeof_get_lt
• upstream/joachim/dsimp-attr
• upstream/joachim/dsimp-index
• upstream/joachim/elim-complex
• upstream/joachim/empty-by-test
• upstream/joachim/empty-by-test2
• upstream/joachim/emptyByCompletion
• upstream/joachim/eof-open-public
• upstream/joachim/eq-thms-prios
• upstream/joachim/eqn-backward-options
• upstream/joachim/eqn-options
• upstream/joachim/eqn-options-async-local
• upstream/joachim/eqn-options-cross-module
• upstream/joachim/eqn-tests
• upstream/joachim/eqnTypes-no-rfl
• upstream/joachim/eqninfos-hasInduct
• upstream/joachim/eqns-deep
• upstream/joachim/eqns-unpublic-section
• upstream/joachim/error-explanations-imports
• upstream/joachim/expectTypeMessage
• upstream/joachim/exportEntriesFnEx
• upstream/joachim/expose-ctorIdx
• upstream/joachim/expose-docstring
• upstream/joachim/f91-test
• upstream/joachim/f_unfold
• upstream/joachim/failed-to-unify
• upstream/joachim/failed-to-unify2
• upstream/joachim/faster-stage0
• upstream/joachim/fewerToCtorIdx
• upstream/joachim/fin-simproc
• upstream/joachim/find-overlap
• upstream/joachim/findRecArg
• upstream/joachim/fine-equations
• upstream/joachim/fix-10766-test
• upstream/joachim/fix-5027
• upstream/joachim/fix1672
• upstream/joachim/fix2925
• upstream/joachim/fix4063
• upstream/joachim/fix4078
• upstream/joachim/fix4078-try2
• upstream/joachim/fix4230
• upstream/joachim/fix4320
• upstream/joachim/fix4751
• upstream/joachim/fix4751-take-two
• upstream/joachim/fixed-params
• upstream/joachim/fixrw
• upstream/joachim/flake-shell
• upstream/joachim/float-lit-defeq
• upstream/joachim/float-match
• upstream/joachim/float-pat
• upstream/joachim/float-recapp-common
• upstream/joachim/forIn-let
• upstream/joachim/fun_cases_params
• upstream/joachim/fun_cases_params_cleanup
• upstream/joachim/fun_induction_generalize
• upstream/joachim/fun_induction_unfolding
• upstream/joachim/fun_induction_unfolding_post_stage0
• upstream/joachim/fundind_unfolding_mdata
• upstream/joachim/funind-cleanup
• upstream/joachim/funind-cond
• upstream/joachim/funind-cond-used
• upstream/joachim/funind-erase
• upstream/joachim/funind-erase2
• upstream/joachim/funind-hygine
• upstream/joachim/funind-ident
• upstream/joachim/funind-levels
• upstream/joachim/funind-name-avail
• upstream/joachim/funind-no-check
• upstream/joachim/funind-preserve-order
• upstream/joachim/funind-reserved
• upstream/joachim/funind-structural
• upstream/joachim/funind-structural-mutual
• upstream/joachim/funind-structural-mutual-lam
• upstream/joachim/funind-tactic
• upstream/joachim/funind-tactic-try
• upstream/joachim/funind-unfold-aux-text
• upstream/joachim/funind-unfolding
• upstream/joachim/funind-unqual-names
• upstream/joachim/funind-unused-param
• upstream/joachim/funind_cleanup
• upstream/joachim/funind_false_elim
• upstream/joachim/funind_false_elim_post_stage0
• upstream/joachim/funind_unfold_cond
• upstream/joachim/fuse-mkArgCongr
• upstream/joachim/gdb-in-nix-shell
• upstream/joachim/generalize-withCtor
• upstream/joachim/getFunInfo-transparency
• upstream/joachim/grind-ctorIdx
• upstream/joachim/grind-ctorIdx-debug
• upstream/joachim/grind-ctorIdx-nat
• upstream/joachim/grind-docstring
• upstream/joachim/grind-investigation
• upstream/joachim/grind-rec
• upstream/joachim/grindDef-typo
• upstream/joachim/grind_for_match
• upstream/joachim/guard-msgs-trace
• upstream/joachim/guardmsgs_space
• upstream/joachim/guess-lex-badCassOn
• upstream/joachim/guess-lex-shortcut
• upstream/joachim/guesslex-diff
• upstream/joachim/guesslex-expr
• upstream/joachim/h_space
• upstream/joachim/hasAssignableMVar
• upstream/joachim/hasIndepIndices-deadcode
• upstream/joachim/hasNotBit-perf
• upstream/joachim/helper-funs
• upstream/joachim/het-noConfusion
• upstream/joachim/iff-rfl-attrib
• upstream/joachim/ignore-test
• upstream/joachim/implicit-defeq
• upstream/joachim/implicitDefEqProofs-docstring
• upstream/joachim/impossible
• upstream/joachim/indinstgroup_brecOn
• upstream/joachim/induct-using-term
• upstream/joachim/induction-err-extra
• upstream/joachim/indval-numnested
• upstream/joachim/infer-defeq
• upstream/joachim/infer-projection-error
• upstream/joachim/inferType-checkSystem
• upstream/joachim/init-unusedSimpArgs
• upstream/joachim/injectivity
• upstream/joachim/inlean-add
• upstream/joachim/inlean-kernel
• upstream/joachim/inst-spec-beq
• upstream/joachim/inst-specs
• upstream/joachim/instSizeOfDefault
• upstream/joachim/instantiateMVar427
• upstream/joachim/instantiateMVarsNoUpdate
• upstream/joachim/instmvars-lift-cache
• upstream/joachim/instmvars-lift-provenance
• upstream/joachim/instmvarstests
• upstream/joachim/ipc-fatal-error-abort
• upstream/joachim/issue-template
• upstream/joachim/issue10132
• upstream/joachim/issue10353
• upstream/joachim/issue10513
• upstream/joachim/issue10516
• upstream/joachim/issue10573
• upstream/joachim/issue10651
• upstream/joachim/issue10678
• upstream/joachim/issue10683
• upstream/joachim/issue10705
• upstream/joachim/issue10705b
• upstream/joachim/issue10710
• upstream/joachim/issue10710b
• upstream/joachim/issue10721
• upstream/joachim/issue10749
• upstream/joachim/issue10766
• upstream/joachim/issue10775
• upstream/joachim/issue10781
• upstream/joachim/issue10781a
• upstream/joachim/issue10792
• upstream/joachim/issue10794
• upstream/joachim/issue10821
• upstream/joachim/issue10838
• upstream/joachim/issue10976
• upstream/joachim/issue11183
• upstream/joachim/issue11186
• upstream/joachim/issue11342
• upstream/joachim/issue11560
• upstream/joachim/issue11610
• upstream/joachim/issue11665
• upstream/joachim/issue11992
• upstream/joachim/issue12240
• upstream/joachim/issue12268
• upstream/joachim/issue12381
• upstream/joachim/issue12398
• upstream/joachim/issue12404
• upstream/joachim/issue12495
• upstream/joachim/issue12543
• upstream/joachim/issue12746
• upstream/joachim/issue12825
• upstream/joachim/issue13015
• upstream/joachim/issue13373
• upstream/joachim/issue13444
• upstream/joachim/issue13705
• upstream/joachim/issue13729
• upstream/joachim/issue14201
• upstream/joachim/issue14218
• upstream/joachim/issue14329
• upstream/joachim/issue14472
• upstream/joachim/issue14904
• upstream/joachim/issue14919
• upstream/joachim/issue14919a
• upstream/joachim/issue14919b
• upstream/joachim/issue14961
• upstream/joachim/issue15235
• upstream/joachim/issue15235-leak
• upstream/joachim/issue15312
• upstream/joachim/issue15702
• upstream/joachim/issue15727
• upstream/joachim/issue15822
• upstream/joachim/issue16133
• upstream/joachim/issue16198
• upstream/joachim/issue16246
• upstream/joachim/issue16285
• upstream/joachim/issue2260
• upstream/joachim/issue2810
• upstream/joachim/issue2810-take-two
• upstream/joachim/issue3212
• upstream/joachim/issue4394
• upstream/joachim/issue4650
• upstream/joachim/issue4751
• upstream/joachim/issue5058
• upstream/joachim/issue5061
• upstream/joachim/issue5347
• upstream/joachim/issue5597
• upstream/joachim/issue5602
• upstream/joachim/issue5667
• upstream/joachim/issue5667-2
• upstream/joachim/issue5836
• upstream/joachim/issue5836-bits
• upstream/joachim/issue5903
• upstream/joachim/issue6015
• upstream/joachim/issue6281
• upstream/joachim/issue6550
• upstream/joachim/issue6786
• upstream/joachim/issue7408
• upstream/joachim/issue7550
• upstream/joachim/issue7612
• upstream/joachim/issue7826
• upstream/joachim/issue8081
• upstream/joachim/issue8093
• upstream/joachim/issue8195
• upstream/joachim/issue8257
• upstream/joachim/issue8274
• upstream/joachim/issue8360
• upstream/joachim/issue8939
• upstream/joachim/issue8969
• upstream/joachim/issue9018
• upstream/joachim/issue9018-test
• upstream/joachim/issue9462
• upstream/joachim/issue9844
• upstream/joachim/issue9909
• upstream/joachim/jq-syntax
• upstream/joachim/json-duplicate-keys
• upstream/joachim/kernel-comments
• upstream/joachim/kernel-comments2
• upstream/joachim/kernel-declaration-comments
• upstream/joachim/kernel-delta-level-check
• upstream/joachim/kernel-diag-context
• upstream/joachim/kernel-diag-split
• upstream/joachim/kernel-opaque-explore
• upstream/joachim/kernel-primrec
• upstream/joachim/kernel-profileit
• upstream/joachim/kernel-thms-opaque
• upstream/joachim/lake-check-axioms-first
• upstream/joachim/lawfulBEq_overshoot
• upstream/joachim/lawfulbeq-enum
• upstream/joachim/lazy-defeq-proj
• upstream/joachim/lcnf-simp-checkSystem
• upstream/joachim/leanexport-parse-strict
• upstream/joachim/less-isNoConfusion
• upstream/joachim/less-seal
• upstream/joachim/linear-beq
• upstream/joachim/linear-beq-stage2
• upstream/joachim/linear-noConfusion
• upstream/joachim/linear-ord
• upstream/joachim/linearNoConfusionULift
• upstream/joachim/linearNoConfusionUniverseBump
• upstream/joachim/linter-unusedSimpArgs
• upstream/joachim/linux-release-pr
• upstream/joachim/linux-release-pr2
• upstream/joachim/list-get-fast
• upstream/joachim/manual-inhabited-sort
• upstream/joachim/mapError-context
• upstream/joachim/markdown-fixes-mvarctxt
• upstream/joachim/match-bench
• upstream/joachim/match-eqn-iteInduction
• upstream/joachim/match-eqn-rfl
• upstream/joachim/match-eqs-leaf
• upstream/joachim/match-exfalso
• upstream/joachim/match-in-decreasing-by
• upstream/joachim/match-values-perf
• upstream/joachim/match_exfalso
• upstream/joachim/matcher-is-splitter
• upstream/joachim/matcherapp-transform
• upstream/joachim/matchwhnf
• upstream/joachim/mem_upper_element
• upstream/joachim/messagedata-isempty
• upstream/joachim/method-spec-private
• upstream/joachim/method_specs_simp
• upstream/joachim/mkArgCongr
• upstream/joachim/mkConfusionInLean
• upstream/joachim/mkConfusionTypeInLean
• upstream/joachim/mkDefnValueInferringSafety
• upstream/joachim/mkInhabitantFor-error
• upstream/joachim/mkSparseCases
• upstream/joachim/module-axioms
• upstream/joachim/module-wf-opaque
• upstream/joachim/more-5384
• upstream/joachim/more-big-match-bench
• upstream/joachim/more-big-struct
• upstream/joachim/more-big-struct-4
• upstream/joachim/more-big-struct2
• upstream/joachim/more-big-struct3
• upstream/joachim/more-big-struct5
• upstream/joachim/more-diag
• upstream/joachim/more-fundind-tests
• upstream/joachim/more-simp-trace
• upstream/joachim/more-test-2981
• upstream/joachim/more-unused-simp-args
• upstream/joachim/more-wf-preprocess
• upstream/joachim/more10306fallout
• upstream/joachim/mutual-ind-paras
• upstream/joachim/mutual_structural
• upstream/joachim/namedF
• upstream/joachim/nat-div-red-basic
• upstream/joachim/nat-fix-semireducible
• upstream/joachim/nat-table
• upstream/joachim/nat_repr_bench
• upstream/joachim/native-via-axiom
• upstream/joachim/nested-below
• upstream/joachim/nested-ind-errors
• upstream/joachim/nested-ind-experiements
• upstream/joachim/nested-unif-param
• upstream/joachim/nix-ci-trigger
• upstream/joachim/nix-error-report
• upstream/joachim/no-confusion-via-ctoridx
• upstream/joachim/no-eqns-ext
• upstream/joachim/no-exposed-sizeOf
• upstream/joachim/no-funind-cmd
• upstream/joachim/no-large-elim
• upstream/joachim/no-lparam-identity
• upstream/joachim/no-mkRecursorInfoForKernelRec
• upstream/joachim/no-replay
• upstream/joachim/no-ta
• upstream/joachim/no-termination_by_core
• upstream/joachim/no-verifySimpleEnum
• upstream/joachim/noCasesOnApp
• upstream/joachim/noConfusion-ctor
• upstream/joachim/noConfusion-lcnf
• upstream/joachim/noConfusionCtorType
• upstream/joachim/no_registerAttributeOfDecl
• upstream/joachim/nofun
• upstream/joachim/noncomputable-sizeof
• upstream/joachim/nonrec-eqns
• upstream/joachim/nonrec-induct
• upstream/joachim/not-a-field-err
• upstream/joachim/notAlt-splitter
• upstream/joachim/obsolete-comment
• upstream/joachim/olean-version-bump
• upstream/joachim/omega-abstract-proofs
• upstream/joachim/omega-error
• upstream/joachim/omega-no-mvar
• upstream/joachim/omega-normalize-level
• upstream/joachim/opaque-thm
• upstream/joachim/partial_fixpoint_typos
• upstream/joachim/per-function-hints-before-where
• upstream/joachim/pord
• upstream/joachim/ppOrigin-ofConst
• upstream/joachim/pprod-syntax
• upstream/joachim/pr-body-merge-queue
• upstream/joachim/pr-release-allow-empty
• upstream/joachim/pr-release-batteries
• upstream/joachim/pr-release-branch-or-tag
• upstream/joachim/pr-release-fetch-base
• upstream/joachim/pr-release-install-elan
• upstream/joachim/pr-release-macos
• upstream/joachim/pr-release-messages
• upstream/joachim/pr-release-sleep
• upstream/joachim/pr-release-tag-name
• upstream/joachim/pr-release-use-api
• upstream/joachim/pr-release-🤦
• upstream/joachim/pr-template
• upstream/joachim/print-private
• upstream/joachim/print-recursor
• upstream/joachim/print-sig
• upstream/joachim/printPrivate
• upstream/joachim/private-eqns
• upstream/joachim/private-eqns-base
• upstream/joachim/private-inst-names
• upstream/joachim/processInaccessibleAsCtor
• upstream/joachim/processLeaf-first
• upstream/joachim/prop-casesOn-projections
• upstream/joachim/public-section-induction
• upstream/joachim/pulift
• upstream/joachim/quick-ci
• upstream/joachim/rarray-docstring
• upstream/joachim/realizable-thm-helper
• upstream/joachim/realization-constr
• upstream/joachim/realizeConst-maxHeartbeats
• upstream/joachim/realizeConst_withDeclNameForAuxNaming
• upstream/joachim/recApp-caller
• upstream/joachim/rec_rules
• upstream/joachim/recover-changes
• upstream/joachim/recursor-redex
• upstream/joachim/reduceBEqSimproc
• upstream/joachim/reduceCtorIdx
• upstream/joachim/reduce_nat_fvar
• upstream/joachim/reducibility-hints
• upstream/joachim/reducibility-replay
• upstream/joachim/refactor-simp-syntax
• upstream/joachim/release-notes-summary
• upstream/joachim/releases-markdown
• upstream/joachim/remove-options-group
• upstream/joachim/remove-syntax
• upstream/joachim/remove-worker-crash-test
• upstream/joachim/replay-string-lit
• upstream/joachim/rerun-on-label
• upstream/joachim/reserve-mutual-induct
• upstream/joachim/reserved-name-error
• upstream/joachim/resolveGlobal-docs
• upstream/joachim/rfc-hover-fun-induction
• upstream/joachim/rfl-defeq-attrib
• upstream/joachim/rfl-defeq-attrib-fixes
• upstream/joachim/rfl-errors
• upstream/joachim/riskv-bench
• upstream/joachim/riskv-benchmark
• upstream/joachim/rsimp
• upstream/joachim/rules-array
• upstream/joachim/rwa-docstring
• upstream/joachim/sameCtorCases-thunk
• upstream/joachim/sameCtorUtils
• upstream/joachim/selective-cases
• upstream/joachim/shake-init
• upstream/joachim/show-kernel-diags
• upstream/joachim/simp-arg-elab
• upstream/joachim/simp-avoid-pre-loops
• upstream/joachim/simp-bench
• upstream/joachim/simp-bench2
• upstream/joachim/simp-cache-loop
• upstream/joachim/simp-comment
• upstream/joachim/simp-discharge-env
• upstream/joachim/simp-logException
• upstream/joachim/simp-loop-detection
• upstream/joachim/simp-loop-detection2
• upstream/joachim/simp-prop
• upstream/joachim/simp-recover
• upstream/joachim/simp-trace-formatting
• upstream/joachim/simp-trace-tags
• upstream/joachim/simp-underLambda
• upstream/joachim/simp-underLambda-bvdecide
• upstream/joachim/simp-unfold-cleanup
• upstream/joachim/simp-warn-unused
• upstream/joachim/simp-warn-unused-join
• upstream/joachim/simpH-no-contradiction
• upstream/joachim/simpH-proof
• upstream/joachim/simpMatch-no-etaStruct
• upstream/joachim/simp_arith_benchmark
• upstream/joachim/simp_eq_self
• upstream/joachim/simphaveissue
• upstream/joachim/simpler-rw-terms
• upstream/joachim/simpmemsyntax
• upstream/joachim/single-rfl
• upstream/joachim/sizeOfInst
• upstream/joachim/sparse-case-one-hyp
• upstream/joachim/sparseCasesEq
• upstream/joachim/split-prop-discrs
• upstream/joachim/split-structural-eqns-deeper
• upstream/joachim/split-system-io
• upstream/joachim/splitif-no-congr
• upstream/joachim/splitter-refactor
• upstream/joachim/splitter-thunk
• upstream/joachim/splitter-via-match
• upstream/joachim/splitterAltNumParams
• upstream/joachim/stage0-comment
• upstream/joachim/stage0-fix
• upstream/joachim/stage0-label
• upstream/joachim/stage0-queue-check
• upstream/joachim/stage0-rebase-script
• upstream/joachim/stage0-update-test-fixes
• upstream/joachim/stage0-workflow-no-nix
• upstream/joachim/static-assert-warning
• upstream/joachim/std-omega-reference
• upstream/joachim/stdlib-flags
• upstream/joachim/stdlib-flags2
• upstream/joachim/string-neq-proc
• upstream/joachim/string-neq-proc2
• upstream/joachim/string-neq-proc3
• upstream/joachim/structrecrefactor
• upstream/joachim/structural_eqns
• upstream/joachim/strucural-over-nested
• upstream/joachim/subst-bidi
• upstream/joachim/subst-trace
• upstream/joachim/synthRetry
• upstream/joachim/tactics-in-ilean
• upstream/joachim/tailrec
• upstream/joachim/termination-elab2
• upstream/joachim/termination_binderIdent
• upstream/joachim/termination_by_qmark
• upstream/joachim/termination_by_structurally
• upstream/joachim/termination_by_warning
• upstream/joachim/test-f91
• upstream/joachim/test-missing-cases
• upstream/joachim/test-names
• upstream/joachim/test10195
• upstream/joachim/test11655
• upstream/joachim/test13705
• upstream/joachim/test4540
• upstream/joachim/thunked-inhabited
• upstream/joachim/tight-PSigma
• upstream/joachim/toPoly
• upstream/joachim/trace-backwardDefEq
• upstream/joachim/trigger-release-index
• upstream/joachim/try
• upstream/joachim/try-cancel-test
• upstream/joachim/try-collect-imports
• upstream/joachim/try-dispatch
• upstream/joachim/try-funind-expose-names
• upstream/joachim/try-max-rec-depth
• upstream/joachim/try-on-by-4.30rc2
• upstream/joachim/try-on-empty-by
• upstream/joachim/typo-reursive
• upstream/joachim/ulift-sort
• upstream/joachim/unary_eq_def
• upstream/joachim/unfold-docstring
• upstream/joachim/unfoldNamedPattern
• upstream/joachim/unfuel
• upstream/joachim/unicode-arrow
• upstream/joachim/unused-lemmas
• upstream/joachim/unused-lemmas2
• upstream/joachim/use-reduceBEq
• upstream/joachim/use-try-this-info
• upstream/joachim/useIsAppOfArity
• upstream/joachim/useNoConfusion-ctor
• upstream/joachim/use_numNested
• upstream/joachim/wf-balanced-psum
• upstream/joachim/wf-boost
• upstream/joachim/wf-clean-goal
• upstream/joachim/wf-eager-unfold
• upstream/joachim/wf-eager-unfold-post-stage0
• upstream/joachim/wf-fix
• upstream/joachim/wf-fix-refine-only-fvar
• upstream/joachim/wf-irred
• upstream/joachim/wf-irred2
• upstream/joachim/wf-irred3
• upstream/joachim/wf-irred4
• upstream/joachim/wf-kernel-irred
• upstream/joachim/wf-nat-lt
• upstream/joachim/wf-preprocess-attrib
• upstream/joachim/wf-preprocess-beta
• upstream/joachim/wf-rel-refactor
• upstream/joachim/wf-without-large-elim
• upstream/joachim/wfParam-let
• upstream/joachim/wf_preprocess_docs
• upstream/joachim/wf_preprocess_trace
• upstream/joachim/wf_unfold
• upstream/joachim/whnfI
• upstream/joachim/withCtor
• upstream/joachim/withCtor-deceq
• upstream/joachim/withCtorInBEq
• upstream/joachim/withCtorInBeq-init
• upstream/joachim/withIncRecDepth-checkInterrupted
• upstream/joachim/withReducible_eqnTypes
• upstream/joachim/workspace-symbols-module
• upstream/joachm/partial_fixpoint_f91
• upstream/join-tasks
• upstream/join_lemmas
• upstream/json_elab
• upstream/json_issue
• upstream/json_sum
• upstream/julia/float-min
• upstream/julia/grove-order-0
• upstream/just-parse
• upstream/just-parse2
• upstream/kabstract-nomatch-cache
• upstream/kernel-cancel-tk
• upstream/kernel-env-base
• upstream/kernel-eta-before-delta
• upstream/kernel_14807_part_2
• upstream/kernel_check_binder_order
• upstream/kernel_defeq
• upstream/kernel_diags_new
• upstream/kernel_expr_data
• upstream/kernel_extra_checks
• upstream/kernel_gmp_bounds
• upstream/kernel_heartbeat
• upstream/kernel_inductive_extra_check
• upstream/kernel_is_def_eq_trans
• upstream/kernel_is_prop_bug
• upstream/kernel_let
• upstream/kernel_oa_cache
• upstream/kernel_perf_issue
• upstream/kernel_proj_issue
• upstream/kernel_proj_name
• upstream/kernel_recheck_nested
• upstream/kernel_replace_tpl
• upstream/kernel_sealed
• upstream/kernel_tc
• upstream/kernel_test_is_prop
• upstream/keys_pp
• upstream/kill-cpp-format
• upstream/kim-grind-semiring-internalization
• upstream/kim-sym-scalar-cast-rewrites
• upstream/kim-sym-scalar-casts
• upstream/kim-sym-semifield
• upstream/kim-sym-symbolic-power-prototype
• upstream/kim/add-leansqlite-release-repo
• upstream/kim/checkTypesAndAssign-respectTransparency
• upstream/kim/deriving-prop-noncomputable
• upstream/kim/doc-examples-IJCAR2026
• upstream/kim/elab-proj-universe-check
• upstream/kim/fix-ci-version-grep
• upstream/kim/grind-unused-lemma-threshold
• upstream/kim/kernel-proj-universe-check
• upstream/kim/lazy-discr-tree-no-bang
• upstream/kim/moduledata-invariant
• upstream/kim/pow-char-identity
• upstream/kim/pow-char-identity-class
• upstream/kim/pow-identity
• upstream/kim/pow-identity-class
• upstream/kim/pp-fvars-anonymous
• upstream/kim/pp-fvars-anonymous-fix
• upstream/kim/protected-rat-abs
• upstream/kim/synthInstance-apply-trace-class
• upstream/kim/vscode-settings
• upstream/kimmo/check-stage0-version
• upstream/kimmo/fix-release-checklist-cache-string
• upstream/kmill-delab
• upstream/kmill_10830
• upstream/kmill_10984
• upstream/kmill_13081
• upstream/kmill_13433
• upstream/kmill_1629
• upstream/kmill_8743
• upstream/kmill_abstractmvars_fixed
• upstream/kmill_app_elab_beta
• upstream/kmill_app_refactor
• upstream/kmill_app_refactor0
• upstream/kmill_coinductive_avoid_liftcommandelabm
• upstream/kmill_configeval_compare
• upstream/kmill_debug_do
• upstream/kmill_declevel
• upstream/kmill_delab_app_completion
• upstream/kmill_ext_avoid_liftcommandelabm
• upstream/kmill_fix_10067
• upstream/kmill_fix_10789
• upstream/kmill_fix_10850
• upstream/kmill_fix_13372
• upstream/kmill_fix_8108
• upstream/kmill_fix_8488
• upstream/kmill_fix_9997
• upstream/kmill_induct_sorry_approx
• upstream/kmill_instantiateBetaRevRange_eff
• upstream/kmill_level_assoc
• upstream/kmill_nonrecstruct_5891
• upstream/kmill_pp_level_instantiate
• upstream/kmill_pp_lmvars
• upstream/kmill_pp_mvars_info
• upstream/kmill_ppuniverses_nouniv
• upstream/kmill_print_rec_improve
• upstream/kmill_remove_changewith
• upstream/kmill_rw_red_inst
• upstream/kmill_specialize
• upstream/kmill_struct_field_terminfo
• upstream/kmill_structinst_fieldinfo
• upstream/kmill_structinst_instantiatebeta
• upstream/kmill_structure_mutual_defaults
• upstream/kmill_tactic_config_builtin
• upstream/kmill_tactic_config_builtin2
• upstream/kmill_tactic_config_compile
• upstream/kmill_tactic_config_compile2
• upstream/kmill_tactic_config_compile3
• upstream/kmill_where_module
• upstream/kmill_withexprhover
• upstream/lake
• upstream/lake-build-load-lake_shared
• upstream/lake-bulk-unpack
• upstream/lake-cache-eviction
• upstream/lake-check
• upstream/lake-check-paranoid
• upstream/lake-ci-2
• upstream/lake-elab-import-info
• upstream/lake-envext-white
• upstream/lake-leanexport-link
• upstream/lake-more-plugins
• upstream/lake-nl
• upstream/lake-order-test-fix
• upstream/lake-package-build-cache
• upstream/lake-profile
• upstream/lake-reuse-cached-archives
• upstream/lake-sha256
• upstream/lake-shared-cache
• upstream/lake_details
• upstream/lakeupdate230419
• upstream/lambda_telescope_bench
• upstream/latex
• upstream/lattice-grind-norm
• upstream/lawfulBEq_iff
• upstream/lawfulBeq_Vector
• upstream/lawfulmonad_lemmas
• upstream/lazy-imported-parsers
• upstream/lazy-ir-loading
• upstream/lazy-optionm
• upstream/lazy-simp-discrtree
• upstream/lazy-trees
• upstream/lazy_blacklist
• upstream/lazy_discrtree_matchorder
• upstream/lazy_disctree_cleanup
• upstream/lazy_proj_defeq
• upstream/lcnf_fix
• upstream/lcnf_replay_diff
• upstream/ld-cyclic
• upstream/ld-path
• upstream/lead-anon
• upstream/leading-precedence
• upstream/leak-env
• upstream/lean-12245
• upstream/lean-12246
• upstream/lean-12428
• upstream/lean-bignums
• upstream/lean-canon-refactor
• upstream/lean-canon-types
• upstream/lean-fro-release
• upstream/lean-ho
• upstream/lean-ho-2
• upstream/lean-import-minimize
• upstream/lean-lang-release-checklist
• upstream/lean-llvm-nix
• upstream/lean-load-plugin
• upstream/lean-no-shared
• upstream/lean-old-env-ext
• upstream/lean-pr-testing-batteries
• upstream/lean-profiler
• upstream/lean-skills-plugin
• upstream/lean-std-streams
• upstream/lean-sym-arith
• upstream/lean-sym-arith-2
• upstream/lean-sym-interactive-10
• upstream/lean-sym-interactive-11
• upstream/lean-sym-interactive-2
• upstream/lean-sym-interactive-3
• upstream/lean-sym-interactive-5
• upstream/lean-sym-interactive-6
• upstream/lean-sym-interactive-7
• upstream/lean-sym-interactive-8
• upstream/lean-sym-interactive-9
• upstream/lean-sym-review
• upstream/lean-sym-simp-dsl
• upstream/lean-sym-simp-dsl-2
• upstream/lean-web
• upstream/lean.h.bc
• upstream/lean4checker_checklist
• upstream/leanPosToLspPos
• upstream/lean_boot
• upstream/leanchecker-minimal-init-simple
• upstream/leanchecker-paranoid
• upstream/leanir-fixes
• upstream/leanir-minimal-init
• upstream/leanpkg
• upstream/leanpkg-unmake
• upstream/leansat-aig
• upstream/leansat-bitblast
• upstream/leansat-lrat
• upstream/leansat-parsers
• upstream/leansat-sat
• upstream/leansat-utils
• upstream/leantar-v0.1.19
• upstream/leeeks
• upstream/leeks
• upstream/left_right
• upstream/leftpad-simp-at-definition
• upstream/leftpad_typo
• upstream/len_len
• upstream/length_mergeSort
• upstream/length_toList
• upstream/leo-henrik-doc
• upstream/leodemoura/isNonTrivialRegular-abbrev-class-proj
• upstream/let-inst-nonred
• upstream/letFunSimp
• upstream/letFun_simp_bug
• upstream/let_checkpoint
• upstream/let_expr
• upstream/letloc
• upstream/letrec_in_thm_issue
• upstream/level-ci
• upstream/level-to-param
• upstream/level_cache_per_levels
• upstream/lex_lemmas
• upstream/lex_prime
• upstream/lhs-prec
• upstream/lia-args
• upstream/lia-kernel-timeout
• upstream/lia-perf-benchmarks
• upstream/lia-slow
• upstream/lia_bmod_eq
• upstream/lia_dependent_norm
• upstream/lia_divmod_direct
• upstream/lia_divmod_light
• upstream/lia_dvd_rat_loop
• upstream/lia_jp_16122
• upstream/lia_kernel_certs
• upstream/lia_kernel_certs_2
• upstream/lia_next
• upstream/lia_next2
• upstream/lia_next3
• upstream/lia_reorder_min_coeff
• upstream/lia_snapshot_index
• upstream/lia_split_facts_4
• upstream/lia_steps
• upstream/lia_tests_in_bench
• upstream/liasolver_int_ediv_fix
• upstream/libleanshared
• upstream/librarySearch-all
• upstream/librarySearch-eliminators
• upstream/librarySearch-star
• upstream/librarySearch-star2
• upstream/librarySearch_tactic_default
• upstream/library_search_bug
• upstream/library_search_fix_cache
• upstream/library_search_release_note_update
• upstream/library_search_test
• upstream/library_suggestions
• upstream/library_suggestions_macro
• upstream/library_suggestions_macro_pr1
• upstream/library_suggestions_macro_pr2
• upstream/library_suggestions_module
• upstream/libsearch_cleanup
• upstream/libsearch_drop_nonspecific
• upstream/libuv
• upstream/lift-madness
• upstream/linarith_cc
• upstream/linarith_field
• upstream/linear-orelse
• upstream/linearCategory_perf
• upstream/linear_int_norm
• upstream/linearity-erase
• upstream/link-perf
• upstream/lint-prelude
• upstream/linter-discover
• upstream/linting
• upstream/listVariables_name
• upstream/list_array_fixes
• upstream/list_beq_lemmas
• upstream/list_confluence
• upstream/list_elem_private
• upstream/list_forin
• upstream/list_lemmas
• upstream/list_len_issue
• upstream/list_linting
• upstream/list_linting2
• upstream/list_linting3
• upstream/list_linting4
• upstream/list_monadic
• upstream/list_perm_take
• upstream/list_range_one
• upstream/list_reorder
• upstream/list_simp_lemmas
• upstream/list_toarray_refactor
• upstream/llp64
• upstream/llvm-sysroot
• upstream/llvm-talk-like-a-pirate
• upstream/llvm/stage2-build
• upstream/llvm13
• upstream/load-dynlib
• upstream/load-unboxed
• upstream/local-parser-hooks
• upstream/local_simps
• upstream/localization_mwe
• upstream/locals-import-all
• upstream/lower_mem_map_prio
• upstream/lrat-speedup
• upstream/lsp_diagnostics_local_instance
• upstream/lstlean
• upstream/lychee-fail-false
• upstream/m1
• upstream/machine-lake-cache
• upstream/macos-11
• upstream/macos-shared-rpath
• upstream/macro-arg-antiquot-kind
• upstream/macro-macro
• upstream/macro-param
• upstream/macro-parens
• upstream/macro-this
• upstream/main-c
• upstream/main32
• upstream/make-leanshared
• upstream/makefile-big-build
• upstream/manual-error-ex
• upstream/manual-nightly
• upstream/mapFinIdx
• upstream/map_fst_toList_eq_keys
• upstream/map_grind_annotations
• upstream/map_isSome_lemmas
• upstream/map_lemmas
• upstream/map_mergeSort
• upstream/map_set
• upstream/map_subset_binder
• upstream/mapidx
• upstream/march-deprecations
• upstream/mark_persistent-tu
• upstream/markus/hashmap-filter-map-example
• upstream/markus/stdlib-best-practices
• upstream/master
• upstream/match-eqns-literals
• upstream/match-generalize-info
• upstream/match-implam
• upstream/match-refactor-atomic
• upstream/match-stx-ident
• upstream/match-tac-multiple
• upstream/matchEq
• upstream/matchRefactor
• upstream/match_eq_theorem
• upstream/match_eqns_bug
• upstream/match_expr
• upstream/match_expr_expected_type
• upstream/match_expr_fix
• upstream/match_expr_in_omega
• upstream/match_expr_parser
• upstream/match_expr_perf
• upstream/match_int_issue
• upstream/match_lit_issue
• upstream/match_lit_issues
• upstream/match_lit_regression
• upstream/match_pattern_missing_test
• upstream/match_using_fin_contra
• upstream/matcher-whnf
• upstream/mathlib_testing_logic
• upstream/matrix-canceled
• upstream/max-rec-depth-unlimited
• upstream/max-trace-children
• upstream/maybe-coulda-autobound
• upstream/maybe-just-derive-the-instance
• upstream/mdbook
• upstream/mem_ite_nil_left
• upstream/mem_of_mem_tail
• upstream/mem_sublist
• upstream/mem_toList_explicitness
• upstream/mepo
• upstream/mepo_fixes
• upstream/mepo_updates
• upstream/mepo_updates2
• upstream/mergeSort_autoParam
• upstream/mergeSort_cleanup
• upstream/mergeSort_cons_cons
• upstream/mergeSort_total
• upstream/mergesort_lemma
• upstream/meta-transparency-noop
• upstream/meta_leftover
• upstream/metam-eval
• upstream/metavarcontext_typos
• upstream/mhuisi-patch-1
• upstream/mhuisi-patch-2
• upstream/mhuisi/constructor-field-completion-2
• upstream/mhuisi/revert-10052
• upstream/mi-inline-experiment
• upstream/milean
• upstream/milean-take1
• upstream/milean-timestamp
• upstream/mimalloc-abort
• upstream/mimalloc-block-scrub
• upstream/mimalloc-fix-tls-windows
• upstream/min-thread-pool
• upstream/mingw-no-libgcc
• upstream/minimize_grind_panic_test
• upstream/minimum
• upstream/minmax
• upstream/minor_alignment
• upstream/misc_list
• upstream/misc_list2
• upstream/miscompile
• upstream/misctcfixes
• upstream/missing-list-lemma
• upstream/missingTicks
• upstream/missingTraceNodes
• upstream/missing_annotations_rev
• upstream/missing_array_grind
• upstream/missing_array_grind2
• upstream/missing_deprecation_dates
• upstream/missing_fin_simps
• upstream/missing_hints
• upstream/missing_instances
• upstream/missing_profileit
• upstream/missing_reducible
• upstream/misstated_raw_lemmas
• upstream/mixfix-prec
• upstream/mkArray_replicate
• upstream/mkEmpty
• upstream/mkSimpContext
• upstream/mkSimpleThunkType-anon-binder
• upstream/mk_theorem_bug
• upstream/mkatomfrom
• upstream/mkproof_bug
• upstream/mmap
• upstream/mod_mul
• upstream/mod_neg_lemmas
• upstream/mod_norm
• upstream/modifyTailIdx_naming
• upstream/modify_args
• upstream/modify_lemmas
• upstream/modular-staging
• upstream/module-state
• upstream/module_envelope
• upstream/module_lemmas
• upstream/mon_revlex_grevlex
• upstream/monad_ext
• upstream/monad_simps
• upstream/monadic_FindExpr
• upstream/monadic_improvements
• upstream/more-imports
• upstream/more-packaging
• upstream/more_bitvec_missing
• upstream/more_erase
• upstream/more_findIdx
• upstream/more_grind
• upstream/more_grind_list
• upstream/more_grind_review
• upstream/more_grind_toint_typeclasses
• upstream/more_int_lemmas
• upstream/more_list_lemmas
• upstream/more_list_lemmas2
• upstream/more_list_operations
• upstream/more_monadic
• upstream/more_naming
• upstream/more_simpNF_linting
• upstream/more_sublist_theorems
• upstream/more_toArray
• upstream/most-recent-nightly-tag-permissions
• upstream/move-lean4-mode
• upstream/move-leansat
• upstream/move-parsec
• upstream/mpn-lean-model
• upstream/mprod
• upstream/mpz-revision
• upstream/mpz_sharecommon
• upstream/msgs_enabled
• upstream/msys2-z-not-quite-std
• upstream/mt-fixes
• upstream/mul_add_lt_is_or
• upstream/multiple_test_drivers
• upstream/mut-tail
• upstream/mutual-inductive-certificate
• upstream/mutual-notation
• upstream/mutual_export_issue
• upstream/mutual_lparams
• upstream/mv_Xor
• upstream/mv_antisymm
• upstream/mv_array_Setd
• upstream/mv_back
• upstream/mv_flatten
• upstream/mv_length_eq_zero_simp
• upstream/mv_list_join
• upstream/mv_list_pure
• upstream/mv_mapidx
• upstream/mv_maximum
• upstream/mv_swap
• upstream/mvar-key-experiment
• upstream/mvar-proj-hint
• upstream/mvcgen-invariant-attr
• upstream/mvcgen-simp
• upstream/nale
• upstream/name
• upstream/name_components_reorder
• upstream/name_eq_bug
• upstream/namemap
• upstream/nameset_instances
• upstream/namespace-hyg
• upstream/namespace-runner
• upstream/namespace_omega_internals
• upstream/nary_nomatch
• upstream/natCast_notation
• upstream/nat_bitwise_renames
• upstream/nat_bitwise_rm_distrib
• upstream/nat_bitwise_rm_grind
• upstream/nat_bitwise_support
• upstream/nat_fold_finRange
• upstream/nat_foldm_use_fin
• upstream/nat_int_revision
• upstream/nat_semiring
• upstream/native-aarch64-macos
• upstream/native_edivmod
• upstream/native_instantiate_level_params
• upstream/natmodule_envelope
• upstream/natmodule_fixes
• upstream/ne_of_apply_ne
• upstream/ne_zero_of_lt
• upstream/nested-inductive-certificate
• upstream/new-domain
• upstream/new-eval
• upstream/new-have
• upstream/new-pr-template
• upstream/new_codegen
• upstream/new_codegen_resolveConst
• upstream/new_codegen_saveMonoBug
• upstream/new_csimp
• upstream/new_decidable
• upstream/new_decls
• upstream/new_decls2
• upstream/new_decls3
• upstream/new_expr
• upstream/new_inductive
• upstream/new_state_t
• upstream/nezero
• upstream/nightly
• upstream/nightly-release-partial
• upstream/nightly-rev-followup
• upstream/nil-deceq-list
• upstream/nix-ci-update
• upstream/nix-lake
• upstream/nix-more-san
• upstream/nix-no-nix
• upstream/nixnixnix
• upstream/no-32bit
• upstream/no-cachix
• upstream/no-copy-no
• upstream/no-cross-spec
• upstream/no-elab-info
• upstream/no-export-proof-realizations
• upstream/no-export-thm-helpers
• upstream/no-incquotdepth
• upstream/no-norm-case
• upstream/no-persist-vars
• upstream/no-prof-interp
• upstream/no-pure-heart
• upstream/no-solved-goals
• upstream/no-st
• upstream/no-static
• upstream/no-touchy-sysrooty
• upstream/noNatZeroDivisors.ofIsCharPZero
• upstream/no_deprecated_suggestions
• upstream/no_dsimp_instance
• upstream/no_inline_BitVec_cast
• upstream/no_mvar_no_fvar
• upstream/no_simp_msb_eq_decide
• upstream/no_usize_simproc
• upstream/nodup_keys
• upstream/nofun
• upstream/nomatch_regression
• upstream/nomatch_tac
• upstream/noncomm_envelope
• upstream/nondep-arrow
• upstream/norm_cast2
• upstream/norm_cast_cfg
• upstream/norm_cast_zeta_beta
• upstream/normalize_language_reference_in_tests
• upstream/nospecialize-inhabited
• upstream/not_mem_nil
• upstream/notation-delab-overapply
• upstream/notation_bool_xor
• upstream/notes-try-to-diagnose-record-match-failure
• upstream/nul
• upstream/numObjs
• upstream/numObjsSharing
• upstream/occurs_check_delayed
• upstream/oct-04-llvm-15
• upstream/ofBoolListLE
• upstream/ofFnM
• upstream/ofList_eq_insertMany_empty
• upstream/ofNat_val_eq_self
• upstream/ofPPFormat
• upstream/of_scientific
• upstream/ofsci
• upstream/oh-no
• upstream/old_dog
• upstream/olean-const-trie
• upstream/olean-divorce
• upstream/olean-divorce-prelude
• upstream/olean-githash
• upstream/olean-mmap-error-message
• upstream/omegaCanon
• upstream/omega_Bool_toNat
• upstream/omega_assumption
• upstream/omega_bug
• upstream/omega_bug_05-16
• upstream/omega_classical
• upstream/omega_failure
• upstream/omega_fin
• upstream/omega_ground
• upstream/omega_mod_fix
• upstream/omega_mul_atoms
• upstream/omega_negSucc
• upstream/omega_no_defeq
• upstream/omega_regression_v4.11
• upstream/omega_rm_mkAppN_macro
• upstream/omega_sup
• upstream/omega_toNat
• upstream/omit
• upstream/omni-info
• upstream/opaque-promise
• upstream/option-dot
• upstream/optionValueParser
• upstream/option_attach
• upstream/option_confluence
• upstream/option_docs
• upstream/option_elim_pmap
• upstream/option_for_loops
• upstream/option_getd_guard
• upstream/option_ite
• upstream/option_min
• upstream/option_two
• upstream/ord-lex
• upstream/ordered_field
• upstream/ordered_nat_module
• upstream/ordered_ring
• upstream/ordering_then_inlining
• upstream/orelse-quicklook
• upstream/orphaned_tests_1
• upstream/other_linter
• upstream/other_unused
• upstream/outline-lean_del_other
• upstream/overhaul-update-stage0
• upstream/p_snap
• upstream/pairwise_iff_forall_sublist
• upstream/pairwise_nodup
• upstream/pairwise_simp_tests
• upstream/pap-issue
• upstream/parallel-finalize-env-exts
• upstream/parallel-kernel-checks
• upstream/parallel-lean-o
• upstream/parallel-library-search
• upstream/parallel-rewrites
• upstream/param-norm-experiment
• upstream/paren
• upstream/paren-macro
• upstream/parray
• upstream/parsec-linearity
• upstream/parsec_with_col
• upstream/parsec_with_list
• upstream/parsecmd-cmds-linear
• upstream/parser-docs
• upstream/parser-filemap-once
• upstream/parser_without_inline
• upstream/parserdescr-arity
• upstream/paser
• upstream/pat-info
• upstream/patch-55
• upstream/path-loss
• upstream/path-mapping
• upstream/pattern-info-nesting
• upstream/paul/array-mergeSort
• upstream/paul/array-min-max-lemmas
• upstream/paul/array-minD
• upstream/paul/array1
• upstream/paul/backup/iterators/extrinsic4b
• upstream/paul/base/array-mergeSort
• upstream/paul/base/decl-check-implicit
• upstream/paul/base/defeq_todo_4_paul
• upstream/paul/base/defeq_todo_4_paul_13637
• upstream/paul/base/defeq_todo_4_paul_nwm
• upstream/paul/base/idlint
• upstream/paul/base/iterators/extrinsic
• upstream/paul/base/iterators/extrinsic2
• upstream/paul/base/iterators/extrinsic3
• upstream/paul/base/iterators/extrinsic4
• upstream/paul/base/iterators/extrinsic4b
• upstream/paul/base/iterators/find
• upstream/paul/base/iterators/forinprime
• upstream/paul/base/iterators/hashmap
• upstream/paul/base/iterators/improvements2
• upstream/paul/base/iterators/listslice
• upstream/paul/base/iterators/remove-iteratorcollect
• upstream/paul/base/order/draft3
• upstream/paul/base/order1
• upstream/paul/base/order2
• upstream/paul/base/order3
• upstream/paul/base/order4
• upstream/paul/base/order5
• upstream/paul/base/order6
• upstream/paul/base/partial-extrinsic-fix
• upstream/paul/base/ranges/improvements
• upstream/paul/base/ranges/introduce-ranges
• upstream/paul/base/ranges/lemmas2
• upstream/paul/base/ranges/lemmas3
• upstream/paul/base/ranges/migrate-ranges
• upstream/paul/base/ranges/optimize-forIn
• upstream/paul/base/ranges/sint
• upstream/paul/base/slices/introduce-slices
• upstream/paul/base/slices/lemmas
• upstream/paul/base/slices/subarraycopy
• upstream/paul/base/slices1
• upstream/paul/base/slices2
• upstream/paul/base/subslices
• upstream/paul/base/toiterator-overhaul
• upstream/paul/blobfalse4
• upstream/paul/cleanup
• upstream/paul/debug/infotrees
• upstream/paul/decl-check-implicit
• upstream/paul/defeq_todo_4_fixes
• upstream/paul/defeq_todo_4_flatorder
• upstream/paul/demo/forwardsearcher-pos!
• upstream/paul/extractdroptakenf
• upstream/paul/find-quickfix
• upstream/paul/fix-hashmap-diff
• upstream/paul/fix-kernel-reduce-pow
• upstream/paul/fix-toList-zip
• upstream/paul/fix-warnings
• upstream/paul/fix/10546
• upstream/paul/fix/benchmark
• upstream/paul/fix/iterator-unnamespacing
• upstream/paul/fix/plausile-iter-step-abbrev-regression
• upstream/paul/getElemV-tests
• upstream/paul/grind-show-patterns
• upstream/paul/grind1
• upstream/paul/hashmap-getelem-fixes
• upstream/paul/hashmap/lemmas
• upstream/paul/humanevup-33
• upstream/paul/humanevup-34
• upstream/paul/humanevup1
• upstream/paul/humanevup2
• upstream/paul/humanevup3
• upstream/paul/humanevup4
• upstream/paul/humanevup5
• upstream/paul/humanevup6
• upstream/paul/humanevup7
• upstream/paul/idlint
• upstream/paul/implicit-inst-proj
• upstream/paul/iter-append
• upstream/paul/iterator-length
• upstream/paul/iterator/cleanups
• upstream/paul/iterators-to-init
• upstream/paul/iterators/1
• upstream/paul/iterators/1-for-2
• upstream/paul/iterators/10
• upstream/paul/iterators/10-for-11
• upstream/paul/iterators/11
• upstream/paul/iterators/11-for-12
• upstream/paul/iterators/12
• upstream/paul/iterators/12-for-13
• upstream/paul/iterators/13
• upstream/paul/iterators/13-for-empty
• upstream/paul/iterators/2
• upstream/paul/iterators/2-for-3
• upstream/paul/iterators/3
• upstream/paul/iterators/3-for-4
• upstream/paul/iterators/4
• upstream/paul/iterators/4-for-5
• upstream/paul/iterators/5
• upstream/paul/iterators/5-for-6
• upstream/paul/iterators/6
• upstream/paul/iterators/6-for-7
• upstream/paul/iterators/7
• upstream/paul/iterators/7-for-8
• upstream/paul/iterators/8
• upstream/paul/iterators/8-for-9
• upstream/paul/iterators/9
• upstream/paul/iterators/9-for-10
• upstream/paul/iterators/a
• upstream/paul/iterators/anyall
• upstream/paul/iterators/b
• upstream/paul/iterators/bench
• upstream/paul/iterators/c
• upstream/paul/iterators/cleanups
• upstream/paul/iterators/codeowner
• upstream/paul/iterators/docstring-update
• upstream/paul/iterators/empty
• upstream/paul/iterators/extrinsic
• upstream/paul/iterators/extrinsic2
• upstream/paul/iterators/extrinsic3
• upstream/paul/iterators/extrinsic4
• upstream/paul/iterators/extrinsic4b
• upstream/paul/iterators/find
• upstream/paul/iterators/fix-dropwhile
• upstream/paul/iterators/flatMap
• upstream/paul/iterators/fold_map
• upstream/paul/iterators/forinprime
• upstream/paul/iterators/hashmap
• upstream/paul/iterators/improvements1
• upstream/paul/iterators/improvements2
• upstream/paul/iterators/initial
• upstream/paul/iterators/initial-for-1
• upstream/paul/iterators/initlemmas
• upstream/paul/iterators/isEmpty
• upstream/paul/iterators/listslice
• upstream/paul/iterators/mpl
• upstream/paul/iterators/mpl2
• upstream/paul/iterators/no-spec-test
• upstream/paul/iterators/remove-iteratorcollect
• upstream/paul/iterators/shrink
• upstream/paul/iterators/sigma-iterator-bench
• upstream/paul/iterators/size
• upstream/paul/iterators/treemap
• upstream/paul/iterators/ulift
• upstream/paul/iterators/universe-poly-loops
• upstream/paul/iterators/unnamespacing
• upstream/paul/iterators/vector
• upstream/paul/kha-inferInstanceAs-fix
• upstream/paul/lift-id
• upstream/paul/minOn
• upstream/paul/nightly-2026-08-16-test
• upstream/paul/order/decidableeq
• upstream/paul/order/draft
• upstream/paul/order/draft2
• upstream/paul/order/draft3
• upstream/paul/order/fix1
• upstream/paul/order/improvements1
• upstream/paul/order/remove-decidable-instance
• upstream/paul/order1
• upstream/paul/order1b
• upstream/paul/order2
• upstream/paul/order3
• upstream/paul/order4
• upstream/paul/order5
• upstream/paul/partial-extrinsic-fix
• upstream/paul/phashmap-iter
• upstream/paul/range-forIn-synthesis
• upstream/paul/range-getelem
• upstream/paul/ranges/basic
• upstream/paul/ranges/debugging
• upstream/paul/ranges/debugging-base
• upstream/paul/ranges/debugging2
• upstream/paul/ranges/decidable
• upstream/paul/ranges/implement
• upstream/paul/ranges/improvements
• upstream/paul/ranges/int-lemmas
• upstream/paul/ranges/introduce-ranges
• upstream/paul/ranges/ints
• upstream/paul/ranges/lemmas
• upstream/paul/ranges/lemmas2
• upstream/paul/ranges/lemmas3
• upstream/paul/ranges/migrate-ranges
• upstream/paul/ranges/namespace-old-ranges
• upstream/paul/ranges/nondep
• upstream/paul/ranges/optimize-forIn
• upstream/paul/ranges/perf-regression
• upstream/paul/ranges/perf-regression2
• upstream/paul/ranges/sint
• upstream/paul/ranges/tostream
• upstream/paul/rat
• upstream/paul/reducibleClassField_true
• upstream/paul/remove-duplicates
• upstream/paul/remove-simps
• upstream/paul/respectTransparency-cleanup
• upstream/paul/scanl
• upstream/paul/shouldInline_simplify
• upstream/paul/simp_no_inst
• upstream/paul/simp_no_inst_mwe
• upstream/paul/slices/getelem-subarray
• upstream/paul/slices/improvements
• upstream/paul/slices/improvements2
• upstream/paul/slices/introduce-slices
• upstream/paul/slices/lemmas
• upstream/paul/slices/mpl
• upstream/paul/slices/subarray-ops
• upstream/paul/slices/subarray-ops-2
• upstream/paul/slices/subarraycopy
• upstream/paul/slices1
• upstream/paul/slices2
• upstream/paul/split_implicit_reducible
• upstream/paul/subslices
• upstream/paul/suggestions1
• upstream/paul/takedrop
• upstream/paul/temp/baseio
• upstream/paul/temp/big-omega
• upstream/paul/temp/bug
• upstream/paul/temp/perf
• upstream/paul/test/disable-lazywhnfcore
• upstream/paul/test/substring
• upstream/paul/todigits
• upstream/paul/toiterator-overhaul
• upstream/paul/treemap-dijkstra
• upstream/paul/treemap-ord-simp-lemmas
• upstream/paul/treemap-root-imports
• upstream/paul/treemap-unify-balance
• upstream/paul/treemap/getKey
• upstream/paul/treemapinstances
• upstream/paul/treemapinstances2
• upstream/paul/treemaplemmas14
• upstream/paul/treemaplemmas14-basics
• upstream/paul/treemaplemmas15
• upstream/paul/treemaplemmas16
• upstream/paul/treemaplemmas16-for-17
• upstream/paul/treemaplemmas17
• upstream/paul/treemaplemmas17-for-18
• upstream/paul/treemaplemmas18
• upstream/paul/treemaplemmas19
• upstream/paul/treemaplemmas20
• upstream/paul/treemaplemmas21
• upstream/paul/treemaplemmas22
• upstream/paul/treemaplemmas23
• upstream/paul/treemaptests
• upstream/paul/trichotomous
• upstream/paul/upstream-lawfulmonadlift
• upstream/paul/verso+warning
• upstream/paul/wellfounded
• upstream/paul/wrap-instance-implicit
• upstream/perf
• upstream/perf-budgeted-expr-cache
• upstream/perf-deceq-avoid-transports
• upstream/perf-ir-decl-lookup
• upstream/perf-nat-powmod-kernel
• upstream/perf-reducibleClassField-transparency
• upstream/perf-simprocs-add-builtin
• upstream/perf_binop_binrel
• upstream/perf_binop_binrel_alternative
• upstream/perf_isDefEqProj
• upstream/perm_lemmas
• upstream/perm_take
• upstream/perm_updates
• upstream/persist-more
• upstream/persistent-suggestions
• upstream/phashset_forin
• upstream/phashset_tolist
• upstream/pi_instance_names
• upstream/pkgconf-ubuntu-docs
• upstream/platform-target
• upstream/plug-n-proof
• upstream/pmap_lemmas2
• upstream/poly_expose
• upstream/pos
• upstream/pow-rightact
• upstream/pow_eq_powImp
• upstream/pp
• upstream/pp-comp
• upstream/pp-line
• upstream/pp-sig
• upstream/pp.exprSizes
• upstream/pp_fvar
• upstream/pp_grind_attr
• upstream/pp_grind_attr2
• upstream/pp_mvars_false_in_apply
• upstream/pp_proofs_without_type
• upstream/ppmvp
• upstream/pr-ci-no-release-stamp
• upstream/pr-release-agnostic
• upstream/pr-release-logic
• upstream/pr-release-origin
• upstream/pr-release-secrets
• upstream/pr-releases-with-hash
• upstream/pr-template-draft
• upstream/pr-test
• upstream/pr-test-2
• upstream/pr_8559_for_expr_data
• upstream/pratt-quot
• upstream/pre_grind_list
• upstream/precheck
• upstream/precomp-test
• upstream/pred_eq_sub_one
• upstream/prefix_linter_name
• upstream/prelim_rename_simp_sets
• upstream/premise_api
• upstream/premise_selection
• upstream/premise_selection_modifiers
• upstream/preorder_mixin
• upstream/preprocessLCtx
• upstream/prerelease
• upstream/preset
• upstream/preterm
• upstream/pretty_options
• upstream/print-deps-json
• upstream/print-info
• upstream/print-path
• upstream/printEqns
• upstream/prioritize-synthmvar-problems
• upstream/private-import2
• upstream/private-import2-stage0
• upstream/privateNameByMeta
• upstream/privateSimpContext
• upstream/private_import_string_extra
• upstream/process
• upstream/process-test
• upstream/process_output
• upstream/prod_swap
• upstream/prof-conv-check
• upstream/prof-tac
• upstream/profile-heartbeats
• upstream/profile-instrs
• upstream/profile-new-frontend
• upstream/profile_inst_mvars
• upstream/proj-rawIdent
• upstream/proj_partial
• upstream/promise-resolve-dead
• upstream/prompting
• upstream/proofAsSorry
• upstream/proof_irrel_heq
• upstream/proofmode_delab_fix
• upstream/prop-no-enum
• upstream/protect_Int.add_right_inj
• upstream/protect_div_eq_iff
• upstream/protect_fin_cast
• upstream/protect_lex
• upstream/protect_rat
• upstream/protect_sub_eq_iff_eq_add
• upstream/protected_bitvec
• upstream/proto_expr_experiment
• upstream/ptr_cache
• upstream/ptreq_cache
• upstream/ptrset
• upstream/publish-unit-test-result-action
• upstream/pull-instances-decidable
• upstream/push-c7295ac67cf2a907a69204dd1419fed7
• upstream/push-kknvlummrkok
• upstream/push-kmxxsylqktop
• upstream/push-krklsyoxpoxq
• upstream/push-ktkryrtpkpwv
• upstream/push-kuuqqwxstpzx
• upstream/push-kvlpqupwsmrm
• upstream/push-kvxmultyuwxu
• upstream/push-kwnquwmslonl
• upstream/push-kyxzlooxsuxy
• upstream/push-lmklntykowlp
• upstream/push-lpqzrzklzxxl
• upstream/push-lqxlpkxnnxrx
• upstream/push-lrnmzooolmmz
• upstream/push-lvyqpptymvvq
• upstream/push-lwmtlytqsplk
• upstream/push-lxszuwkpwlxk
• upstream/push-lyunxxwqlnpl
• upstream/push-mlxouxqkztrz
• upstream/push-mmmvwovluvul
• upstream/push-mowqmrtlulyq
• upstream/push-mpqpzzqouqpn
• upstream/push-mpzslokvwnqw
• upstream/push-mrwsolxxksln-original
• upstream/push-mrznkkotwlrs
• upstream/push-msumqyxslkpk
• upstream/push-mtlzotsrroqq
• upstream/push-mvkzsumxnyrv
• upstream/push-mwotrkyyuksm
• upstream/push-mwtznynslukl
• upstream/push-nkopukwwvywz
• upstream/push-nmwzusnylzzn
• upstream/push-nukqyowxyzym
• upstream/push-nvlwysqxxvmu
• upstream/push-nvuvzprumvxn
• upstream/push-nvylnzwtvupx
• upstream/push-nyswwyyytlvq
• upstream/push-nzlortxnlrwo
• upstream/push-omzlxxolvvkm
• upstream/push-onmrrormxrww
• upstream/push-orwkywrprqms
• upstream/push-oxloprxmxkrx
• upstream/push-oxnmvotnwrlv
• upstream/push-oznsxrytpzso
• upstream/push-pnlkkqrtolzm
• upstream/push-pnypopntlnyv
• upstream/push-prrwpoplzoyz
• upstream/push-pytzwklrtxpx
• upstream/push-pzutvoupnkun
• upstream/push-qknzyyzqylxx
• upstream/push-qkxyovzssqrl
• upstream/push-qmunvlomtlyy
• upstream/push-qmzqwxmuynrt
• upstream/push-qnmqkrktppoo
• upstream/push-qnqpwnuqmnnu
• upstream/push-qrytwnmxnvqk
• upstream/push-qskrsttklwqs
• upstream/push-quuqqoslrwzy
• upstream/push-qvnrvkvtvyrx
• upstream/push-qvtnxzstpknz
• upstream/push-qxsyvusqynvx
• upstream/push-rltlrxxmztnl
• upstream/push-rmkyqwvrxtnu
• upstream/push-rnszpsskxkqq
• upstream/push-rozwovvvnssz
• upstream/push-rqpmvntxuzmz
• upstream/push-rqpsuzutyxmx
• upstream/push-rstypswpzvvq
• upstream/push-rwmxkvwszyvw
• upstream/push-rxnomontkrvr
• upstream/push-ryrsozvwnkyw
• upstream/push-rzmrrnsrxwkq
• upstream/push-sknmmoxqkrvk
• upstream/push-smumpyvkuvoz
• upstream/push-sntnnpnmsktm
• upstream/push-srmmnwktrunw
• upstream/push-szlpyrnxynmn
• upstream/push-szvnznkkoylz
• upstream/push-tksprwzryqlo
• upstream/push-tkvzyvzxrkuw
• upstream/push-tkxllpmtxzrl
• upstream/push-tlzwmtoqulos
• upstream/push-tqryqqytwulz
• upstream/push-tslxwtxrolnt
• upstream/push-txzqtvusoupk
• upstream/push-tyrnyqnrlrql
• upstream/push-tzoznnwszorr
• upstream/push-ukzpymqlsxrw
• upstream/push-ulrqqstvynun
• upstream/push-umpqyklmlqys
• upstream/push-umqqwtmwmmyx
• upstream/push-upslpnuoopnm
• upstream/push-uqpswwwnvpmv
• upstream/push-uqvmmwpqrnnx
• upstream/push-urwzkmtmksls
• upstream/push-urztxotyknpy
• upstream/push-usnkynrtuxkl
• upstream/push-utnwxktzypop
• upstream/push-uvuztrwuzmwx
• upstream/push-uwsqrpvkmxwy
• upstream/push-uyuvkktkllks
• upstream/push-uzqxwovvkswl
• upstream/push-uzykupzootkm
• upstream/push-vonsppvxypzq
• upstream/push-vwrqzpymymss
• upstream/push-vwzpzxokvroo
• upstream/push-vzzusxyvnlwp
• upstream/push-wmmkumntttqs
• upstream/push-wopsqlqyzzvl
• upstream/push-wouvwnysyplk
• upstream/push-woywstqsnrpo
• upstream/push-wqzmyzslmnuu
• upstream/push-wtzlvsvplstm
• upstream/push-wunktkvpourq
• upstream/push-wvkyuyxwxssy
• upstream/push-wvqytytpskru
• upstream/push-wvzupluxmloz
• upstream/push-wxktvymkpltv
• upstream/push-wzomylrsmupq
• upstream/push-wzuswkympzpl
• upstream/push-wzxpnpnvrmmn
• upstream/push-xklqxzxkvtqs
• upstream/push-xkpolmpptnop
• upstream/push-xmruqvzstwor
• upstream/push-xplvlpwovzwp
• upstream/push-xqmnktyrqtpp
• upstream/push-xrksqwukqonz
• upstream/push-xrxrpywwnksu
• upstream/push-xtmzowvzouxp
• upstream/push-xtqqklttltny
• upstream/push-xtvyynrswuqx
• upstream/push-xwrmupowysmt
• upstream/push-xyylvpywumry
• upstream/push-ykutplvmrsvl
• upstream/push-ylyopnrlulpv
• upstream/push-ymxxlqulpvxw
• upstream/push-ymynvpuplvlo
• upstream/push-ynsmkzunrkxs
• upstream/push-yprzplsznvlt
• upstream/push-yumtuqwyxwlz
• upstream/push-yuttyyuxnwnp
• upstream/push-yvwnqyzozowp
• upstream/push-yxvyyxkxovwm
• upstream/push-zpvupnppupvs
• upstream/push-zqtptopunlvm
• upstream/push-zrtuqkuntxum
• upstream/push-zskuxkpuwonq
• upstream/push-zsrkptuslvrz
• upstream/push-zwwwrotxmtls
• upstream/put-back-the-make-in-cmake
• upstream/qed-macro
• upstream/qol_grind_analyze
• upstream/qsortOrd
• upstream/qsort_cleanup
• upstream/qsort_grind
• upstream/quickdoc
• upstream/quot
• upstream/quot-stage
• upstream/quot2
• upstream/quot3
• upstream/race-cond
• upstream/radix/examples
• upstream/raise_grind_limits
• upstream/rangeOfStx
• upstream/range_forin
• upstream/range_lemmas
• upstream/range_lemmas2
• upstream/range_step_pos
• upstream/rat_addcommgroup
• upstream/rat_cleanup
• upstream/rat_max_def
• upstream/rawIdent-ctor
• upstream/raw_instances
• upstream/rb-simp
• upstream/rbmap_fbip
• upstream/rc-sticky-mark-mt
• upstream/rc1
• upstream/rcases
• upstream/re-apply-12757
• upstream/read-dir
• upstream/realization-enabled-before
• upstream/realize-const-skip-kernel-tc
• upstream/reboot
• upstream/recRepr
• upstream/reclaim
• upstream/red_attr_validate
• upstream/reduceNatRegression
• upstream/reducePow_issue
• upstream/reduceReplicate
• upstream/reduce_array_lemmas_imports
• upstream/reduce_cmd
• upstream/reducibility
• upstream/reducibleClassField_true
• upstream/redundant-visibility-cleanup
• upstream/reenable-servertest_edit
• upstream/reenable_linters
• upstream/reenable_list_linter
• upstream/refactor-format
• upstream/refactor-include
• upstream/refactor-lval-access
• upstream/refactor_SimpM
• upstream/refactor_builtin_simproc
• upstream/refactor_for_2736
• upstream/refactor_int_linear
• upstream/refactor_int_linear2
• upstream/refactor_linear_lia3
• upstream/refactor_mapFinIdx
• upstream/refactor_offset
• upstream/refactor_simp
• upstream/refine-evalTactic
• upstream/refine-ilean
• upstream/refine-mdbook-docs
• upstream/refl_cmp
• upstream/refl_duplication
• upstream/reformat
• upstream/region_stack_objs
• upstream/rel_coe
• upstream/rel_of_eq_and_refl
• upstream/relase_automation_2025-10-22
• upstream/relase_updates2
• upstream/relate_isPrefixOf
• upstream/relate_zipWith
• upstream/relaxed-antiquots
• upstream/relaxed-auto-implicit-change
• upstream/relaxed-identifier-suggestion
• upstream/relaxed_reset_reuse
• upstream/reldebug
• upstream/reldebug2
• upstream/release-candidate
• upstream/release-command-no-merge
• upstream/release-command-safety
• upstream/release-no-foreign
• upstream/release-notes-v4-16-0
• upstream/release-steps
• upstream/release_automation
• upstream/release_automation2
• upstream/release_automation3
• upstream/release_automation4
• upstream/release_automation5
• upstream/release_automation_2025-10-22
• upstream/release_automation_20251015
• upstream/release_automation_v4.25.0
• upstream/release_checklist
• upstream/release_checklist.py
• upstream/release_checklist2
• upstream/release_checklist3
• upstream/release_checklist4
• upstream/release_checklist_check_for_bump_branch
• upstream/release_checklist_minor
• upstream/release_checklist_plausible
• upstream/release_checklist_release_notes
• upstream/release_checklist_tags
• upstream/release_checklist_updates
• upstream/release_note_3507
• upstream/release_note_next_para
• upstream/release_note_script
• upstream/release_notes_15_16
• upstream/release_notes_4.12.0
• upstream/release_notes_indenting
• upstream/release_notes_since
• upstream/release_notes_tactics
• upstream/release_notes_totals
• upstream/release_notes_v4.6.1
• upstream/release_ntoes
• upstream/release_repose_update
• upstream/release_steps_cslib
• upstream/release_steps_rc1
• upstream/release_updates
• upstream/release_updates3
• upstream/releases/v4.0.0-rc4
• upstream/releases/v4.0.0-rc5
• upstream/releases/v4.1.0
• upstream/releases/v4.10.0
• upstream/releases/v4.11.0
• upstream/releases/v4.12.0
• upstream/releases/v4.13.0
• upstream/releases/v4.14.0
• upstream/releases/v4.15.0
• upstream/releases/v4.16.0
• upstream/releases/v4.17.0
• upstream/releases/v4.18.0
• upstream/releases/v4.19.0
• upstream/releases/v4.2.0
• upstream/releases/v4.20.0
• upstream/releases/v4.21.0
• upstream/releases/v4.22.0
• upstream/releases/v4.22.0-grind
• upstream/releases/v4.23.0
• upstream/releases/v4.24.0
• upstream/releases/v4.25.0
• upstream/releases/v4.26.0
• upstream/releases/v4.27.0
• upstream/releases/v4.28.0
• upstream/releases/v4.29.0
• upstream/releases/v4.3.0
• upstream/releases/v4.31.0
• upstream/releases/v4.32.0
• upstream/releases/v4.33.0
• upstream/releases/v4.34.0
• upstream/releases/v4.35.0
• upstream/releases/v4.36.0
• upstream/releases/v4.4.0
• upstream/releases/v4.5.0
• upstream/releases/v4.6.0
• upstream/releases/v4.6.1
• upstream/releases/v4.7.0
• upstream/releases/v4.8.0
• upstream/releases/v4.9.0
• upstream/releases_note_2024-03-04
• upstream/relocatable
• upstream/remove-abbrev-namemapextension
• upstream/remove-batteries-tag-check
• upstream/remove-error-explanation-strings
• upstream/remove-gh-pages
• upstream/remove-glibc-libs
• upstream/remove-simp-all-suggestions-from-try
• upstream/remove_libsearch_cache
• upstream/removedir
• upstream/rename-cutsat-to-lia
• upstream/rename_Bool.toNat_le_one
• upstream/rename_TC_TransGen
• upstream/rename_eqs
• upstream/rename_get_elem_trivial
• upstream/rename_i-macro
• upstream/rename_list_splitBy
• upstream/rename_psigma_exists
• upstream/rename_simp_sets
• upstream/repair_list_defeqs
• upstream/reparen
• upstream/reparen-stdlib
• upstream/repeat
• upstream/repeat_doc_String
• upstream/replace
• upstream/replaceExprDagPreserving
• upstream/replaceS
• upstream/replace_fix
• upstream/replace_opt
• upstream/replace_perf
• upstream/replace_perf2
• upstream/replace_toExpr_int
• upstream/replicate
• upstream/replicateRecOn
• upstream/require_bitvec_docs
• upstream/rererebootstrap
• upstream/reservedResolution
• upstream/reserved_names
• upstream/reset-flags
• upstream/reset_reuse_bug
• upstream/resolve-aux-as-globals
• upstream/resolve-const-pre
• upstream/resolveName_issue
• upstream/restart-on-label-wait
• upstream/restore_4006
• upstream/restore_8656
• upstream/restrict_exists_prop
• upstream/reuse-interpreter
• upstream/revert-11345-port-shell-process-opt
• upstream/revert-11579-grind_ground_thm_param
• upstream/revert-11896-fix-docstring-panic-where-clause
• upstream/revert-12000
• upstream/revert-12098-eric-wieser/wrapv
• upstream/revert-12615-fix/cbv-unfold-nullary-const
• upstream/revert-12621-fix/cbv-opaque-guard
• upstream/revert-12757
• upstream/revert-13123-push-mvkzsumxnyrv
• upstream/revert-13393-wojciech/envlinter_lake
• upstream/revert-14193-faster-parser-options
• upstream/revert-14224-array-mapfinidx-inplace
• upstream/revert-14321-push-lorzntmqrvkl
• upstream/revert-15191-sofia/libuv-timer-signal-fixes
• upstream/revert-15559-no-export-proof-realizations
• upstream/revert-2316-glibc-2.26
• upstream/revert-2435-refine-natural-fix
• upstream/revert-2648-cancel
• upstream/revert-4538-import-case
• upstream/revert-4906-hbv/readFile
• upstream/revert-5953-push-nrlzsxrlotns
• upstream/revert-8061-push-slklnzysvyws
• upstream/revert-8685-push-xkpnlqkwxwsq
• upstream/revert-8745-sg/upstream-spred
• upstream/revert-9471-push-smmsnuptwsqq
• upstream/revert-9666-push-tpurorssqrpq
• upstream/revert-library-suggestions-aux-def
• upstream/revert-tc-cache-preprocessOutParam
• upstream/revert-tc-cache-withDefault
• upstream/revert-test-delete
• upstream/revert_12483
• upstream/revert_3020
• upstream/revert_3406
• upstream/revert_6411
• upstream/revert_6422
• upstream/revert_7575
• upstream/revert_HasSSubset_reducibility_change
• upstream/revert_grind_bitvec
• upstream/revert_impDetail
• upstream/revert_json_sum
• upstream/review_grind_failing_tests
• upstream/rewrite-all-goals
• upstream/rewrites_tactic
• upstream/rfl_simp_linter
• upstream/rfl_tactic
• upstream/ring_cheap_01
• upstream/ring_cheap_02
• upstream/ring_cheap_03
• upstream/ring_cheap_04
• upstream/ring_cheap_05
• upstream/ring_cheap_06
• upstream/ring_cheap_07
• upstream/ring_cheap_08
• upstream/ring_cheap_09
• upstream/ring_cheap_10
• upstream/ring_cheap_11
• upstream/ring_cheap_12
• upstream/ring_field_kernel_certs
• upstream/rip-leanpkg
• upstream/rip-out-premise-data
• upstream/rm_2024-06_deprecations
• upstream/rm_bad_grind
• upstream/rm_bad_option_grind
• upstream/rm_bad_simps
• upstream/rm_deprecated_Int_mod
• upstream/rm_deprecated_xor
• upstream/rm_deprecations_to_2024-04
• upstream/rm_duplicates
• upstream/rm_fin_natcast
• upstream/rm_fishy_int_simps
• upstream/rm_get_elem_tactic_trivial
• upstream/rm_grind_BEq_comm
• upstream/rm_grind_backwards_contains_iff_mem
• upstream/rm_grind_countP_eq_length_filter
• upstream/rm_grind_ext
• upstream/rm_grind_warnings
• upstream/rm_grind_zip_map_left
• upstream/rm_internal_rat
• upstream/rm_lean_hashmap
• upstream/rm_modifyOp
• upstream/rm_mul_hmul
• upstream/rm_nat_sum
• upstream/rm_premises_grind_question
• upstream/rm_simp_deprecated
• upstream/rm_simp_int_neg_mul
• upstream/rm_simp_ofFin_sub
• upstream/rm_simp_priorities
• upstream/rm_slow_grind
• upstream/rob/typos-jul7
• upstream/root-dir
• upstream/roundUp
• upstream/rpc-encode-unit
• upstream/run-full-ci
• upstream/run_cmd
• upstream/runtime-apply-m-fix
• upstream/runtime-bitcode
• upstream/runtime-rc-mimalloc-tu
• upstream/runtime_bad_gmp
• upstream/runtime_rc_overflow
• upstream/runtime_rc_overflow_2
• upstream/rw-motive-check
• upstream/rw_abort_elab_error
• upstream/rw_issue
• upstream/rw_simp_issue
• upstream/rw_uses_refl_not_applyRfl
• upstream/rwa_tactic
• upstream/rwissue
• upstream/safeExp
• upstream/san-exit
• upstream/sarray-capacity-overflow
• upstream/save
• upstream/save-last
• upstream/saved2
• upstream/scoped-ext-cached-state
• upstream/scopedNS
• upstream/seal_unseal
• upstream/self_sub_mod
• upstream/semantic-tokens
• upstream/semiring_envelope
• upstream/semver-dash
• upstream/sensitive-match
• upstream/server
• upstream/server-less
• upstream/server-new-refactoring
• upstream/setConfig
• upstream/set_lit_unexpand
• upstream/set_literal
• upstream/set_replicate_self
• upstream/setwidth_lemmas
• upstream/seval
• upstream/sg/7507-reapply
• upstream/sg/7682
• upstream/sg/9365
• upstream/sg/Id-simps
• upstream/sg/Id-simps-eric
• upstream/sg/apply-mvars
• upstream/sg/applyN
• upstream/sg/assert-clause
• upstream/sg/assertion-opt-in
• upstream/sg/builtin-repeat-while
• upstream/sg/checkWithKernel-share
• upstream/sg/codeowners
• upstream/sg/collect-fresh-mvars
• upstream/sg/contract-clause-patterns
• upstream/sg/count-dependent-monadic-match
• upstream/sg/defeq-stuck-on-unfolding
• upstream/sg/delab-range
• upstream/sg/do-elabElem
• upstream/sg/do-erased-one-parser
• upstream/sg/do-finally-mut
• upstream/sg/do-label
• upstream/sg/do-let-config
• upstream/sg/do-regression-9037
• upstream/sg/do-regression-tests
• upstream/sg/do-test-speedups
• upstream/sg/drop-structural-combinator
• upstream/sg/eqns-followup
• upstream/sg/eqns-keep-have-split
• upstream/sg/eta-spec
• upstream/sg/fix-dite-new-do
• upstream/sg/fix-do-for-mut-univ
• upstream/sg/fix-do-try-catch-coerce
• upstream/sg/fix-for-do-pp
• upstream/sg/fix-getlevel-instantiate
• upstream/sg/fix-level-defeq-selfmax
• upstream/sg/fix-mvcgen-defeq
• upstream/sg/fix-postcond-notation
• upstream/sg/fix-unused-var-try-catch
• upstream/sg/fix-vcgen-lean-toolchain
• upstream/sg/freshen-matcherapp
• upstream/sg/grind-init-closes-goal
• upstream/sg/grind-persistent-preprocess-caches
• upstream/sg/infer-control-info-aggregate
• upstream/sg/le-level-adaptive
• upstream/sg/le-level-collapse
• upstream/sg/le-sort-u
• upstream/sg/leading-ident-new-default
• upstream/sg/move-test
• upstream/sg/mspec-defeq-bug
• upstream/sg/mspec-tests
• upstream/sg/multi-invariants
• upstream/sg/mvcgen'-cleanup
• upstream/sg/mvcgen-cursor
• upstream/sg/mvcgen-dfs-ordering
• upstream/sg/mvcgen-errors
• upstream/sg/mvcgen-faster-specs
• upstream/sg/mvcgen-rewrites
• upstream/sg/mvcgen-split-ifs
• upstream/sg/mvcgen-trivial-rec-depth
• upstream/sg/mvcgen-unknown-identifier-test-case
• upstream/sg/naming-withEarlyReturn
• upstream/sg/nested-action-rename
• upstream/sg/newassertions
• upstream/sg/newdo-stage2
• upstream/sg/newdo-with-ForInNew
• upstream/sg/newdo-with-ForInNew-and-stage2-fixes
• upstream/sg/newdo-with-ForInNew-factored-into-commit
• upstream/sg/olean-base-window
• upstream/sg/parked-fin-specs
• upstream/sg/parked-mrevert-idea
• upstream/sg/partial-fix-while
• upstream/sg/partial-inductive
• upstream/sg/postcond-const-simp
• upstream/sg/pp-non-ground
• upstream/sg/predtrans-apply-def
• upstream/sg/predtrans-grind
• upstream/sg/promote-builtin-repeat-while
• upstream/sg/range-simp-grind
• upstream/sg/remove-liftMethod-alias
• upstream/sg/rename-invariant-alt
• upstream/sg/repeat-control-info
• upstream/sg/repeat-num-regular-exits
• upstream/sg/resurrect-Elab-resume
• upstream/sg/revert-8745
• upstream/sg/simp_no_inst
• upstream/sg/spec-aggressive-eta
• upstream/sg/spec-lemmas-notation
• upstream/sg/spred-entails-n
• upstream/sg/spred-iff
• upstream/sg/standalone-vcgen
• upstream/sg/std-internal-do-cleanup
• upstream/sg/sym-getdm-namespace
• upstream/sg/sym-intro-instantiate-domains
• upstream/sg/sym-match-goal
• upstream/sg/sym-mode-mvcgen
• upstream/sg/sym-mvcgen-ExceptT-ite
• upstream/sg/sym-mvcgen-aux-lemmas
• upstream/sg/sym-mvcgen-deep-stack
• upstream/sg/sym-mvcgen-instantiateMVarsNoUpdate
• upstream/sg/sym-mvcgen-measure-grind-separately
• upstream/sg/sym-mvcgen-simp-hyps
• upstream/sg/sym-mvcgen-specialized-wp-apply
• upstream/sg/sym-mvcgen-split
• upstream/sg/sym-unfold-reducible-async
• upstream/sg/sym-unify-canonical-subgoals
• upstream/sg/vcgen-arith
• upstream/sg/vcgen-eqspec-generalize-args
• upstream/sg/vcgen-intro-pre-frame
• upstream/sg/vcgen-invariant-suggestions
• upstream/sg/vcgen-jp-au
• upstream/sg/vcgen-keep-have
• upstream/sg/vcgen-liftm-loop-fix
• upstream/sg/vcgen-match-split
• upstream/sg/vcgen-reuse-wp-args
• upstream/sg/vcgen-simps
• upstream/sg/vcgen-std-do-error
• upstream/sg/vcgen-subst-eq
• upstream/sg/while-invariant
• upstream/sg/wp
• upstream/shake_omega
• upstream/shake_omega2
• upstream/share-server-ext-entries
• upstream/shareCommonPerf
• upstream/share_expr_rec_app
• upstream/sharecommon-rc-overflow
• upstream/sharecommon_bug
• upstream/sharecommon_destructive
• upstream/sharecommon_inc
• upstream/sharecommon_quick
• upstream/sharecommon_refactor
• upstream/shorten_diagnostic_suggestion
• upstream/shouldInline_simplify
• upstream/shouldnt-touch-this
• upstream/show-me-your-secrets
• upstream/show_term
• upstream/shrink_take
• upstream/signExtend
• upstream/simp-cfg-ctoreq
• upstream/simpCongrIssue2
• upstream/simpIssues
• upstream/simpNF
• upstream/simpNF2
• upstream/simpNF_linting
• upstream/simp_add_assoc
• upstream/simp_add_eq_zero_iff
• upstream/simp_add_one_le_add_one_iff
• upstream/simp_all_suggestions_lax
• upstream/simp_arith_bug
• upstream/simp_arith_bug2
• upstream/simp_arith_coeff
• upstream/simp_arith_deprecated
• upstream/simp_arith_eq_normal_form
• upstream/simp_arith_int_neg_lit
• upstream/simp_arith_nat
• upstream/simp_arith_tight
• upstream/simp_arith_type_check
• upstream/simp_bench_clean
• upstream/simp_cache_congr_fns
• upstream/simp_cache_perf
• upstream/simp_congr_const
• upstream/simp_congr_diag
• upstream/simp_congr_opt
• upstream/simp_ctorEq_perf
• upstream/simp_discharge_trace
• upstream/simp_doc_decide_fix
• upstream/simp_eq_mp
• upstream/simp_experiment
• upstream/simp_flatten_toArray
• upstream/simp_forall
• upstream/simp_forall_prop_domain
• upstream/simp_funext_2
• upstream/simp_getElem_append_left
• upstream/simp_getElem_eq_getElem
• upstream/simp_getKey_eq
• upstream/simp_get_getKey
• upstream/simp_ground
• upstream/simp_ground_new
• upstream/simp_have_refactor
• upstream/simp_head_mem
• upstream/simp_index_false
• upstream/simp_inst_issue
• upstream/simp_int_arith
• upstream/simp_int_arith2
• upstream/simp_int_neg_inj
• upstream/simp_local_hyp
• upstream/simp_lt_one_iff
• upstream/simp_min_assoc
• upstream/simp_missing_check
• upstream/simp_nat_cleanup
• upstream/simp_nf_2025-05
• upstream/simp_no_inst
• upstream/simp_not_mem_none
• upstream/simp_priority_explanations
• upstream/simp_proj_trans
• upstream/simp_refactor
• upstream/simp_result_bug
• upstream/simp_rfl_thm
• upstream/simp_size_feraseIdx
• upstream/simp_skip_instance_implicit
• upstream/simp_sort_arith
• upstream/simp_sub_add_cancel
• upstream/simp_sublist
• upstream/simp_succ_eq_add_one
• upstream/simp_suggestions
• upstream/simp_toNat_mul
• upstream/simp_trace
• upstream/simp_trace_issues
• upstream/simp_zetaDeltaIssue
• upstream/simplc
• upstream/simplc-rebase
• upstream/simplc_tweaks
• upstream/simpleBinders
• upstream/simple_arrow
• upstream/simpler-sorry-universe-failure
• upstream/simpler_rc
• upstream/simpler_rc2
• upstream/simpler_rc3
• upstream/simplify_canon
• upstream/simplify_release_checklist
• upstream/simproc
• upstream/simproc_bv_eq
• upstream/simproc_char
• upstream/simproc_doc_comments
• upstream/simproc_docstring
• upstream/simproc_dvd
• upstream/simproc_erase
• upstream/simproc_int_tonat
• upstream/simproc_string
• upstream/sine_qua_non
• upstream/skipTerminalTactics
• upstream/skip_kernel_tc
• upstream/skip_suffix
• upstream/slim-ir-imported-entries
• upstream/slotalloc
• upstream/small_allocator
• upstream/smaller-discr-tree-accessors
• upstream/smul_prio
• upstream/sofia/add-walltime
• upstream/sofia/async-basic
• upstream/sofia/async-cancel
• upstream/sofia/async-cancellation-token
• upstream/sofia/async-context
• upstream/sofia/async-fs-dir
• upstream/sofia/async-fs-foundation
• upstream/sofia/async-future
• upstream/sofia/async-http
• upstream/sofia/async-http-body
• upstream/sofia/async-http-client
• upstream/sofia/async-http-client-agent
• upstream/sofia/async-http-client-config
• upstream/sofia/async-http-client-connection
• upstream/sofia/async-http-client-impl
• upstream/sofia/async-http-client-new
• upstream/sofia/async-http-client-ssl
• upstream/sofia/async-http-data
• upstream/sofia/async-http-fix-body-stream
• upstream/sofia/async-http-fix-test
• upstream/sofia/async-http-h1
• upstream/sofia/async-http-headers
• upstream/sofia/async-http-redirect-plan
• upstream/sofia/async-http-replayable-body
• upstream/sofia/async-http-server
• upstream/sofia/async-http-stream-close-error
• upstream/sofia/async-http-uri
• upstream/sofia/async-io-ops
• upstream/sofia/async-move
• upstream/sofia/async-notify
• upstream/sofia/async-streammap
• upstream/sofia/bug-fix-http
• upstream/sofia/bytes
• upstream/sofia/correct-uri-parsing
• upstream/sofia/finalize-libuv-thread
• upstream/sofia/fix-async
• upstream/sofia/fix-body-test
• upstream/sofia/fix-borrow-system
• upstream/sofia/fix-context-async
• upstream/sofia/fix-h1
• upstream/sofia/fix-libuv-double-release
• upstream/sofia/fix-native-decide
• upstream/sofia/fix-selectable-one
• upstream/sofia/fix-signal
• upstream/sofia/fix-signal-windows
• upstream/sofia/fix-task-sync-deadlock
• upstream/sofia/fix-tcp-try-recv
• upstream/sofia/fix-time-format-roundtrip
• upstream/sofia/fix-timer-seg
• upstream/sofia/h1-rfc-responses
• upstream/sofia/http
• upstream/sofia/http-bench
• upstream/sofia/http-bug-fix
• upstream/sofia/http-cleanups
• upstream/sofia/http-fix-flaky
• upstream/sofia/http-minor-bug-fix
• upstream/sofia/http-restructure-tests
• upstream/sofia/indexmultimap
• upstream/sofia/libidn2
• upstream/sofia/libuv-fix-double-release
• upstream/sofia/libuv-foreach
• upstream/sofia/libuv-handle-rc
• upstream/sofia/libuv-loop-system-fixes
• upstream/sofia/libuv-networking-fix
• upstream/sofia/libuv-socket-fixes
• upstream/sofia/libuv-stop-loop-at-exit
• upstream/sofia/libuv-timer-signal-fixes
• upstream/sofia/mimalloc-3.4.3
• upstream/sofia/openssl
• upstream/sofia/openssl-init
• upstream/sofia/openssl-socket
• upstream/sofia/openssl-socket-async
• upstream/sofia/openssl-socket-cl
• upstream/sofia/openssl-socket-context
• upstream/sofia/openssl-socket-session
• upstream/sofia/outbox
• upstream/sofia/parser-changes
• upstream/sofia/path-rfc
• upstream/sofia/protocol-fix
• upstream/sofia/remove-timer-test
• upstream/sofia/response-heads-writer
• upstream/sofia/select-combine-fix
• upstream/sofia/signal
• upstream/sofia/std-async-cancellation-fixes
• upstream/sofia/std-time-add-types
• upstream/sofia/std-time-format-refactor
• upstream/sofia/std-time-posix-tz
• upstream/sofia/std-time-remove
• upstream/sofia/sync-broadcast
• upstream/sofia/system-raii
• upstream/sofia/task-manager-exit-hang
• upstream/sofia/time-bug-fixes
• upstream/sofia/time-format-fix-z
• upstream/sofia/time-format-refactor
• upstream/sofia/time-locale
• upstream/sofia/time-tr35
• upstream/sofia/time-tz-fallback
• upstream/sofia/tz-footer-windows
• upstream/sofia/uri-query-decoded-lookup
• upstream/sofia/uv-errors
• upstream/sofia/uv-exit-requests
• upstream/sofia/uv-exit-teardown
• upstream/sofia/uv-finalization
• upstream/sofia/uv-fix-signal
• upstream/sofia/uv-handle-objs
• upstream/sofia/uv-remove-handle-malloc
• upstream/sofia/uv-scoped-lock
• upstream/sofia/uv-send-buffers
• upstream/sofia/vectored-network
• upstream/sofia/watchdog
• upstream/solve_by_elim_namespace
• upstream/sorry-universe
• upstream/sorryProps
• upstream/sort-msgs
• upstream/sourceinfo
• upstream/specialization-ordinary-implicits
• upstream/specialize_attrs
• upstream/speedcenter
• upstream/split-dll
• upstream/split-grind-lint-tests
• upstream/split-lean-lang
• upstream/splitIf_perf
• upstream/split_issue
• upstream/split_list_lemmas
• upstream/split_match
• upstream/split_ord
• upstream/split_qsort
• upstream/splitter_gen_code
• upstream/sr/setup-libuv
• upstream/stack-size-env-early
• upstream/stack_overflow_at_autoimplicit
• upstream/stage0-graft/144c1bbbaf
• upstream/stage0-graft/20abdcb794
• upstream/stage0-graft/2a4940986a
• upstream/stage0-graft/4af94b2f6d
• upstream/stage0-graft/5a95f91fae
• upstream/stage0-graft/75b2850336
• upstream/stage0-graft/793cb2b8e3
• upstream/stage0-graft/9056824be5
• upstream/stage0-graft/9210746a25
• upstream/stage0-graft/9d24f614fa
• upstream/stage0-graft/a434489e51
• upstream/stage0-graft/b762567174
• upstream/stage0-graft/b8ca5ff280
• upstream/stage0-graft/cc4c82a6e7
• upstream/stage0-graft/e5600b03df
• upstream/stage0-leanh-dep
• upstream/stage1
• upstream/stage1-kindly
• upstream/stale-tests
• upstream/state_run
• upstream/static-gmp
• upstream/static-init
• upstream/static-lean
• upstream/std
• upstream/std-base
• upstream/std-streams-take-2
• upstream/std4
• upstream/std_command
• upstream/stderrAsMessages-true
• upstream/stdlib-tests
• upstream/stray_exact_test
• upstream/stricter_deprecations
• upstream/string-capacity-overflow
• upstream/string-no-append
• upstream/string-tonat-underscore-support
• upstream/string_lemmas
• upstream/string_simproc
• upstream/struct-with-synth
• upstream/structInstLoop
• upstream/struct_cleanup_7717
• upstream/struct_cmd
• upstream/struct_eq_bug
• upstream/struct_simp_diag
• upstream/structid_typo
• upstream/structure_docstrings
• upstream/sub
• upstream/sub-info
• upstream/sub_one_le
• upstream/sublist_specs
• upstream/subset_names
• upstream/substrEq.loop
• upstream/succ_sub_succ_eq
• upstream/suffix_prefix_decidable
• upstream/suggest-identifier
• upstream/suggest-replacements
• upstream/suggest-simple-autobind
• upstream/suggest-simple-ids
• upstream/suggestion-cleanup
• upstream/suggestion_combinators
• upstream/suggestsions_hover
• upstream/sum_append_nat
• upstream/swapAt_def
• upstream/swapAt_default
• upstream/switch-suggestion-store-order
• upstream/sym-apply-unresolved-instance
• upstream/sym-arith-ground-refl
• upstream/sym-arith-types
• upstream/sym-arith-types-3
• upstream/sym-eta-loose-bvars
• upstream/sym-have
• upstream/sym-instantiate-mvars
• upstream/sym-lctx-shared
• upstream/sym-level-mvar-cycle
• upstream/sym-lift-lets
• upstream/sym-norm-next
• upstream/sym-occurs-check
• upstream/sym-pattern-max-levels
• upstream/sym-pending-inst-eq
• upstream/sym-process-ptr-fastpath
• upstream/sym-simp-match-lit
• upstream/sym_S_functions
• upstream/sym_abstract
• upstream/sym_add_sub_cancel
• upstream/sym_add_sub_cancel_new
• upstream/sym_apis
• upstream/sym_apply
• upstream/sym_apply_expr
• upstream/sym_apply_instance
• upstream/sym_apply_issue
• upstream/sym_apply_univ
• upstream/sym_arith_inv_atoms
• upstream/sym_arith_neg_zero
• upstream/sym_arith_num_canon
• upstream/sym_arith_order
• upstream/sym_arith_pow_zero
• upstream/sym_arith_return
• upstream/sym_arith_return_2
• upstream/sym_arith_sharing_issue
• upstream/sym_arith_simp_2
• upstream/sym_arith_simp_3
• upstream/sym_arith_simp_4
• upstream/sym_arith_simp_5
• upstream/sym_arith_simp_6
• upstream/sym_arith_simp_7
• upstream/sym_arith_simp_8
• upstream/sym_arith_solve_char
• upstream/sym_arith_zpow
• upstream/sym_bench_hackathon
• upstream/sym_bitvec_simp_ground
• upstream/sym_bug_2
• upstream/sym_bugs
• upstream/sym_builtin_numerals
• upstream/sym_canon_beta_types
• upstream/sym_case_tactic
• upstream/sym_chore
• upstream/sym_chore_2
• upstream/sym_congrInfo
• upstream/sym_congr_inst
• upstream/sym_discharge_leak
• upstream/sym_discrTree_perf
• upstream/sym_done
• upstream/sym_dsimp
• upstream/sym_dsimp_2
• upstream/sym_dsimp_3
• upstream/sym_dsimp_4
• upstream/sym_dsimp_5
• upstream/sym_dsimp_6
• upstream/sym_dsimp_bug
• upstream/sym_dsimp_fun_issue
• upstream/sym_dsimp_issue
• upstream/sym_dsimp_sharing_issue
• upstream/sym_dt
• upstream/sym_dt2
• upstream/sym_eta
• upstream/sym_evalGround_dsimp
• upstream/sym_eval_ground_char
• upstream/sym_eval_ground_fin
• upstream/sym_eval_ground_int_conv
• upstream/sym_eval_ground_string_push
• upstream/sym_eval_simprocs
• upstream/sym_exp_2
• upstream/sym_exp_4
• upstream/sym_fix_intro
• upstream/sym_focused_write
• upstream/sym_grind
• upstream/sym_have_relax
• upstream/sym_instantiateRevBetaS
• upstream/sym_interact_issue
• upstream/sym_interact_issue_2
• upstream/sym_intro
• upstream/sym_intro_accessible
• upstream/sym_intro_issue
• upstream/sym_isDefEqCache
• upstream/sym_isDefEq_2
• upstream/sym_let_to_have
• upstream/sym_level_max_issue
• upstream/sym_max_char_div
• upstream/sym_mdata_issue
• upstream/sym_mvar_apply_issue
• upstream/sym_mvar_target
• upstream/sym_nat_sub_cancel
• upstream/sym_no_index_support
• upstream/sym_norm_mkapp
• upstream/sym_offset_terms
• upstream/sym_pat2
• upstream/sym_pattern_fixes
• upstream/sym_pattern_fixes_2
• upstream/sym_perf_3
• upstream/sym_perf_4
• upstream/sym_perf_test
• upstream/sym_proj_bug
• upstream/sym_replaceS_perf
• upstream/sym_rewrite
• upstream/sym_rewrite_2
• upstream/sym_rewrite_dischare
• upstream/sym_sg_mwe_2
• upstream/sym_shallow_add_sub_cancel
• upstream/sym_share_common_letE
• upstream/sym_share_reducible
• upstream/sym_share_reducible_3
• upstream/sym_shared_exprs
• upstream/sym_simp
• upstream/sym_simp2
• upstream/sym_simpTelescope
• upstream/sym_simp_4
• upstream/sym_simp_arith_10
• upstream/sym_simp_arith_9
• upstream/sym_simp_arrow_2
• upstream/sym_simp_arrow_bench
• upstream/sym_simp_arrow_telescope
• upstream/sym_simp_bad_proof
• upstream/sym_simp_bench
• upstream/sym_simp_cleanup
• upstream/sym_simp_congr
• upstream/sym_simp_debug
• upstream/sym_simp_debug_2
• upstream/sym_simp_dite_cond
• upstream/sym_simp_done
• upstream/sym_simp_eq_lemmas
• upstream/sym_simp_eqs
• upstream/sym_simp_grind_discharger
• upstream/sym_simp_have_perf
• upstream/sym_simp_issue
• upstream/sym_simp_ite
• upstream/sym_simp_let
• upstream/sym_simp_let_2
• upstream/sym_simp_limits
• upstream/sym_simp_match
• upstream/sym_simp_over_under_app
• upstream/sym_simp_refactor
• upstream/sym_simp_rewrite_overapplied
• upstream/sym_simp_withfvar
• upstream/sym_simp_zeta
• upstream/sym_string_char
• upstream/sym_unify
• upstream/sym_unify_match
• upstream/sym_usize_tonat
• upstream/sym_zeta_let_head
• upstream/symbol_frequency
• upstream/symlink-src
• upstream/symm_label_fixes
• upstream/synsan
• upstream/syntax-array
• upstream/syntax-match-refactor
• upstream/syntax-prec
• upstream/synth-info
• upstream/synth-node
• upstream/synth-node-simple
• upstream/synth_benchmarks
• upstream/synth_perf
• upstream/synthetic-sorry-filter
• upstream/tac-catch-recover
• upstream/tac-term-tac
• upstream/tac-term-tac2
• upstream/tactic-cache-new-snaps
• upstream/tactic_rw_diagnose_patt
• upstream/tail_lemmas
• upstream/take_drop_extract
• upstream/tar-portable
• upstream/task
• upstream/task-avoid-mt
• upstream/task-cont-sync
• upstream/task-manager-per-task-wakeups
• upstream/task-manager-warm-worker
• upstream/task-prio
• upstream/task-race
• upstream/tc-cache-opt
• upstream/tc-check-cache-hits
• upstream/tc-exp
• upstream/tc-lazy-levels
• upstream/tc-record-option-accesses
• upstream/tc-stuck-blocker-retry
• upstream/tc-stuck-memo
• upstream/tc-whnf
• upstream/tc_back
• upstream/tc_cache
• upstream/tc_directAssign
• upstream/tc_exp_perf
• upstream/tc_instance_class_changes
• upstream/tc_issue
• upstream/tc_issue_exp
• upstream/tc_opt
• upstream/tc_perf
• upstream/tc_qstruct
• upstream/tc_relevant_cache
• upstream/tc_relevant_cache_outparams
• upstream/tc_resolution
• upstream/tc_resolution_cache
• upstream/tceta
• upstream/tdiv
• upstream/tdiv_align1
• upstream/tdiv_eq_ediv
• upstream/telescope_cleanup
• upstream/template_actions_checkout
• upstream/term-goal-include-stop
• upstream/test
• upstream/test-11745-followup
• upstream/test-change-unknown-tactic
• upstream/test-extern-integer-coverage
• upstream/test-panic
• upstream/test-perm-lemma-fvar-ordering
• upstream/test-scratch-ignores
• upstream/test-summary
• upstream/testBit_add_one_unsimp
• upstream/test_deprecations
• upstream/test_extern
• upstream/test_extern_update
• upstream/test_issue
• upstream/theorem_is_prop
• upstream/thm_diag
• upstream/throwError_declName
• upstream/thunk-heartbeats
• upstream/tmod_fmod2
• upstream/toArrayImpl_dont_calculate_length
• upstream/toArray_theorems
• upstream/toExprInsts
• upstream/toList_insert_perm_of_not_mem
• upstream/toList_map_fst
• upstream/toNat_of_nonpos
• upstream/tofrom-deriv
• upstream/toint_ofnat_refactor
• upstream/toint_refactor2
• upstream/token-errors
• upstream/trace-time
• upstream/trace-whnf
• upstream/trace_at_kernel
• upstream/trace_descr
• upstream/trackZetaDeltaIssue
• upstream/trail-indent
• upstream/trans_escalation
• upstream/transform-visit
• upstream/transparency_none
• upstream/trie-exp-base
• upstream/trie-exp-binsearch
• upstream/trie-exp-markmt
• upstream/trie-locator
• upstream/truncate_lemmas
• upstream/trustCompiler_true
• upstream/try-atomic-with-suggestions
• upstream/try-induction
• upstream/try-solve-by-elim
• upstream/tryCatchRuntimeEx
• upstream/tryClearMany
• upstream/try_compress
• upstream/try_evalAndSuggest
• upstream/try_exact_trace
• upstream/try_expose_names
• upstream/try_extensible
• upstream/try_forall_induction
• upstream/try_heartbeats
• upstream/try_max_suggestions
• upstream/try_order
• upstream/try_par
• upstream/try_same_kind
• upstream/try_same_kind2
• upstream/try_tac_driver
• upstream/try_tac_validation
• upstream/try_this
• upstream/trying_to_remove_expr_param
• upstream/tsan
• upstream/tsyntax_helpers
• upstream/turn_off_inhabited_right
• upstream/turn_off_inhabited_sum
• upstream/tweak_count_grind_annotations
• upstream/tydeu/lake-lift-high
• upstream/type-as-hole-example-improvement
• upstream/typeOccursCheckIssue
• upstream/type_as_hole
• upstream/typeclass-failure-error
• upstream/typeclass-stuck-error-improvement
• upstream/typed-options
• upstream/typo
• upstream/ub-assoc
• upstream/ugh
• upstream/ugh2
• upstream/ugh3
• upstream/ugh4
• upstream/ugh5
• upstream/ugh6
• upstream/ulift_instances
• upstream/unattach_array
• upstream/unattach_list
• upstream/unattach_option
• upstream/undefault
• upstream/undefine-lean-path
• upstream/unexpander
• upstream/unextend_vector
• upstream/unfactor-paren
• upstream/unfold-nonrec-eq-def
• upstream/unfoldPartial
• upstream/unfold_cache
• upstream/unfold_class_proj
• upstream/ungrind_pairwise_iff_forall_sublist
• upstream/univ_approx
• upstream/univ_order
• upstream/univ_out_param
• upstream/unknown-pkg
• upstream/unnecessary_check
• upstream/unprotect_list_foldlm
• upstream/unsimp_Option.isSome_eq_isSome
• upstream/unsimp_bind_eq_some
• upstream/unsimp_bne_assoc
• upstream/unsimp_forall_const
• upstream/unsimp_mem_of_find_eq_some
• upstream/unsimp_of_length_zero
• upstream/unsimp_option_bind_map
• upstream/unsimp_sum_lemmas
• upstream/unsimp_toArray_concat
• upstream/unspeakable-aux-def
• upstream/untrusted-axioms-linter
• upstream/unused-avoid-revisit
• upstream/unused-fixes
• upstream/unused-foreign
• upstream/unused-rebase
• upstream/unused-unfinished
• upstream/unused-unhygienic
• upstream/unused_vars_perf
• upstream/unwrapped-syntax-abbrev
• upstream/update-benchmarks
• upstream/update-gh-script
• upstream/update-inputs
• upstream/update-llvm
• upstream/update-nix
• upstream/update-nixpkgs
• upstream/update-script-apply
• upstream/update-stage0-add
• upstream/update-stage0-commit
• upstream/update_copyrights
• upstream/update_grind_palindrome
• upstream/update_release_checklist
• upstream/update_release_checklist2
• upstream/update_release_checklist_02-03
• upstream/upgrade_tdiv_eq_ediv
• upstream/upstream_Array_List_Init
• upstream/upstream_BitVec
• upstream/upstream_ByCases
• upstream/upstream_CoeExt
• upstream/upstream_Data_Fin_Iterate
• upstream/upstream_IsPrefix
• upstream/upstream_List_TR
• upstream/upstream_List_basic_ops_lemmas
• upstream/upstream_LocalContext
• upstream/upstream_MVarId.applyConst
• upstream/upstream_NoMatch
• upstream/upstream_Ordering
• upstream/upstream_Std_Classes_LawfulMonad
• upstream/upstream_Std_Data_Array_Init_Lemmas
• upstream/upstream_Std_Data_Bool
• upstream/upstream_Std_Data_Fin_Basic
• upstream/upstream_Std_Data_Fin_Init_Lemmas
• upstream/upstream_Std_Data_Fin_Lemmas
• upstream/upstream_Std_Data_List_Init_Basic
• upstream/upstream_Std_Data_List_Init_Lemmas
• upstream/upstream_Std_Data_Nat_Bitwise
• upstream/upstream_Std_Data_Nat_Lemmas
• upstream/upstream_Std_Data_Prod_Lex
• upstream/upstream_Std_option
• upstream/upstream_Sublist
• upstream/upstream_Tactic
• upstream/upstream_TermUnsafe
• upstream/upstream_array_basic
• upstream/upstream_dvd
• upstream/upstream_exfalso
• upstream/upstream_false_or_by_contra
• upstream/upstream_flatten
• upstream/upstream_getAppFnArgs
• upstream/upstream_haveI
• upstream/upstream_hsmul
• upstream/upstream_inequality_lemmas
• upstream/upstream_injective
• upstream/upstream_insertIdx
• upstream/upstream_int
• upstream/upstream_int_init
• upstream/upstream_library_search
• upstream/upstream_list_offn
• upstream/upstream_logic
• upstream/upstream_monad_lemmas
• upstream/upstream_nat
• upstream/upstream_nat_init
• upstream/upstream_nat_recogniser
• upstream/upstream_natcast
• upstream/upstream_ne_of_mem_of_not_mem
• upstream/upstream_norm_cast_tests
• upstream/upstream_pairwise_iff_getElem
• upstream/upstream_rat
• upstream/upstream_reduce_eval
• upstream/upstream_set_notation
• upstream/upstream_simpa
• upstream/upstream_solve_by_elim
• upstream/upstream_std_syntax_helpers
• upstream/upstream_sum
• upstream/upstream_tests_2
• upstream/upstream_vector_lemmas
• upstream/use_IsPreorder_in_grind
• upstream/use_emptyset
• upstream/use_findFinIndex
• upstream/use_nightly-testing-YYYY-MM-DD
• upstream/user-borrow
• upstream/using_omega
• upstream/uubs
• upstream/v4.17.0-release-notes
• upstream/v4.22.0_with_stage0
• upstream/v4.3.0-release-notes
• upstream/v4.5.0-rc1-unused
• upstream/v4.9.0-rc2
• upstream/validate_release_tag
• upstream/variable_slowdown
• upstream/vcgen-frame-nested-base
• upstream/vector
• upstream/vector_algebra
• upstream/vector_algebra_public
• upstream/vector_beq
• upstream/vector_extract
• upstream/vector_gaps
• upstream/vector_lemmas
• upstream/vector_lemmas2
• upstream/vector_perm
• upstream/vector_set_any
• upstream/vector_swap_lemmas
• upstream/vector_tail_simp
• upstream/velcom-rounds
• upstream/verif-tests
• upstream/verify_version_tags
• upstream/verso-errex-fixes
• upstream/very-important-clarification
• upstream/vova/mvcgen'
• upstream/vova/mvcgen'-universes
• upstream/vova/mvcgen-with-syntax
• upstream/vova/new-do-foundations
• upstream/vova/new-mvcgen
• upstream/vova/new-proof-mode
• upstream/vova/repeat-inv
• upstream/vova/strip-top
• upstream/vs-code-completion
• upstream/vsc-dev-setup
• upstream/wasm-experiments
• upstream/weak_error
• upstream/weaken-dropLast-take
• upstream/website_prime_test
• upstream/wf-todo
• upstream/whats-mean-though
• upstream/where-info
• upstream/while_earlier
• upstream/whnf-cache-unfold
• upstream/whnf-matcher-cache
• upstream/whnf-trace
• upstream/whnfConfigFixes
• upstream/whnfConfigFixes2
• upstream/whnf_cache_key
• upstream/whnf_perf
• upstream/widget-diag-until
• upstream/win-128
• upstream/win-include
• upstream/windows-
• upstream/windows-ci-probe
• upstream/windows_dlls
• upstream/withAbstractAtoms_new
• upstream/withAssignableSyntheticOpaque_assumption
• upstream/withEarlyReturnNewDo
• upstream/withLocation_doc_string
• upstream/with_weak_namespace
• upstream/withtrace-except
• upstream/word-zero-counts
• upstream/worker-early-exit
• upstream/worker-too-lazy
• upstream/worktree-big-ctor-escape
• upstream/worktree-grind-bitvec2-no-bench
• upstream/worktree-lctx-foldlM-bail-out
• upstream/worktree-module-names-field
• upstream/worktree-print-axioms-server
• upstream/worktree-shake-add-downstream
• upstream/worktree-sym-pattern-telescopes
• upstream/worktree-variable-visibility
• upstream/worktree-windows-dll-split
• upstream/zetaDelta
• upstream/zetaPropagation
• upstream/zig
• upstream/zig-macos
• upstream/zig-pre
• upstream/zig-win
• upstream/zipIdx
• upstream/zipWithAll
• upstream/zoo