Commit b9dc37b

committed

chore: update stage0

1 parent 6ad4217 commit b9dc37bCopy full SHA for b9dc37b

198 files changed

+83068

-81906

lines changed

stage0/stdlib
- Init
  - Data
    - AC.c
    - Array
      - Lemmas.c
      - Monadic.c
    - Int
      - Linear.c
    - List
      - Impl.c
      - Monadic.c
      - Sort
        Impl.c
      - ToArray.c
      - Zip.c
    - Nat
      - Linear.c
  - Grind/CommRing
    - Poly.c
- Lake
  - Build
  - CLI
    - Main.c
    - Serve.c
  - Config
    - Env.c
    - InstallPath.c
  - DSL
  - Load
    - Toml.c
  - Util
    - Name.c
- Lean
  - Elab
    - App.c
    - AuxDef.c
    - BinderPredicates.c
    - Binders.c
    - BuiltinCommand.c
    - BuiltinEvalCommand.c
    - BuiltinNotation.c
    - BuiltinTerm.c
    - Calc.c
    - CheckTactic.c
    - DeclNameGen.c
    - Declaration.c
    - Deriving
      - Basic.c
    - Do.c
    - ElabRules.c
    - Extra.c
    - GenInjective.c
    - GuardMsgs.c
    - Inductive.c
    - InfoTrees.c
    - LetRec.c
    - Macro.c
    - MacroRules.c
    - Match.c
    - MatchExpr.c
    - Mixfix.c
    - Notation.c
    - PreDefinition/WF
      - Preprocess.c
    - Print.c
    - Quotation.c
    - Quotation
      - Precheck.c
    - RecommendedSpelling.c
    - StructInst.c
    - Structure.c
    - Syntax.c
    - Tactic
      - AsAuxLemma.c
      - BVDecide/Frontend
        BVCheck.c
        BVDecide.c
        BVTrace.c
        Normalize.c
        Normalize
        ApplyControlFlow.c
        Simproc.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
  - Linter
    - MissingDocs.c
  - LoadDynlib.c
  - Meta
    - Canonicalizer.c
    - DiscrTree.c
    - DiscrTreeTypes.c
    - Instances.c
    - LazyDiscrTree.c
    - Tactic
      - AC
        Main.c
      - Backtrack.c
      - Ext.c
      - Grind
        Arith
        CommRing
        Poly.c
        Cutsat
        DvdCnstr.c
        Main.c
        ForallProp.c
        MatchCond.c
        MatchDiscrOnly.c
        Parser.c
        Propagate.c
        SimpUtil.c
        Types.c
        Util.c
      - Repeat.c
      - Rfl.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
        SimpTheorems.c
        Simproc.c
      - Symm.c
      - TryThis.c
    - UnificationHint.c
  - Parser.c
  - Parser
  - PremiseSelection.c
  - PrettyPrinter
    - Delaborator
      - Builtins.c
    - Parenthesizer.c
  - Server/CodeActions
    - Provider.c
- Std
  - Data
    - DHashMap/Internal
    - DTreeMap/Internal
  - Sat/AIG
    - CachedLemmas.c
  - Tactic/BVDecide
    - Bitblast/BVExpr/Circuit
      - Impl
        Expr.c
        Pred.c
        Substructure.c
      - Lemmas
        Expr.c
        Pred.c
    - LRAT/Internal

198 files changed

+83068

-81906

lines changed

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

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

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

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

Comments

(0)