Commit f2da84f

committed

update stage0

1 parent b2a4183 commit f2da84fCopy full SHA for f2da84f

42 files changed

+75966

-45829

lines changed

stage0
- src
  - lean.mk.in
  - library
    - ir_interpreter.cpp
- stdlib
  - Lake
    - Config
      - Meta.c
    - Load
      - Toml.c
  - Lean
    - Compiler
      - IR.c
      - IR
        Basic.c
        Borrow.c
        Boxing.c
        Checker.c
        EmitC.c
        EmitLLVM.c
        EmitUtil.c
        ExpandResetReuse.c
        Format.c
        FreeVars.c
        LiveVars.c
        NormIds.c
        RC.c
        ResetReuse.c
        StructRC.c
        ToIR.c
        ToIRType.c
    - Elab
      - BuiltinCommand.c
      - BuiltinTerm.c
      - MutualDef.c
      - PreDefinition/WF
        Main.c
      - Tactic
        Do
        VCGen.c
        VCGen
        Basic.c
        Split.c
        Grind
        Param.c
        Simp.c
    - MetavarContext.c
    - Meta
      - IndPredBelow.c
      - Instances.c
      - Match
        Rewrite.c
      - Tactic
        FunInd.c
        Simp
        Diagnostics.c
        SolveByElim.c
        UnifyEq.c
    - Server
      - InfoUtils.c
      - Test
        Runner.c
    - Widget
      - InteractiveDiagnostic.c

42 files changed

+75966

-45829

lines changed

`‎stage0/src/lean.mk.in‎`

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

`‎stage0/src/library/ir_interpreter.cpp‎`

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

Comments

(0)