Commit a1ed0b3

committed

chore: update stage0

1 parent cd188fc commit a1ed0b3Copy full SHA for a1ed0b3

290 files changed

+100923

-104777

lines changed

stage0/stdlib
- Init
  - Core.c
  - Data
    - AC.c
    - Array
    - Float.c
    - Float32.c
    - Hashable.c
    - Int
      - Linear.c
    - List
      - FinRange.c
      - Impl.c
      - Monadic.c
      - OfFn.c
      - Sort
        Impl.c
      - ToArray.c
      - Zip.c
    - Nat
      - Linear.c
    - Option
    - Ord.c
    - SInt
      - Basic.c
    - String
      - Lemmas.c
    - Sum
      - Basic.c
    - UInt
      - Basic.c
      - BasicAux.c
    - Vector
  - Grind
    - CommRing
    - CommRing.c
    - Module
      - Basic.c
      - Int.c
    - Module.c
  - Grind.c
  - Notation.c
  - Prelude.c
  - WF.c
- Lake
  - Build
  - CLI
    - Main.c
    - Serve.c
  - Config
    - Env.c
    - InstallPath.c
  - DSL
  - Load
    - Toml.c
  - Util
    - Name.c
- Lean
  - Compiler
    - IR
    - LCNF
  - CoreM.c
  - Data/Json
    - Basic.c
  - Elab
    - App.c
    - AuxDef.c
    - BinderPredicates.c
    - Binders.c
    - BuiltinCommand.c
    - BuiltinEvalCommand.c
    - BuiltinNotation.c
    - BuiltinTerm.c
    - Calc.c
    - CheckTactic.c
    - Command.c
    - ComputedFields.c
    - DeclNameGen.c
    - Declaration.c
    - Deriving
      - BEq.c
      - Basic.c
      - DecEq.c
      - Hashable.c
      - Inhabited.c
      - Nonempty.c
      - Ord.c
      - Repr.c
      - ToExpr.c
    - Do.c
    - ElabRules.c
    - Extra.c
    - GenInjective.c
    - GuardMsgs.c
    - Inductive.c
    - InfoTrees.c
    - LetRec.c
    - Macro.c
    - MacroRules.c
    - Match.c
    - MatchAltView.c
    - MatchExpr.c
    - Mixfix.c
    - MutualDef.c
    - MutualInductive.c
    - Notation.c
    - PatternVar.c
    - PreDefinition
      - FixedParams.c
      - Mutual.c
      - Structural
        FindRecArg.c
        IndGroupInfo.c
        Main.c
        RecArgInfo.c
        SmartUnfolding.c
      - TerminationMeasure.c
      - WF
        Preprocess.c
        Rel.c
    - Print.c
    - Quotation
      - Precheck.c
    - Quotation.c
    - RecommendedSpelling.c
    - StructInst.c
    - Structure.c
    - Syntax.c
    - Tactic
      - AsAuxLemma.c
      - BVDecide/Frontend
        BVCheck.c
        BVDecide.c
        BVTrace.c
        Normalize
        AC.c
        IntToBitVec.c
        Simproc.c
        Normalize.c
      - BuiltinTactic.c
      - Calc.c
      - Change.c
      - Classical.c
      - Config.c
      - Congr.c
      - Conv
        Basic.c
        Change.c
        Congr.c
        Delta.c
        Lets.c
        Pattern.c
        Rewrite.c
        Simp.c
        Unfold.c
      - Delta.c
      - DiscrTreeKey.c
      - Doc.c
      - ElabTerm.c
      - ExposeNames.c
      - Ext.c
      - FalseOrByContra.c
      - Generalize.c
      - Grind.c
      - Guard.c
      - Induction.c
      - Injection.c
      - Lets.c
      - LibrarySearch.c
      - Match.c
      - Monotonicity.c
      - NormCast.c
      - Omega
        Frontend.c
      - RCases.c
      - Repeat.c
      - Rewrite.c
      - Rewrites.c
      - Rfl.c
      - ShowTerm.c
      - Simp.c
      - SimpArith.c
      - SimpTrace.c
      - Simpa.c
      - Simproc.c
      - SolveByElim.c
      - Split.c
      - Symm.c
      - Try.c
      - Unfold.c
    - Time.c
  - Environment.c
  - Expr.c
  - Linter
    - MissingDocs.c
    - UnusedVariables.c
  - LoadDynlib.c
  - Meta
    - Canonicalizer.c
    - Match
      - Basic.c
      - Match.c
    - Tactic
      - AC
        Main.c
      - Backtrack.c
      - ElimInfo.c
      - Grind
        Arith
        CommRing
        EqCnstr.c
        Poly.c
        Proof.c
        RingId.c
        Types.c
        Cutsat
        DvdCnstr.c
        Main.c
        EMatchTheorem.c
        ForallProp.c
        Internalize.c
        MarkNestedProofs.c
        MatchCond.c
        MatchDiscrOnly.c
        Parser.c
        Propagate.c
        SimpUtil.c
        Types.c
        Util.c
      - Repeat.c
      - Simp/BuiltinSimprocs
        Array.c
        BitVec.c
        Char.c
        Core.c
        Fin.c
        Int.c
        List.c
        Nat.c
        SInt.c
        String.c
        UInt.c
      - Try
        Collect.c
      - TryThis.c
    - Transform.c
  - Parser
  - Parser.c
  - PremiseSelection.c
  - PrettyPrinter
    - Delaborator
      - Builtins.c
    - Parenthesizer.c
  - Server
    - CodeActions
      - Provider.c
    - FileWorker
    - Rpc
      - Deriving.c
  - Structure.c
  - Widget
- Std
  - Data
    - DHashMap/Internal
    - DTreeMap/Internal
    - Internal/List
      - Associative.c
  - Sat/AIG
    - CachedLemmas.c
  - Tactic/BVDecide
    - Bitblast/BVExpr
      - Basic.c
      - Circuit
        Impl
        Expr.c
        Pred.c
        Substructure.c
        Lemmas
        Expr.c
        Pred.c
    - LRAT/Internal
  - Time
    - DateTime
      - Timestamp.c
    - Duration.c

290 files changed

+100923

-104777

lines changed

`‎stage0/stdlib/Init/Core.c`

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

`‎stage0/stdlib/Init/Data/AC.c`

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

Comments

(0)