Commit 1795f53

committed

chore: update stage0

1 parent 41f51fe commit 1795f53Copy full SHA for 1795f53

90 files changed

+25786

-20038

lines changed

stage0/stdlib
- Init
  - Data
    - Array
      - Basic.c
      - Lemmas.c
      - QSort
        Basic.c
    - Range
      - Basic.c
    - Vector
      - Basic.c
  - GetElem.c
  - Grind
    - Module
      - Basic.c
    - Ordered.c
    - Ordered
      - Linarith.c
    - ToInt.c
  - Meta.c
  - Tactics.c
- Lake/Load
  - Toml.c
- Lean
  - Attributes.c
  - Compiler
  - Data/Lsp
    - Internal.c
  - Elab
    - App.c
    - Binders.c
    - BuiltinNotation.c
    - Command.c
    - Declaration.c
    - DefView.c
    - Do.c
    - Extra.c
    - InfoTree
      - Main.c
    - Match.c
    - MutualDef.c
    - PreDefinition
      - FixedParams.c
    - Print.c
    - Quotation.c
    - StructInst.c
    - Syntax.c
    - SyntheticMVars.c
    - Tactic.c
    - Tactic
      - BVDecide/Frontend
        Attr.c
      - Basic.c
      - ElabTerm.c
      - Induction.c
      - Rewrite.c
      - Simp.c
    - Term.c
    - Util.c
  - Language
    - Lean.c
  - Linter
    - UnusedVariables.c
  - Meta
    - AppBuilder.c
    - Basic.c
    - IndPredBelow.c
    - Instances.c
    - Match
      - MatchEqs.c
    - RecursorInfo.c
    - Tactic
      - Cases.c
      - FunInd.c
      - Grind
        Arith/Cutsat
        Model.c
        Attr.c
        Beta.c
        Core.c
        EMatch.c
        Ext.c
        ForallProp.c
        Internalize.c
        Intro.c
        Inv.c
        Lookahead.c
        MBTC.c
        Main.c
        PP.c
        PropagatorAttr.c
        Split.c
        Types.c
      - Induction.c
      - Simp
        Attr.c
        Simproc.c
  - Parser
    - Command.c
    - Extension.c
  - Server
    - CodeActions
      - Basic.c
      - UnknownIdentifier.c
    - Completion
      - ImportCompletion.c
    - FileWorker.c
    - FileWorker
      - RequestHandling.c
      - SemanticHighlighting.c
    - References.c
    - Test
      - Runner.c
    - Watchdog.c

90 files changed

+25786

-20038

lines changed

`‎stage0/stdlib/Init/Data/Array/Basic.c‎`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)