Commit fbe3221

Lean stage0 autoupdater

committed

chore: update stage0

1 parent ce85346 commit fbe3221Copy full SHA for fbe3221

64 files changed

stage0/stdlib
- Init/Data
  - List/Nat
    - Pairwise.c
  - SInt.c
  - SInt
  - UInt.c
  - UInt
- Lake
  - Build
  - Config
- Lean
  - Compiler/LCNF
    - ElimDead.c
    - Simp.c
    - Simp
  - DocString
  - Elab
    - BuiltinTerm.c
    - DeclModifiers.c
    - Declaration.c
    - DefView.c
    - DocString.c
    - DocString
      - Builtin.c
      - Builtin
        Keywords.c
        Parsing.c
    - Inductive.c
    - LetRec.c
    - MutualDef.c
    - MutualInductive.c
    - PreDefinition
      - Basic.c
    - Structure.c
    - Tactic.c
    - Tactic
      - AutoTry.c
      - Do/Internal/VCGen
        Reduce.c
      - Grind
        Have.c
      - Impossible.c
      - Try.c
    - Term
      - TermElabM.c
  - ImportingFlag.c
  - Level.c
  - Meta/Tactic
    - BVDecide
      - Counterexample.c
      - Normalize
        IntToBitVec.c
        Structures.c
    - Cbv
      - Main.c
    - Grind.c
    - Grind
    - Revert.c
  - Parser
    - Command.c
- Std/Internal/Do
  - Assertion.c
  - Order
    - Basic.c
    - Instances.c

`‎stage0/stdlib/Init/Data/List/Nat/Pairwise.c‎`

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

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

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

Comments

(0)