Commit 130d3cb

Lean stage0 autoupdater

committed

chore: update stage0

1 parent ae5db72 commit 130d3cbCopy full SHA for 130d3cb

1,245 files changed

+602616

-642915

lines changed

stage0/stdlib
- Init
  - Coe.c
  - Control
    - Basic.c
    - EState.c
    - Except.c
    - ExceptCps.c
    - Id.c
    - Option.c
    - Reader.c
    - State.c
    - StateCps.c
    - StateRef.c
  - Core.c
  - Data
    - AC.c
    - Array
      - Basic.c
      - BasicAux.c
      - BinSearch.c
      - DecidableEq.c
      - FinRange.c
      - Lemmas.c
      - Lex
        Basic.c
        Lemmas.c
      - QSort
        Basic.c
      - Subarray.c
    - BitVec
      - Basic.c
      - Bitblast.c
      - Decidable.c
    - Bool.c
    - ByteArray
      - Basic.c
    - Cast.c
    - Fin
      - Basic.c
      - Fold.c
      - Lemmas.c
    - Float.c
    - Float32.c
    - FloatArray
      - Basic.c
    - Format
      - Basic.c
      - Syntax.c
    - Hashable.c
    - Int
      - Basic.c
    - Iterators
      - Basic.c
      - Combinators/Monadic
        Attach.c
        FilterMap.c
        FlatMap.c
        Take.c
        ULift.c
      - Consumers
        Collect.c
        Loop.c
        Monadic
        Access.c
        Collect.c
        Loop.c
        Partial.c
        Partial.c
      - Internal
        Termination.c
      - Lemmas
        Basic.c
        Monadic
        Basic.c
      - PostconditionMonad.c
      - Producers/Monadic
        List.c
      - ToIterator.c
    - List
      - Basic.c
      - BasicAux.c
      - Control.c
      - FinRange.c
      - MapIdx.c
      - Monadic.c
      - Sort
        Impl.c
    - Nat
      - Basic.c
      - Control.c
      - Fold.c
      - Lemmas.c
      - Linear.c
    - OfScientific.c
    - Option
      - Basic.c
    - Order
      - FactoriesExtra.c
      - PackageFactories.c
    - Ord
      - Basic.c
      - SInt.c
      - String.c
      - UInt.c
    - Queue.c
    - RArray.c
    - Random.c
    - Range
      - Basic.c
      - Polymorphic
        Basic.c
        BitVec.c
        Int.c
        Internal
        SignedBitVec.c
        Iterators.c
        Nat.c
        PRange.c
        RangeIterator.c
        SInt.c
        Stream.c
        UInt.c
        UpwardEnumerable.c
    - Rat
      - Basic.c
    - Repr.c
    - SInt
      - Basic.c
    - Slice
      - Array
        Basic.c
        Iterator.c
      - Basic.c
      - List
        Basic.c
        Iterator.c
      - Notation.c
      - Operations.c
    - Stream.c
    - String
      - Decode.c
      - Defs.c
      - Extra.c
      - Iterator.c
      - Pattern
        Basic.c
        Char.c
        Pred.c
        String.c
      - PosRaw.c
      - Search.c
      - Slice.c
      - Substring.c
      - TakeDrop.c
      - Termination.c
      - ToSlice.c
    - Subtype
      - OrderExtra.c
    - ToString
      - Basic.c
      - Name.c
    - UInt
      - Basic.c
      - Lemmas.c
    - Vector
      - Basic.c
      - FinRange.c
      - Lemmas.c
      - Lex.c
      - OfFn.c
  - Dynamic.c
  - GetElem.c
  - GrindInstances
    - Ring
    - ToInt.c
  - Grind
    - AC.c
    - Config.c
    - Module
      - Basic.c
    - PP.c
    - Ring
    - ToInt.c
  - Internal/Order
    - Basic.c
  - MetaTypes.c
  - Meta
    - Defs.c
  - Notation.c
  - Omega
    - Coeffs.c
    - Constraint.c
    - IntList.c
    - LinearCombo.c
  - Prelude.c
  - PropLemmas.c
  - ShareCommon.c
  - SizeOf.c
  - System
    - FilePath.c
    - IO.c
    - Promise.c
    - ST.c
  - Tactics.c
  - TacticsExtra.c
  - Task.c
  - Try.c
  - Util.c
  - WF.c
  - While.c
- Lake
  - Build
  - CLI
    - Actions.c
    - Build.c
    - Init.c
    - Main.c
    - Serve.c
    - Translate.c
    - Translate
      - Lean.c
      - Toml.c
  - Config
  - DSL
  - Load
    - Config.c
    - Lean
      - Elab.c
      - Eval.c
    - Manifest.c
    - Materialize.c
    - Package.c
    - Resolve.c
    - Toml.c
  - Reservoir.c
  - Toml
    - Data
    - Decode.c
    - Elab
      - Expression.c
      - Value.c
    - Encode.c
    - Grammar.c
    - ParserUtil.c
  - Util
- Lean
- Std
  - Data
    - ByteSlice.c
    - DHashMap
      - Basic.c
      - Internal
        AssocList
        Basic.c
        Iterator.c
        Defs.c
        RawLemmas.c
        WF.c
      - Raw.c
      - RawDef.c
    - DTreeMap
      - Basic.c
      - Internal
        Cell.c
        Lemmas.c
        Model.c
        Operations.c
        Queries.c
        Zipper.c
      - Raw
        Basic.c
    - ExtDHashMap
      - Basic.c
    - ExtDTreeMap
      - Basic.c
    - ExtHashMap
      - Basic.c
    - ExtHashSet
      - Basic.c
    - ExtTreeMap
      - Basic.c
    - ExtTreeSet
      - Basic.c
    - HashMap
      - Basic.c
      - Raw.c
    - HashSet
      - Basic.c
      - Raw.c
    - Iterators
      - Combinators/Monadic
        Drop.c
        DropWhile.c
        StepSize.c
        TakeWhile.c
        Zip.c
      - Lemmas/Equivalence
        Basic.c
        HetT.c
      - Producers
        Monadic
        Array.c
        Empty.c
        Repeat.c
    - TreeMap
      - Basic.c
      - Raw
        Basic.c
    - TreeSet
      - Basic.c
      - Raw
        Basic.c
  - Do
    - PostCond.c
    - PredTrans.c
    - SPred
      - Notation
        Basic.c
      - SPred.c
      - SVal.c
    - Triple
      - SpecLemmas.c
    - WP
      - Basic.c
      - Monad.c
  - Internal
    - Async
    - Parsec
    - UV
      - Loop.c
      - System.c
  - Net
    - Addr.c
  - Sat
    - AIG
      - Basic.c
      - CNF.c
      - Cached.c
      - If.c
      - RefVec.c
      - RefVecOperator
        Map.c
      - RelabelNat.c
    - CNF
  - Sync
  - Tactic
    - BVDecide
      - Bitblast
        BVExpr
        Basic.c
        Circuit/Impl
        Carry.c
        Expr.c
        Operations
        Add.c
        Append.c
        Extract.c
        GetLsbD.c
        Replicate.c
        ShiftLeft.c
        ShiftRight.c
        Udiv.c
        Pred.c
        Var.c
        BoolExpr
        Basic.c
      - LRAT
        Actions.c
        Checker.c
        Internal
        Assignment.c
        Clause.c
        Convert.c
        Entails.c
        Formula
        Class.c
        Implementation.c
        LRATChecker.c
        PosFin.c
      - Reflect.c
      - Syntax.c
    - Do
      - Syntax.c
  - Time
    - DateTime
      - PlainDateTime.c
      - Timestamp.c
    - Date
      - Basic.c
      - PlainDate.c
      - Unit
        Day.c
        Weekday.c
        Year.c
      - ValidDate.c
    - Duration.c
    - Format.c
    - Format
      - Basic.c
    - Internal
      - Bounded.c
      - UnitVal.c
    - Time
      - HourMarker.c
      - PlainTime.c
      - Unit
        Second.c
    - Zoned.c
    - Zoned
      - Database
        Basic.c
        TZdb.c
        TzIf.c
        Windows.c
      - DateTime.c
      - Offset.c
      - TimeZone.c
      - ZoneRules.c
      - ZonedDateTime.c

1,245 files changed

+602616

-642915

lines changed

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

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

Comments

(0)