)]}'
{
  "commit": "c5a2e0931991adaefbfad51dfe4a84a1c0ff6a8e",
  "tree": "41512b1a70e5086386f940e97468314d0725025c",
  "parents": [
    "ab9722836dea9e2f5ca3157f14cc1460454b3a67"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jun 25 10:58:40 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jun 25 15:00:45 2026 +0000"
  },
  "message": "feat: load IR lazily\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6bfe759f4c1a3e2fbcf9f8da621101d6da6b3173",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/Checker.lean",
      "new_id": "b8e9e418210b6b64cff5616e019e4a749477f645",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/Checker.lean"
    },
    {
      "type": "modify",
      "old_id": "228b06ad5a72fbc0fd3515f59de814615329b97a",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/CompilerM.lean",
      "new_id": "409e42cf6bc09d19663de36aedb37e72c23f163c",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/CompilerM.lean"
    },
    {
      "type": "modify",
      "old_id": "1586d712fb94be305496c50b2447fd03deda13fd",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitLLVM.lean",
      "new_id": "d7d41ccd2854c039bc5c792e568197b2e347c3c3",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitLLVM.lean"
    },
    {
      "type": "modify",
      "old_id": "85e2af84af2515ac600c17ff08f48ad42033b091",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/InitAttr.lean",
      "new_id": "d5d1fe7471f6b7f0ba8997b774c4b8340771e69a",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/InitAttr.lean"
    },
    {
      "type": "modify",
      "old_id": "55d9349922caca962355b592fb556e2a5b699fdd",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/Basic.lean",
      "new_id": "2978f222940a4f8c57c2ec392d7f9f9e2aaf64ac",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "47df421592197e893440331c22ac53bd01a7273f",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/PhaseExt.lean",
      "new_id": "4441d65fdb7d21d379fdd0ce649f98512222d678",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/PhaseExt.lean"
    },
    {
      "type": "modify",
      "old_id": "4adac739627b260e5454d47140bd2e729b8760ff",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/PersistentArray.lean",
      "new_id": "4af7c64275bddcc9465247adc9442e946c6e404e",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/PersistentArray.lean"
    },
    {
      "type": "modify",
      "old_id": "4a75d36922cf0251a5f064bab1061cbd04f9853a",
      "old_mode": 33188,
      "old_path": "src/Lean/DocString/Extension.lean",
      "new_id": "997993cf1c29ce8dcfbbf7d394f8aeb763642c53",
      "new_mode": 33188,
      "new_path": "src/Lean/DocString/Extension.lean"
    },
    {
      "type": "modify",
      "old_id": "8451c303b091ea9fb79a383fcb72700311155e7b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "40c652c7c3a61b3f5d30ee466fc866e738d53860",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "f419f1495a77e8a852468c18a16123b150c4d6ad",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "74150eed8bebf862f67cc85cd93bb6db6b611829",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "69705ed1915d832160f22d456208cc6299099e74",
      "old_mode": 33188,
      "old_path": "src/Lean/KeyedDeclsAttribute.lean",
      "new_id": "e92b6c5e89753dd07d96c58b34a0e83d9f69a312",
      "new_mode": 33188,
      "new_path": "src/Lean/KeyedDeclsAttribute.lean"
    },
    {
      "type": "modify",
      "old_id": "6cfebbfb1072a6a61b88f9d8d6588e9404b8d0e3",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/CodeActions/Attr.lean",
      "new_id": "e460ea62ed4c1d37ccb7f5ef9eb0298c6646a934",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/CodeActions/Attr.lean"
    },
    {
      "type": "modify",
      "old_id": "a95112b90e8b54756112e01a10e865971d6ac986",
      "old_mode": 33188,
      "old_path": "src/LeanIR.lean",
      "new_id": "56cda846f1c27a4f535e8230cd3a182deed20519",
      "new_mode": 33188,
      "new_path": "src/LeanIR.lean"
    },
    {
      "type": "modify",
      "old_id": "88d63338824865b81fb56894fe1cd23b07d5383b",
      "old_mode": 33188,
      "old_path": "stage0/src/stdlib_flags.h",
      "new_id": "753fbb07df8eaa973cfb4e61fb84dc3ae1a0c686",
      "new_mode": 33188,
      "new_path": "stage0/src/stdlib_flags.h"
    },
    {
      "type": "modify",
      "old_id": "beb6f275fa5c4568a97032184e549e43e81a3cd0",
      "old_mode": 33188,
      "old_path": "tests/elab/structure.lean",
      "new_id": "96d1f0ff698a304dc5e94b74aaf43e730d0dae14",
      "new_mode": 33188,
      "new_path": "tests/elab/structure.lean"
    },
    {
      "type": "modify",
      "old_id": "fa6a24d7dcdfaa4c50f4e27702838d2779e474f2",
      "old_mode": 33188,
      "old_path": "tests/pkg/leanchecker/LeanCheckerTests/ReplaceAxiom.lean",
      "new_id": "41b62092f00c1140f35118ff9dc1b8aa4190853a",
      "new_mode": 33188,
      "new_path": "tests/pkg/leanchecker/LeanCheckerTests/ReplaceAxiom.lean"
    },
    {
      "type": "modify",
      "old_id": "7f0c1de54163b457e05fefca5ef40a1702972e9c",
      "old_mode": 33188,
      "old_path": "tests/pkg/module/Module/MetaImported.lean",
      "new_id": "1843dba60c0958577171528a6d2d81a2cd43842f",
      "new_mode": 33188,
      "new_path": "tests/pkg/module/Module/MetaImported.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "fa735535af7b43115ccc4c35d90b628e6ab2b161",
      "new_mode": 33188,
      "new_path": "tests/pkg/module/Module/MetaPrivCallee.lean"
    },
    {
      "type": "modify",
      "old_id": "bf3dc98184345ebdfa52fb5e7facefabbe9a331c",
      "old_mode": 33188,
      "old_path": "tests/pkg/module/Module/PrivateImported.lean",
      "new_id": "51b04870a4d8248ed377afa89ea18dc5aabe2b69",
      "new_mode": 33188,
      "new_path": "tests/pkg/module/Module/PrivateImported.lean"
    }
  ]
}