Commit 551e755

Lean stage0 autoupdater

committed

chore: update stage0

1 parent 082ca94 commit 551e755Copy full SHA for 551e755

75 files changed

+93477

-59128

lines changed

stage0
- src
  - stdlib_flags.h
- stdlib
  - Lake/Load/Lean
    - Elab.c
  - Lean
    - BuiltinDocAttr.c
    - Class.c
    - Compiler
    - Data/Lsp
    - DefEqAttrib.c
    - Elab
      - App.c
      - Command.c
      - ComputedFields.c
      - Declaration.c
      - Frontend.c
      - Import.c
      - InheritDoc.c
      - MutualDef.c
      - MutualInductive.c
      - PreDefinition/PartialFixpoint
        Main.c
      - Quotation
        Precheck.c
      - Tactic
        Basic.c
        Monotonicity.c
      - Term.c
      - Util.c
    - Meta
      - Coe.c
      - Instances.c
      - Match
        MatchPatternAttr.c
      - Tactic
        ElimInfo.c
        Grind
        Arith
        Linear.c
        Linear
        IneqCnstr.c
        Internalize.c
        Proof.c
        PropagateEq.c
        Search.c
        SearchM.c
        StructId.c
        Types.c
        Util.c
        Var.c
        Propagate.c
        Rfl.c
        Simp
        SimpCongrTheorems.c
        Symm.c
    - PrettyPrinter
      - Delaborator
        Attributes.c
        Basic.c
      - Formatter.c
      - Parenthesizer.c
    - Server
      - CodeActions
        Basic.c
        UnknownIdentifier.c
      - Completion
        ImportCompletion.c
      - FileWorker.c
      - FileWorker
        WidgetRequests.c
      - References.c
      - Rpc
        RequestHandling.c
      - Test
        Runner.c
      - Watchdog.c
    - Widget
  - Std
    - Data/Iterators/Combinators/Monadic
      - DropWhile.c
    - Tactic/BVDecide/LRAT/Internal
      - Assignment.c
      - Clause.c
      - Formula
        Implementation.c

75 files changed

+93477

-59128

lines changed

`‎stage0/src/stdlib_flags.h‎`

-Original file line number
+Diff line change
@@ @@ -1,7 +1,5 @@ @@
 #include "util/options.h"
 -// Please do a stage0 update, CI
+-
 namespace lean {
 options get_default_options() {
     options opts;

Comments

(0)