)]}' { "commit": "583950a3c5421695096fcbbcccb5bdb2dd998819", "tree": "6ca0a9c9349f7797f09c1f3a565c560f15ff670a", "parents": [ "231808c17cfcc09c48a9e599d41eb3bccf1426e3" ], "author": { "name": "Leonardo de Moura", "email": "leomoura@amazon.com", "time": "Tue May 14 09:52:45 2024 -0700" }, "committer": { "name": "Leonardo de Moura", "email": "leomoura@amazon.com", "time": "Tue May 14 09:52:45 2024 -0700" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "80120a38b89d897fdf8aa1867ea322e742ba2b4f", "old_mode": 33188, "old_path": "stage0/src/include/lean/lean.h", "new_id": "c189c6235e2ded710efea82f2e7b8cf3bf13027c", "new_mode": 33188, "new_path": "stage0/src/include/lean/lean.h" }, { "type": "modify", "old_id": "4dddd7afc0b5df97d549dcc9067a833d2ba54189", "old_mode": 33188, "old_path": "stage0/src/runtime/io.cpp", "new_id": "fe4a232d9c712ea6cae05f8f0b74cf1f2cef9046", "new_mode": 33188, "new_path": "stage0/src/runtime/io.cpp" }, { "type": "modify", "old_id": "89af9b2604fa43e7b21d1e8c4b890f703b106fb5", "old_mode": 33188, "old_path": "stage0/src/runtime/object.cpp", "new_id": "262227eb5e8ffe32e7df5793a6c19826dc6e6f05", "new_mode": 33188, "new_path": "stage0/src/runtime/object.cpp" }, { "type": "modify", "old_id": "04f13fe1b6424c076b858a7a171bced76dcd1cec", "old_mode": 33188, "old_path": "stage0/src/runtime/object.h", "new_id": "f9bf12d6c2da2b0cb6c29b4e0b8c3ba6caec83cf", "new_mode": 33188, "new_path": "stage0/src/runtime/object.h" }, { "type": "modify", "old_id": "1f5d22d2434c204571459f4f0990ba20a3d1fb03", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/EState.c", "new_id": "ea860e91963c9e7f1f10f2e97fecf4e6784bf491", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/EState.c" }, { "type": "modify", "old_id": "347b985a0be2d72e2ba1b1b8f36f774b7e9bfc5f", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/Except.c", "new_id": "d0ec38e99961f5b210de68d2a2627d2af5157cd1", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/Except.c" }, { "type": "modify", "old_id": "8b5b459cc90569ae63c9c0d3f1c955dbbaf46704", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/State.c", "new_id": "0157cba18e21b4c69928e9ed45311972983b7762", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/State.c" }, { "type": "modify", "old_id": "42c79104488233ea650ba98435d76365857f9eef", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/AC.c", "new_id": "61d745685ee67b193a5a9a1a34dcb405357415d6", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/AC.c" }, { "type": "modify", "old_id": "a5f89192ba11e6eada3fe5159f7b4b167e14938f", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/Basic.c", "new_id": "3f9680e3cd80ff6fc64c168be6c5bd1a36614e8b", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/Basic.c" }, { "type": "modify", "old_id": "76b2516f6c3d29ee7fc38d36f670bd084dc8cbc1", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/Subarray.c", "new_id": "ebff274ab5b913774a37a50cc20a1cfd6916f1ab", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/Subarray.c" }, { "type": "modify", "old_id": "1eeb901365b4135c72b498eea4f9873f376b6c68", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Format/Basic.c", "new_id": "cbae0509474079ed36f9c77a4f2ff0297dcf571c", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Format/Basic.c" }, { "type": "modify", "old_id": "812529a4ffffc28f1f6c41a7654c4d71cba279e8", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Format/Instances.c", "new_id": "a4863ab66def5c61e64430c7a7cfea7779feeffc", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Format/Instances.c" }, { "type": "modify", "old_id": "9e4e463bdb6c16347805fe40a38dd396b7ee1c84", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/Basic.c", "new_id": "282db405e72ae4eaac2f5aa3706e1d1b4f645371", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Basic.c" }, { "type": "modify", "old_id": "a4de1aed2faff25854210e0b2ecdde889623eb78", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/Impl.c", "new_id": "19b51d5e369304de1a5407ddc10c30a12c6ef8a0", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Impl.c" }, { "type": "modify", "old_id": "dfa705e4f68937fd490a26a735afbddce0b84955", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Nat/Linear.c", "new_id": "0ea3fd0c5764ae9a3217248560c73f5d4584ae41", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Nat/Linear.c" }, { "type": "modify", "old_id": "153e0b23973088990f3a8240e497c8fe778daa49", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Queue.c", "new_id": "e3ecd2a52d13b963dfc4e3f96c2704f2614acf39", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Queue.c" }, { "type": "modify", "old_id": "005ad4e24ad051a9df69f55674e727cdcb630cd4", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Random.c", "new_id": "1765e581d7a9686e64b495d2aa05703a86b2af02", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Random.c" }, { "type": "modify", "old_id": "f5977b11f8f64fcc322b85cab0c8d6e3422b0f95", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Repr.c", "new_id": "4d9aa8d01272a96d3ad2fbe8b969c3a77b256d17", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Repr.c" }, { "type": "modify", "old_id": "86b194fd46a54849293d24b7eac961ccd5f0a9df", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Stream.c", "new_id": "3b2c2845bede7282657a164c2fd43d1cd355871d", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Stream.c" }, { "type": "modify", "old_id": "4e3403a105735a3cd8c648783f6fdccddf9c8d4c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Sum.c", "new_id": "34572b5b42d94eed0cb7d9abb9ed333601e251ae", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Sum.c" }, { "type": "modify", "old_id": "9980ab51a0413f1a511308bc3f5ab2088d282e49", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Meta.c", "new_id": "5ac003863009696e9ebfaf5f79481b0a2839c2a0", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Meta.c" }, { "type": "modify", "old_id": "80dcec8520648f96972e0bf7e65fb0a98c5ee63b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/NotationExtra.c", "new_id": "ef6a8d4f51873e786f22d60f9b874c5dcf30555e", "new_mode": 33188, "new_path": "stage0/stdlib/Init/NotationExtra.c" }, { "type": "modify", "old_id": "57e5878319b407e6ec978ea5da8d0929c47ff659", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Omega/Constraint.c", "new_id": "da265697b538b756a97b92242bed4648853e7394", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Omega/Constraint.c" }, { "type": "modify", "old_id": "28e92ee5682f6582637c4cc0033e20c9d65e078d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Omega/LinearCombo.c", "new_id": "7292aae525dcc4b55a18febaee76f36e0e5c3983", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Omega/LinearCombo.c" }, { "type": "modify", "old_id": "54093034feab152b015ffbfd6ac5c9454fbad638", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Prelude.c", "new_id": "4eb2e12d0b50238ee0c2bb562c5c497d7fdfecf2", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Prelude.c" }, { "type": "modify", "old_id": "7c3651f3c94a0d3b4295cb012cbc837e07573591", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IO.c", "new_id": "8f98614612cbcd0b38dd1e17933f0e12cf51281a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IO.c" }, { "type": "modify", "old_id": "c6531641dc2a4ef63ffb7360830b70953a066364", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Tactics.c", "new_id": "8f60c456c7f5f643ec54476917900bc9285eb4d2", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Tactics.c" }, { "type": "modify", "old_id": "ab5b0a4cde3f4f7508643828f0c03c1cfd8cea41", "old_mode": 33188, "old_path": "stage0/stdlib/Init/TacticsExtra.c", "new_id": "794a5736818363b37100f12c8bdef3cb7debf9aa", "new_mode": 33188, "new_path": "stage0/stdlib/Init/TacticsExtra.c" }, { "type": "modify", "old_id": "50e8ece93195d6c58f4ca6d092d09017f402477b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/AddDecl.c", "new_id": "389e194e277d4402b8e5790859b21c2c8257573f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/AddDecl.c" }, { "type": "modify", "old_id": "6724954261e549f6b612604970a31f43faab196f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Attributes.c", "new_id": "a8ac58471a0c77d6ae1944f921f23e9dae6549b5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Attributes.c" }, { "type": "modify", "old_id": "f2bbf15518a6c7920b6b1e3b9cc4409a7e9d9f11", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Class.c", "new_id": "a6402615c81a85cf0229f70a212e27ebf9de35ad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Class.c" }, { "type": "modify", "old_id": "9c3e8b2aa65358e8643d0480ef8075ea4749528e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c", "new_id": "3d1f24d491b546f242a14cec67fba89e874d6bac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c" }, { "type": "modify", "old_id": "862a690a3d11781e947fd4f82b58b899eb3d60a6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ClosedTermCache.c", "new_id": "2767cb20be4b6753ab55437c5a28b51cb8fc6379", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ClosedTermCache.c" }, { "type": "modify", "old_id": "fc9a6587a1daeeec12b4e169db4fc0a8814e3e11", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ConstFolding.c", "new_id": "702d95d236e39ce98998ef47a96e35dfea4c2624", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ConstFolding.c" }, { "type": "modify", "old_id": "4e08bdd1cb5f9480b7be434986bc69f960fbf4a6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c", "new_id": "0fed7f9c70999f61dd06a14a6706fa8a58bdaa8c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c" }, { "type": "modify", "old_id": "0a67fa4a64b19a6bfb74988fd6d6ea4f4cda3eb2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR.c", "new_id": "7e2fdc9012c3cbfb1d0fd92b88d39a5c7d92a358", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR.c" }, { "type": "modify", "old_id": "5b36526b802423bcdf46a784e365a760c5a38f34", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c", "new_id": "cd5bb55a83b0a68d3de451cd9b346404b54c9281", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c" }, { "type": "modify", "old_id": "ed40ce972051de3cdb8c9de1564f3f21783bc938", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c", "new_id": "e6d8dba05965620a1c56f993f9c23a1b2f41029e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c" }, { "type": "modify", "old_id": "052cd7e4cd4c8396ea7211b05146365f6c456787", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Boxing.c", "new_id": "515b14f9464a94ca7737b026098c49bb63fa9710", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Boxing.c" }, { "type": "modify", "old_id": "115d7b6b9b31854363344e192e5c48923c10f41a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Checker.c", "new_id": "aea0975244e438a203e2d2f564a199e411e3753d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Checker.c" }, { "type": "modify", "old_id": "578d04e08b45625009bbbd47ce61f41e793a9aed", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c", "new_id": "c9e0bc4ffe41f9679474c038a10459ce9b94ddd3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c" }, { "type": "modify", "old_id": "09c2f60a7e63dbdb7b1bf30915d731738b76e8c6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/CtorLayout.c", "new_id": "3535c7452c631d25bce58dd891cc1520990e1bf4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/CtorLayout.c" }, { "type": "modify", "old_id": "1e0cfd27e26093e12f913963069e2645866414aa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c", "new_id": "b6620458d3330400a7ea7cfa490ae810e2f4bdd9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c" }, { "type": "modify", "old_id": "8cd368030e6b9fdc76a369f68ef7c7ae8530723a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c", "new_id": "e21e3e32563f971970f440ff938a8a1a222c3d0e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c" }, { "type": "modify", "old_id": "7d6b7de96d77116e36d6ae3c9606774863319b9b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c", "new_id": "134e339d9184f572fdfc069f37c7dac4f83964ca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c" }, { "type": "modify", "old_id": "c609ec4601e8084f5a7e7f5c778920bff2eb932e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitUtil.c", "new_id": "98f19446889f3c0e9510b0d72597285cb9611419", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitUtil.c" }, { "type": "modify", "old_id": "48cddf88d859ce28c8aae11f84c815d8e69b2d1c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ExpandResetReuse.c", "new_id": "ac025d0cffd466e54e2376f09c39d476376eb438", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ExpandResetReuse.c" }, { "type": "modify", "old_id": "6e1d59b0d7c34d731c9bd9ac2e023aa62fe76e91", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Format.c", "new_id": "0cd19b399e566265386d98b270bda23ed39acd90", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Format.c" }, { "type": "modify", "old_id": "9c17bcc51c263fbd4080ab49f6e93e1a694206d3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/LiveVars.c", "new_id": "81c4e2d243d456922d1c9e3bb594849fbb4e1643", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/LiveVars.c" }, { "type": "modify", "old_id": "231f7c546943e1ed4bfefeb011db9053eff6bb00", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/NormIds.c", "new_id": "99d7defa0fc3b39d1b6ec68a207284eacb5b7105", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/NormIds.c" }, { "type": "modify", "old_id": "3412cae2ddf63a389107695ae1d5a0e0c7109579", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/PushProj.c", "new_id": "000ec5743067ed61f694e2734073fb3a0ab2735f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/PushProj.c" }, { "type": "modify", "old_id": "93c6c977634c84ade26caef5545cf9667c6be3c5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ResetReuse.c", "new_id": "a3861d753d885a3954b5bcf1a05189caa002ee50", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ResetReuse.c" }, { "type": "modify", "old_id": "13bcbbc4803af364d3b4043ad34e0b98940c2e41", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/SimpCase.c", "new_id": "456146467a71fe236959f2229801ec28a265397d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/SimpCase.c" }, { "type": "modify", "old_id": "35c044e7c5fc811b27aaf56912bc4bd025a5810c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Sorry.c", "new_id": "a748e114661ca1eb47821ee99b8cce4f08c8de3e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Sorry.c" }, { "type": "modify", "old_id": "4baffe273b5d9e995c87b45a4642b92e9561fec6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c", "new_id": "ef6e16e255d7773ada7c25c5823a8b1ccdcc28a2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c" }, { "type": "modify", "old_id": "f732d506affad28c8798a0fedbfed0430d05d1fe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InitAttr.c", "new_id": "c8ae477bacafab233265f251c1167659f37b7f62", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InitAttr.c" }, { "type": "modify", "old_id": "f7a8d18fe77f3a2bfa18ac41a085f8893d4e6c9b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c", "new_id": "21093858454470f1165f1794bf3d5ac8629edb0d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c" }, { "type": "modify", "old_id": "1439595f6ede41f38b128f5e94e761aa8e3fd0c3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c", "new_id": "fdb70c079237177daad5ceba557dd458a44acd45", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c" }, { "type": "modify", "old_id": "1dfc215a34def80b3df0e3958fb51f68d3be2738", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/BaseTypes.c", "new_id": "a836f3b4da06fa82b9e3c705e71eda96736ea939", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/BaseTypes.c" }, { "type": "modify", "old_id": "8b4130b26d568bb3d1c55e90503449208ec36f08", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c", "new_id": "0324aac867762ce1831fdcd329e189f8430046d1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c" }, { "type": "modify", "old_id": "f7b6093108ed4fa351f26fbbca6002249696a8a6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Bind.c", "new_id": "24ec930b6e02f2ac7b20552dd115d8985b49fe74", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Bind.c" }, { "type": "modify", "old_id": "67aac156fe968b1be9a558413d531bd5cc53286f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c", "new_id": "682eb48627e53dc76af69af14ba4d66ec5cad59d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c" }, { "type": "modify", "old_id": "17863a9274a86725a813519b7b479f830b232bda", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c", "new_id": "34ebcd597114b748ecfa061d4f3bf62c73d83017", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c" }, { "type": "modify", "old_id": "6b7ab5c140a9a62cdb02bd89ff666fd6bdef39b3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c", "new_id": "d8a1e1eb81e636828e118cc452edbf2061f5e6a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c" }, { "type": "modify", "old_id": "c401b7edd86173374234a2ea0b78a2950c5233e2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c", "new_id": "d5a3fac0555207003530de45d6ed4ba783699cda", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c" }, { "type": "modify", "old_id": "bf74ea8141793a7b512d54f546016a1984f1e03a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c", "new_id": "11bfe77f4d04e384ab9333c9d8fb0423afee489b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c" }, { "type": "modify", "old_id": "4751b17347c5a7ae48d4b4d70315eb3b433e0f2e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c", "new_id": "9d25e0fd40ff47bf8b6ec525e8f953a5e63e3b70", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c" }, { "type": "modify", "old_id": "322bca2675440f4d33cf6b8aeba519d82ffa41ff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c", "new_id": "90a317a381ad6c14b6e74c944e8d61a8b2d93332", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c" }, { "type": "modify", "old_id": "f903b3e8c4e20def67fe392301a7acd9a2b68ff4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/InferType.c", "new_id": "69dbd38f89f65633db3f041cf09a2cf7b366ceb4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/InferType.c" }, { "type": "modify", "old_id": "e4c9ba4ac4a6a413ea61bdb1cef63f44b199e1ae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Internalize.c", "new_id": "bec7beab9ca8386b7241da6e8862b90b6efdae23", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Internalize.c" }, { "type": "modify", "old_id": "42ed2238f59cfc01160cf573b3547638d387b1c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c", "new_id": "26287d58f461787cea28ba9b9e3ad5c5336eff43", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c" }, { "type": "modify", "old_id": "a652a7289d7dd0f9c7a813cd422a6c744259adbd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c", "new_id": "6494918a2fc06eff33559027473c33a237a4acdc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c" }, { "type": "modify", "old_id": "eddf4e04a80857541cd84fe3be0eeb152386139c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/MonoTypes.c", "new_id": "cfff0bb606e7cc2cf95d54d4cd1642be4c60f7a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/MonoTypes.c" }, { "type": "modify", "old_id": "e63bd6281f58814685512f2f24d6c37890d90afb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c", "new_id": "ae1e0b93f35af44e63456c7696cc8925c16ef195", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c" }, { "type": "modify", "old_id": "6b7d456b67809ca3f39720c4fe116603f7e2f4f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Passes.c", "new_id": "6896e3f02f0f9d9fe5377ef95e4d9669ebd94ad2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Passes.c" }, { "type": "modify", "old_id": "e639a5db4add628954800aa8fd4b3b10dcf9db3a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c", "new_id": "faf1bdacfd2737cc4a8b71692dfe378b0ae303a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c" }, { "type": "modify", "old_id": "399cbdd9c1f90a61d399802c2e3c336147c5c207", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c", "new_id": "c8a5548e2f27aa16742bfcd567e25fd68946b5a2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c" }, { "type": "modify", "old_id": "5c2463caac2aafc3c746a374f9bde581074b9d5b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Probing.c", "new_id": "570b93018b32d7ac2380c9f53bf2543641823e8f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Probing.c" }, { "type": "modify", "old_id": "8ef8f694112c0fbdcde4795bcbb8ed01098834a3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c", "new_id": "fc4cbb5256e229f6b504056f0dd879744bdc1833", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c" }, { "type": "modify", "old_id": "9697e5dec56cf2d6f5b4ea68ee0196b6a550e515", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c", "new_id": "2d02adf2484b75521b59556d84b729ac987d6c1e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c" }, { "type": "modify", "old_id": "cf9d39aabe7a686e508afe62597a3e60d2d42128", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c", "new_id": "de62b560a0143482851b23a2a57db5fcf7d3b2f6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c" }, { "type": "modify", "old_id": "5a5dc800b49e79b66ac6d5e5c07a9593b0a1e680", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c", "new_id": "f924c7e3db06931a731030c685b83ac7b59236b4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c" }, { "type": "modify", "old_id": "40ffe5787ed401de9013fd4cc8012b57971ab5e7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/ConstantFold.c", "new_id": "2055494fe207e2f8c1f00a319217793eb9982c63", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/ConstantFold.c" }, { "type": "modify", "old_id": "a67562a1d6724c7cddcd83df2427b93799ac9419", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c", "new_id": "989ca7421f1c3e9718a3d37173cbe17f32e339c9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c" }, { "type": "modify", "old_id": "60fd054e79f97c37d50166201ccd6648a149af3e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DiscrM.c", "new_id": "7ac7e65680f863cba4df98d34c88e7c300140460", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DiscrM.c" }, { "type": "modify", "old_id": "19b86b5bab6e47ddbcbfaf40129051f742255a52", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c", "new_id": "a630903be1b79881c281e582db3657dbd7c6379d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c" }, { "type": "modify", "old_id": "9f1ecffaa89baa26685453f877cc52e937195754", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c", "new_id": "b08fc1e76214f97bbcc80d6ab8cd5b2cd4fec50e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c" }, { "type": "modify", "old_id": "cec1b20b21bf9d067133eeab9b647f3f13313a20", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c", "new_id": "b2c41f23d646408c3eacc5eccb735fa7565cd240", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c" }, { "type": "modify", "old_id": "5efc20f040cfe4c9a70dad51cd662e1c976890d3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c", "new_id": "93e0414d3100fe1513b66b24db6fb00990593c2b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c" }, { "type": "modify", "old_id": "0c8c12cec59ec60fe5b2ef80d2a59203bc09612c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c", "new_id": "1169b005a1e4958a708bc9dd39accdf8c8e10f07", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c" }, { "type": "modify", "old_id": "a6def13f79d764a7296570ae41a08d0fc1f9388a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c", "new_id": "388c448a1f9450d746ba6758c4fc2be7674e8d9f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c" }, { "type": "modify", "old_id": "952bfc2e518a1ba0fcbac76a8de36ae070568b55", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Used.c", "new_id": "032e6f081743fd2df9d7b0f416408326c31e9766", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Used.c" }, { "type": "modify", "old_id": "abe71d4a3b0e1aa22df07a48eb2602049568a78b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c", "new_id": "98878a9c7b3c5103e65009a318b09219ad17e2a6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c" }, { "type": "modify", "old_id": "528a74ac55f4183481b9d3a67eaa8e49e16ba173", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c", "new_id": "0133a9edb20a0ce851658ccc0006e191b83416ad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c" }, { "type": "modify", "old_id": "37e09681c36b66548eff2dc58997f4332f7fd4fd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c", "new_id": "c87275ace188e5a24cc8de637ce565de3bacc940", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c" }, { "type": "modify", "old_id": "3a6a2075d7e32902855c4f7a760432ff9c9a75d2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToDecl.c", "new_id": "4501ead23c81619c38933f5e5b0e930137e1b538", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToDecl.c" }, { "type": "modify", "old_id": "1319302a1130ce34b1c0e9a6ca0c61278136a79d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c", "new_id": "72d8b297b552b6bc7fc1aa3bbcb9ceffbea9673e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c" }, { "type": "modify", "old_id": "ff44e171669abf177c2b71f4e4ef33421b5e48b5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c", "new_id": "648f631cda0591eee1521504c6c7729d2965f2c9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c" }, { "type": "modify", "old_id": "e677f4ff49149f55bd1f37068b6af1b29f06e23c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Util.c", "new_id": "ea22ef9e20623985460010b4727395c33f581b1a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Util.c" }, { "type": "modify", "old_id": "12bde6a0ed91ab5ea6139051e3d2544a5f85dfc1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Main.c", "new_id": "97e9845845aef37de351e9825040779e2518437c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Main.c" }, { "type": "modify", "old_id": "46bffdf887b906c96541c4c1a96cbaea18043f47", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Old.c", "new_id": "040b3e17333136fca21c17ff14731e8acd6a8f9a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Old.c" }, { "type": "modify", "old_id": "2415937c2fa5a3fda6d52e94a0c6508e0d608014", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Specialize.c", "new_id": "ba002c20bc2012d22a5fc75d4f321ffbcfe174ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Specialize.c" }, { "type": "modify", "old_id": "ef3cf8fea548693508cd93234815f34ee3880665", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/CoreM.c", "new_id": "a1ed05c72174394649543d1b371561a54d627c88", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/CoreM.c" }, { "type": "modify", "old_id": "b08ce31ee15df5ad6615e31338b34f748b0f19e5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Format.c", "new_id": "a42bd471e920c9fe1c22f206ae5852170dc4a648", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Format.c" }, { "type": "modify", "old_id": "d9f9e6ae94cc3901dd9aac25d0b9061a74526fa5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/HashSet.c", "new_id": "982c3dd47011bf78313c5a245ed61a2ec3d77c22", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/HashSet.c" }, { "type": "modify", "old_id": "893ee209b5288e837303d812fdfecdb5347e92cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Basic.c", "new_id": "736f2038655aceab73092e8f3fc050cd034d7a72", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Basic.c" }, { "type": "modify", "old_id": "c623687824dbba93febf16318b9dcdc33e1ae512", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Elab.c", "new_id": "3a2db65bc29c61927b7c069ec723d0856ed8b078", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Elab.c" }, { "type": "modify", "old_id": "3c06439c18641cebcd0a6ea3f8ddedcf4da0fa2c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/FromToJson.c", "new_id": "fa660f7bf5606c14c35dfec55885b28e47d8aa98", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/FromToJson.c" }, { "type": "modify", "old_id": "d2647990a864b3ae826bac36665715acde77258d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Printer.c", "new_id": "90230b93ee6c0f1849ae1b56f2107702e34f8359", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Printer.c" }, { "type": "modify", "old_id": "f2c51ab19b8c3c250d074820baaabd484d79f8cd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Stream.c", "new_id": "e2f8b1d7247b59e7cc183dfc17214316c7562973", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Stream.c" }, { "type": "modify", "old_id": "9e115523bbe982420b7d14922efb0fb730a201b5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/JsonRpc.c", "new_id": "5d647e18205eec5b65d91ca6cbd7dcfa5cd11ba3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/JsonRpc.c" }, { "type": "modify", "old_id": "fc6321520e0c405bbec99fbf31c09fafa0d7ba08", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/KVMap.c", "new_id": "942351c5e13d0578cf495fa1507d248d7fd55a64", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/KVMap.c" }, { "type": "modify", "old_id": "42be192fd0678abedf4884a676e4e97f2bd9a9b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/LOption.c", "new_id": "185882c9d970262625f5769b402049b4f1b4c6d1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/LOption.c" }, { "type": "modify", "old_id": "7dd393ae059235bd3166c1ca55dc0b901622cdcb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c", "new_id": "83569c4f5baab130a3d03550b52c0d2e4c6cd493", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c" }, { "type": "modify", "old_id": "e734db2941019198dac546cc1c2d69c7c29b94c3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c", "new_id": "130a91c4b0164f3dd9082f410c82670fb4cc4f0c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c" }, { "type": "modify", "old_id": "018c95f5f38c8f0724edcecdc36bb598a29cd25e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Client.c", "new_id": "e1d1b3b44da6fac4f5a070dc2fc6896f40f3b056", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Client.c" }, { "type": "modify", "old_id": "9d6af48af19f745eec013409b9bb74db5ca6a484", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/CodeActions.c", "new_id": "5f9ba6c9cab42bf7113b76318519277b0824b918", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/CodeActions.c" }, { "type": "modify", "old_id": "aa26cd09c11693582716b6b5def920450cdbe0cf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Communication.c", "new_id": "44aebaaf014fd7cd82eca5b731087050f26f40dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Communication.c" }, { "type": "modify", "old_id": "2f0f44e1ebda55e318b7a9f9daa04cf25c0dfc7c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c", "new_id": "c28329d21ced2680bc0af19f644f79219c15cb09", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c" }, { "type": "modify", "old_id": "369e2121f2de78fe933081ea57476788a2ccfa20", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Extra.c", "new_id": "f438abe84fe3c3194ab2a421337fc8939d7803fe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Extra.c" }, { "type": "modify", "old_id": "0382b404908f737d806dfca09f0c97b96fe559f1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/InitShutdown.c", "new_id": "5e40ad02d370b53ed8350e5754dc7e5b378af58a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/InitShutdown.c" }, { "type": "modify", "old_id": "801f22044fea47d554d2ec82d6e95345e6c76c42", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c", "new_id": "1ee819531bfe1a9e7fb49712c11e09d769546c3a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c" }, { "type": "modify", "old_id": "0a9a95496cccb67c0e6425313b934bb7ec1ad2ec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c", "new_id": "df97a936d19722c1a341567ed7ff20dfd363a576", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c" }, { "type": "modify", "old_id": "8e3f477bbb35eefc8a6860a00439b952c8e24889", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c", "new_id": "2dbe619549e84a17b95ce1792b656781f4ef9f79", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c" }, { "type": "modify", "old_id": "a63b26e4348f35c83ac995654cfb759f4df73b64", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c", "new_id": "51cd013398d6836bef8bd5eaa8dbd14abe2c2de1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c" }, { "type": "modify", "old_id": "4497616ac959a4a63b26f6d917016a82b7383464", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Utf16.c", "new_id": "1f5c3d460c5416c4b2537db2394a484e1703c0f8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Utf16.c" }, { "type": "modify", "old_id": "f728c6f80450657f50069cfb32b7226f7740eff8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Window.c", "new_id": "da3a3470b31d5fb25e9e6935542aef21ecb4c67a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Window.c" }, { "type": "modify", "old_id": "8d2c21ee6f1f2f7ef6c4e413447e87de2a8c1fbc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Workspace.c", "new_id": "c65afc72cd87fb8a58b63e68f58044103ae86591", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Workspace.c" }, { "type": "modify", "old_id": "a87597cfcaaebcd835455955bd1e18390f9754be", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Parsec.c", "new_id": "6366666cab29bad859aa5a4be619078e519ce88d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Parsec.c" }, { "type": "modify", "old_id": "f06377b3c3b8d6c6fb5f94b3e492ce321c018e4b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/PersistentArray.c", "new_id": "d3468f43d5f47232f447940d673dd0e06e3230f4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/PersistentArray.c" }, { "type": "modify", "old_id": "e986c4581183c5260d2211798850d2973e96f212", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/PersistentHashMap.c", "new_id": "b39695c3ba0add0a79be22d1fe107c07cf491a8d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/PersistentHashMap.c" }, { "type": "modify", "old_id": "bcaab134a33b2d3102af67312f0bb4a167dad02a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Position.c", "new_id": "6ab6cb1e65c6c1ef59a27d26a7b7042eb1f99f49", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Position.c" }, { "type": "modify", "old_id": "c747f4efa540de0a925e51e0fec7cd5ce5d1cc76", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/PrefixTree.c", "new_id": "2853cd4b40eb8a11fca748f39861749dfa936441", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/PrefixTree.c" }, { "type": "modify", "old_id": "edbdc460db6b70875abca73b0bf0562c6f22564a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/RBMap.c", "new_id": "0bfb94fa272c89bc4abeae63dea07b09be5f89be", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/RBMap.c" }, { "type": "modify", "old_id": "9e179fab5aeeb7cf97be86b1d7412fd6093e11ab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/SMap.c", "new_id": "94eab3df9c5f58d59e3c19db924a1f8e73579001", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/SMap.c" }, { "type": "modify", "old_id": "20fada0e98f543c973f408066148a15140dfe03e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Xml/Parser.c", "new_id": "a8dae7e7dc7f1f90199e8995eac27e76134c8176", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Xml/Parser.c" }, { "type": "modify", "old_id": "cc327ff6f99d5df87de2d9ca86a8f4ee0df0f464", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Declaration.c", "new_id": "87b3261b707b6ed88311dcf81acf6e6bcb57a1a1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Declaration.c" }, { "type": "modify", "old_id": "826ddec3cf512218ade78d56305c080c79ecc4cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString.c", "new_id": "d0bdc8ab1c55e040dfaf6a597d1d582fb539daf3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString.c" }, { "type": "modify", "old_id": "32c3dceea9f3295ba244e82bb6742a573dc9c3e5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "ae95572583045174af1cefa80a5ad90ddf17ea55", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "d847155b083ab7dea0527c2fcd7645578ee3138b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Arg.c", "new_id": "4deb893123bd054e6aedcf13172fb3cc7655a895", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Arg.c" }, { "type": "modify", "old_id": "05efb969384fd5b60da08c2784fc0c4e13f10ccd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/AuxDef.c", "new_id": "6896c0d1bbb87e63156f5405a9f9aeb0a6728b34", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/AuxDef.c" }, { "type": "modify", "old_id": "ad005f59b22a13e4b6bdf52c6a266dec76b18dfb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BinderPredicates.c", "new_id": "58c0325fe13865308e626084caa113f8f38f9339", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BinderPredicates.c" }, { "type": "modify", "old_id": "8d3071393a602d1478b0c81f42b229dc111cdc63", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "d0789200e12c0dd613027581c815f1aca61192d1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "75a47d4ab4bad4fe05907976401e2ef28ae23995", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c", "new_id": "35baab40b827b6b88ebce7f884f6080ac0e15547", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c" }, { "type": "modify", "old_id": "340ae8cd7b712dc02ba655b0384f695af8b53547", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c", "new_id": "7fd9d51b23c80083cf17ff554845e852fe2e4be9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c" }, { "type": "modify", "old_id": "74e7f053f3643444916c43bf0c4b33aba34f187b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c", "new_id": "0e917fa5a39aa78e207f8d65fe343249509d4657", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c" }, { "type": "modify", "old_id": "3371ee7eb333e4be9a7cbe252c10156ec72879a3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Calc.c", "new_id": "8e1de2d925a279af1a4f6e34a6fec9d229f72799", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Calc.c" }, { "type": "modify", "old_id": "a82568bf30f054ec58df1024f96bfc8fd8954a91", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/CheckTactic.c", "new_id": "23ea394b1e233a9bf3a8998f264a0eced62c0684", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/CheckTactic.c" }, { "type": "modify", "old_id": "29ac853e6f9c8cbd42bd0631e91b9c9831026e19", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Command.c", "new_id": "1fe4cedcc7409c5f888d1f0bf73f46951b34cb9c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Command.c" }, { "type": "modify", "old_id": "ef95be91bd12a94070dd2a0d4c4898c0471bf888", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ComputedFields.c", "new_id": "0749b07e6aaaa8f462a63d9952625eb4501ff0c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ComputedFields.c" }, { "type": "modify", "old_id": "c1001e0e0a6d6e038e21e9a7e2f316a543f2defa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c", "new_id": "e29b92dded977eeaa1c4a399b58eae0b3e84ad56", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c" }, { "type": "modify", "old_id": "4b3bade3fdc7094a1d620db28411748a09ff8638", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclNameGen.c", "new_id": "6db6c4c127830d284c4322847e7eabfb5ecef897", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclNameGen.c" }, { "type": "modify", "old_id": "ea205adf9a65d93d9c79810f3dff72cf267e6501", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclUtil.c", "new_id": "cb47b61913873e0e0f924baf5a1dc8d07d75b838", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclUtil.c" }, { "type": "modify", "old_id": "8519e86b3d2f64ec7168b39f613505c425eaf8ab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Declaration.c", "new_id": "e1ecd8ed95d8927060b33290429af3656aa0484d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Declaration.c" }, { "type": "modify", "old_id": "870195dd6e46dccf51f8fbb897e225bb8c9a6715", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclarationRange.c", "new_id": "38047b3db99a2f4f3a8fad7c719d1bf7640684ff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclarationRange.c" }, { "type": "modify", "old_id": "c4ef86f15a4f5bd4ee50e68fb214545a5621683b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DefView.c", "new_id": "ebea6c233167df28e103d088bd7fd6d33429aa4f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DefView.c" }, { "type": "modify", "old_id": "69c756a9ee9d8a24c1dce053a7b71fde7093b6b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c", "new_id": "87937a77aac79455b1d0747d95777f6fcf5d6ad1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c" }, { "type": "modify", "old_id": "f27b5c4f3f1dcce862339ebd1a6fe71fa61b3e76", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c", "new_id": "d1a73bef7105d8b50fdf88de561c28813390a53c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c" }, { "type": "modify", "old_id": "a0314d555ef553a2eeb5008966e6d859a6d9bb01", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c", "new_id": "95e84aa1979d459a0663ca3cb848a5618ff2da4c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c" }, { "type": "modify", "old_id": "bbbf35db3e366ee0a91dc145e457194c42806fbb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c", "new_id": "7f4fa53b3c40da0c05e69396e87ea2345460c092", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c" }, { "type": "modify", "old_id": "b56e9cbecf1cd1b900a663b5c1190229909a3412", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Hashable.c", "new_id": "aa0cb10e38e44cb956ad8949ca203aa9d810ceb3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Hashable.c" }, { "type": "modify", "old_id": "c0b7360bd97603e1a2bff1120ee265d5f5e14188", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c", "new_id": "8f3be90bced1ed3c26b7b7e42142a6abef54da33", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c" }, { "type": "modify", "old_id": "3581d6bb33deedf31343aa4a5f2e165844546386", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Nonempty.c", "new_id": "33b41f26b4e32c3bb54fe5ef6bebce0cc6d72e0a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Nonempty.c" }, { "type": "modify", "old_id": "8a9b03ba030f43023ed48dd50973cd87abe2c259", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Ord.c", "new_id": "497d5f66a6e01a5d29206128afcff62524875f4a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Ord.c" }, { "type": "modify", "old_id": "a48a767a86a49f388c462a52533a16395b0531f1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Repr.c", "new_id": "68bc53309431b3ed7b5c1d682517a50b2ff3a7c8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Repr.c" }, { "type": "modify", "old_id": "765dc3fdd3e71fbfabfdb5dc173387ab87a13328", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/TypeName.c", "new_id": "b7573464661e12473f671ddeaa8e1ec4401b47f8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/TypeName.c" }, { "type": "modify", "old_id": "13bcd3472c738a72451f8c6a3dd4f5e414326276", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Util.c", "new_id": "b455e577c5d2fc95fdc5dcd24ee8d3944d385696", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Util.c" }, { "type": "modify", "old_id": "a6e5a21f0275014a6403ff04d6946f8799147c5e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Do.c", "new_id": "d3fe4a84f78e571aac36130328ceeb625a77f5f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Do.c" }, { "type": "modify", "old_id": "5302802669a313b2fba4a393c08ee69859bbf36e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ElabRules.c", "new_id": "90beefc995fd1bac6eba299ce2fc4bd7b650d157", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ElabRules.c" }, { "type": "modify", "old_id": "dda3b9885dd874439c62934c9fdb65f901c0cd47", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Eval.c", "new_id": "a5c6d849b86101c530cc8f3f2c8e45c374d5c08f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Eval.c" }, { "type": "modify", "old_id": "a61b50e039b39ba0705c26dae5b47c5a7ce96991", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Exception.c", "new_id": "ea2ccae263fd6912262589139f3620e150caf412", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Exception.c" }, { "type": "modify", "old_id": "6ba93163755f5a2b6b5760660cb40637eafb4f51", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Extra.c", "new_id": "b6d525eb98f1fe0c51747991dc358d98d5edcca9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Extra.c" }, { "type": "modify", "old_id": "23005d6368b50f3f4d40074ac60aa1b9c4e5886a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Frontend.c", "new_id": "04bacb0f33f87690bc3970c786de451894d12628", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Frontend.c" }, { "type": "modify", "old_id": "48a7bd359eb32e4f7d4c989c07e9620485b7b216", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/GuardMsgs.c", "new_id": "51521d1b8a4d3d87b695c4109b8b57ec7d3470a1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/GuardMsgs.c" }, { "type": "modify", "old_id": "bfde8f655d52a178f38008a0445b5abcf132b855", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Import.c", "new_id": "312e5f9eb6bf5c794f44233a69d5c5d0a3ffbc34", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Import.c" }, { "type": "modify", "old_id": "6cafbe8533743e88c696a2c3f4559947073988ae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "37333fe0bc7e162e27798c0aaa8f70f5bc061704", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "bf097f7203a8438b75b4ddd63a49c02c48565f0b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c", "new_id": "bf7da995b207c03288a71fdf3bb67497e392da15", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c" }, { "type": "modify", "old_id": "99edebd73eb2491f56b8b6f10e09d9c94feb8a21", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InheritDoc.c", "new_id": "943208498dd40c88d712fd02a0dfca7c314e34f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InheritDoc.c" }, { "type": "modify", "old_id": "c78344d3f0a94594d39a40935d127f48eba0f987", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/LetRec.c", "new_id": "933421fb2e68a5e87b3983dd16b344eb15341357", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/LetRec.c" }, { "type": "modify", "old_id": "f387c498d2041ad023348e596246809660e75e18", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Macro.c", "new_id": "aefbf8511b82fe903ba2e4fdf3ec8a5d78df8d4a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Macro.c" }, { "type": "modify", "old_id": "537b4fa822b2a7d2c7617236673eaa2452e850e5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c", "new_id": "349fc15e248213fe5c1a2d753fd32c92ac165b91", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c" }, { "type": "modify", "old_id": "b644807f81ecc4a4d8a5b3143030a2cb6bee3978", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MacroRules.c", "new_id": "12fba672903ae1c162ef3688deb655574f46a8a6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MacroRules.c" }, { "type": "modify", "old_id": "d15c7906a139aa19a185b372965323aab839a9cd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "7b887718f943e4ab73bbaa594cdca7c1b39406fd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "190577810c7174e514fa3a770d8733a9eac06a20", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MatchExpr.c", "new_id": "ee641d540b1db302eb577e80aa7fb5681d56acf7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MatchExpr.c" }, { "type": "modify", "old_id": "7d8fd405706801842c3c515a5eab028f70ed6c14", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c", "new_id": "53fee86340f86b11749e63731ff6e2ce60bd65d4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c" }, { "type": "modify", "old_id": "85648bdd74f97b9de6e1b521c6708335d51496dc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Notation.c", "new_id": "8c71001454eccda18f63e2d4ca4277cd78c1aad7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Notation.c" }, { "type": "modify", "old_id": "4de2143d0198117e6daebc67f1e0aa20b58336cf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Open.c", "new_id": "f7f4c017ed5e73807e1621336d2b4c9b6a59ba30", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Open.c" }, { "type": "modify", "old_id": "c45a74c0a541c36e6608c70e8bccc04cfa618b10", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c", "new_id": "3c286116ebd000cf322c7b93d484abaf1a1de6dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c" }, { "type": "modify", "old_id": "887c1fdb49ee53bc5823ea6bba17c6e072d28e7e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PatternVar.c", "new_id": "4909bc0a52fe94a85da6251d153efe97e308857e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PatternVar.c" }, { "type": "modify", "old_id": "7c5fddae4d0343f07fdd0cf75685599de3a66e84", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c", "new_id": "eb6f2b524d75a741b3b70fa690204577fa397857", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c" }, { "type": "modify", "old_id": "8057e28215460df99aa63c69042952881f81ab49", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c", "new_id": "9c658ab5416b095aaf341af75add0a861909ad70", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c" }, { "type": "modify", "old_id": "a84cc1a2f5fcc38e9e32c4f51204e1ec525a6f2d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c", "new_id": "32ddc8da5d2750254c90747f470d026a01e217f3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c" }, { "type": "modify", "old_id": "ed54ee9060ddd4362b1ab78d3598ad332b2a3afe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/MkInhabitant.c", "new_id": "9140dc692c4a72c3da383bc8b9174cf99e539ee4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/MkInhabitant.c" }, { "type": "modify", "old_id": "0ce6ab57ae4e5e5911f801ea69942ca44e72eed4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c", "new_id": "cf90454c5584de7f1b59895caf6a9de68131cc92", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c" }, { "type": "modify", "old_id": "338e387b79cee81fa4037fa303d6ace5ee461618", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Basic.c", "new_id": "7887e748056c9e5fb14f0a540aad0462f52c1be2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Basic.c" }, { "type": "modify", "old_id": "b799c42b27166f475311ab81dbeb8b30e13b10b1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c", "new_id": "e6b31b91bc784e354406824f8e9654a840089510", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c" }, { "type": "modify", "old_id": "322f2eb8a885979140e53f4e3e242746b37e7842", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c", "new_id": "f178cdf2f629f18745df7be02b01414be980a2f7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c" }, { "type": "modify", "old_id": "31e540f08516752032b4336f693f44430e3cb016", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c", "new_id": "37ad430fca865dbedb57ad7a1520517ee9938243", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c" }, { "type": "modify", "old_id": "1f0c0016bf7c91931aa57d2cbe883e89710a6c68", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c", "new_id": "096c6a00db8d19d1f39b084b402d1b76486b0692", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c" }, { "type": "modify", "old_id": "2b7e0d04fe7e8cc8143fb5f166b65585ac8dff8c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Preprocess.c", "new_id": "1f0eae9f3523f2139609d70e3a087090d47d012d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Preprocess.c" }, { "type": "modify", "old_id": "3dfebc7ab56430b2c6c3b53d22d2b6ca023a5937", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c", "new_id": "77f43d486da34948d07d42053fbb54f9f896ced7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c" }, { "type": "modify", "old_id": "ef4966a9b6ff67cafcb02341ecb9fc3c7969ecb3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c", "new_id": "1825b4c111f8d933d72d46e0c387dacc216d271c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c" }, { "type": "modify", "old_id": "4d160da7ee381d7787c1fb4341613b75aff3f9f5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c", "new_id": "d268ce8bcdbbc8d88db3e414ef66706f83c07148", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c" }, { "type": "modify", "old_id": "8fd49b5e430f676e1a9846054dfe6797a17a75e8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c", "new_id": "8e67ae33024c1ab725197ebbf80892c9e1c90070", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c" }, { "type": "modify", "old_id": "42bbe7bf28e6f4fb1ee7357d472ad846eb9e80ef", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c", "new_id": "62343943dae1c2fd9d87eb641bb61356ceb35e3a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c" }, { "type": "modify", "old_id": "e8f67b41a7eb002e7484958cbd72d5cf6a4df9a9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c", "new_id": "4879cdb07f0b1d876e98a326d69e1003c9480eac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c" }, { "type": "modify", "old_id": "889b557daec4185691c76fc13443a7bbe8774703", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Preprocess.c", "new_id": "b0fb4594bab3ce024ce0b52cbb2190d3cd2fa423", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Preprocess.c" }, { "type": "modify", "old_id": "6f6a9e1ffe53829413479d2add7ceb41a9d4d480", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationArgument.c", "new_id": "914b51b91227f93e829c3fc63aa0c2bce667cd64", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationArgument.c" }, { "type": "modify", "old_id": "b2e450ea7d7cde629f87db0fd47c0da0d5e623bd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationHint.c", "new_id": "73b1c3feaafa0fa84f875959f7055000431de436", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationHint.c" }, { "type": "modify", "old_id": "5a3b35eca2acc1822194b0cc4362be03a35dc13f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Print.c", "new_id": "6cf4f56b75f0e66000377f67d2bc8c026c2f97df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Print.c" }, { "type": "modify", "old_id": "af7804fdc8d116aeb8febfbb4c250c9fe703b16d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "d1d496ed1d801e32077540c6ea2fb85aeadda187", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "51d34cf07b508c5d7460dc559f9951081ff0452a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c", "new_id": "9c19cce4a203af037a446ceb41cbc969d937bccd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c" }, { "type": "modify", "old_id": "eaa3e1f61c6a7893535cc27636ca63f5f4e558a0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c", "new_id": "f6bbb7a7c356caad1c8c962de99f3ea44638d127", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c" }, { "type": "modify", "old_id": "da5c3f6009bd82ace39d42f08d476c8bb2021ed6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SetOption.c", "new_id": "3144452d34a7c44132718f67fbaf4f858459750c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SetOption.c" }, { "type": "modify", "old_id": "998ae11cde00595ff77de8c3f99c4079ee839ba0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "335572c70d71f530880714f2deb097b040482465", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "947185a2a957e5b10878e3a1ef8f1d00fc44007c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "6b0044badeb273ace9dea6d6a3b9fb7140304dba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "70ae37e3a05156ec7690721537a8e5f05f91a5de", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Syntax.c", "new_id": "cc7bef32b25e5e51a54520e0e899124586a5b9a1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Syntax.c" }, { "type": "modify", "old_id": "de543f9cd038ede78dcefec4af36e647a4c507d2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c", "new_id": "f39f3a7e4feabfc75fb478c5e409ed30075f876b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c" }, { "type": "modify", "old_id": "ffe2bb45fe0ec74c40c6ee37c7e9907e2487e951", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c", "new_id": "bdeff02810d81f475d7b863240bcf6173f014468", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c" }, { "type": "modify", "old_id": "ea5804ca2cdc7e64d1c9162221ef263f8597a4c3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c", "new_id": "af2840c481f95fb34339349a37d457a7b97004e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c" }, { "type": "modify", "old_id": "64970e3de996beaff5008218c95a253b79449599", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Cache.c", "new_id": "e3a32ff1143d7a5862e891f2317fa05f0c435007", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Cache.c" }, { "type": "modify", "old_id": "4785c669e082a16fad330d950d73b67332ae953e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Change.c", "new_id": "5068418344fe387deef346bbba81ed3f80802227", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Change.c" }, { "type": "modify", "old_id": "12b7fdbde4e0a75d9bbdefbfc417850b006fe10d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c", "new_id": "8fd73737309d60aefdac37a9a403855fffb70ab9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c" }, { "type": "modify", "old_id": "8c167e4ff4b86ff450f6d1b3dcfb635fbc9b4d46", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Change.c", "new_id": "65bc0ea5072406186177a0d9d328cfde89c22efc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Change.c" }, { "type": "modify", "old_id": "05f97b882da68cf910236b5f03a4033cf1be606c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c", "new_id": "9cf54cfcc8047171aef65c856e2794a7bcc82a83", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c" }, { "type": "modify", "old_id": "10f70ccdf85f82e6dfa20c8356282ca5d343b7cb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c", "new_id": "188210ff2d6b6e799421b88e27e06d1e4372f9f1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c" }, { "type": "modify", "old_id": "ba054f56399e3cadb0d110dd0f2f637d011f4da5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Delta.c", "new_id": "cabba6575f9bb261bd7dec93452369f8dd3fac3f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Delta.c" }, { "type": "modify", "old_id": "2cdccbc1ba120e9a079f4da8e3da88f97bd26609", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c", "new_id": "2d7abc8e896f0a85be453b148da6783e983283a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c" }, { "type": "modify", "old_id": "1159293fd8d35437f0ace67fba1d88766aa45b70", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c", "new_id": "14906a9b3d26b7825909ca42eb52a2784a8842ca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c" }, { "type": "modify", "old_id": "baf1b081a7b3ece37e65f344e918b85edf3905c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/FalseOrByContra.c", "new_id": "237807f2b75f9c0220437fd85eeb68002af0c8ee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/FalseOrByContra.c" }, { "type": "modify", "old_id": "418eebce9e8d427fa9094450ca2c5849c1945b60", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Guard.c", "new_id": "58ec9f649fc0d19c6e440d549ddb50e27eddc6d6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Guard.c" }, { "type": "modify", "old_id": "8d545d8765394aac7a3157e603b247272d646f50", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c", "new_id": "cd632f72ec3b8d2886233396caeb51a5b313a830", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c" }, { "type": "modify", "old_id": "809726621e4ffc9685de90fd3122f308fdf8430a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Injection.c", "new_id": "08da69a06f97ccfc40dc80306f22cc40c8798bcf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Injection.c" }, { "type": "modify", "old_id": "fa41a6e6932f65a266ba21e6c1c0b4c704afcb85", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/LibrarySearch.c", "new_id": "5cae34b743e4467b00b192ab5f72750b8b8c54b0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/LibrarySearch.c" }, { "type": "modify", "old_id": "ffdbca4e9fec525aa7334f6c6e2dc06999f2c889", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Location.c", "new_id": "2822fac47802bed2ff586273d04316d00c0c5eeb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Location.c" }, { "type": "modify", "old_id": "34897f55698e38cbc6c18cbb87e43732a47bb333", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c", "new_id": "3bb691deac989ca59050406859329988b430edf0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c" }, { "type": "modify", "old_id": "5cf43abcaef4f52b93151d99d87084d1a8c9c424", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c", "new_id": "f22b4039c3dd178c49513a643aa55a6fc52e8499", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c" }, { "type": "modify", "old_id": "49a04f90e3f5e396460f5eb02966172a84c9556d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c", "new_id": "7c0d5017915a60de9bcd6e53be5cda0ac8e2792f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c" }, { "type": "modify", "old_id": "2d050f1bdd4f7831491151f6f24aebd146725b03", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Frontend.c", "new_id": "d53beca5137ed931df974eb22f0183e51cc90aca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Frontend.c" }, { "type": "modify", "old_id": "ee593b71b6279752dcf486ab6c7d5ffd46e34023", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/OmegaM.c", "new_id": "341d550b68ec5dc978b51e1510707e8fd4e5e840", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/OmegaM.c" }, { "type": "modify", "old_id": "8d8829666ff44b38051c4b6f69685117692a903e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c", "new_id": "b68e43fc5d92da791751c364c6ac042015fec2c6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c" }, { "type": "modify", "old_id": "3d217b04496d96147a2b2b81d1345aeaa31deeb9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Repeat.c", "new_id": "6d5daaed843a886653bb6e9b48a63323e2070769", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Repeat.c" }, { "type": "modify", "old_id": "fdc6895e17ab2a290afa8988bc9c6363d82916c8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c", "new_id": "8ee7c1f7827802048c88d58787ded64295129810", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "eab1fdf06109915d473440c7600cdd23648a2fb3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrites.c", "new_id": "0c709f1770a79ab885e9f44d210321b3f19ea2e0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrites.c" }, { "type": "modify", "old_id": "40216357366d303d6daa61f06ab2313ceaf4db33", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c", "new_id": "cd58aa5016f21ed8c910756023f4fbdd78cfb015", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c" }, { "type": "modify", "old_id": "7576709aea4ef7e146ce9584621fa7a0eb6b9913", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c", "new_id": "1adccb9a6d06fbfd813d882a1fdc89eb151e6621", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c" }, { "type": "modify", "old_id": "c1b25ca1936ae574d27ee51a304183c63036d747", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c", "new_id": "36c0803b6e6e29c6be5fe7c161346e5759526302", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c" }, { "type": "modify", "old_id": "d1ef9abb65ef671b762a26bb0c637cfdf9a086e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/SolveByElim.c", "new_id": "d89c4345018841b64765dcf14dfc632b961c1aef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/SolveByElim.c" }, { "type": "modify", "old_id": "1e56ef09e256610ded00e8ccc40e31f6c3d1638f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c", "new_id": "01ce016695b5dcd7fe722c8bad772dedb4e8848c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c" }, { "type": "modify", "old_id": "3cb524cc9fc3eea7db9b4188bf1fa55ba679f6f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Unfold.c", "new_id": "83619eba3c9974c8b6b1542a70598569962b417e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Unfold.c" }, { "type": "modify", "old_id": "bbb141b764eb2283e6c27b2a456c128146949392", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term.c", "new_id": "f8ddf5d2d4654225f143b7390831d40423f4f45d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term.c" }, { "type": "modify", "old_id": "576fc8564023961c4f48901303220bc6fdd75b23", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Util.c", "new_id": "95561319ab70939be6723472338a5f7b70a956a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Util.c" }, { "type": "modify", "old_id": "acf67902f15f1b84369e3f474eb08661c2da23ba", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Environment.c", "new_id": "9a40217c03f38f893ebf6df36c55c306dfcc1ec9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Environment.c" }, { "type": "modify", "old_id": "5c7beef5d3442a18d05740b5cec4549101055450", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Eval.c", "new_id": "a178ce0c4f8f761a895fdaea8fcd1be91d159778", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Eval.c" }, { "type": "modify", "old_id": "f824584e446ada3379c34e56d8365e9cdb49b08b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Exception.c", "new_id": "141142859b7168cdcc0758ba42d881486550528b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Exception.c" }, { "type": "modify", "old_id": "5745ce6b419dd14de651d2057d39ece2b068ae48", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "e4795972eee2d03e90bab36a26033f5c625662ae", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "334192edf3c31855cb6ab6fe88837ad37c7b0596", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/HeadIndex.c", "new_id": "e5303944bae9e225734629b1af6eb8d594377ec2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/HeadIndex.c" }, { "type": "modify", "old_id": "c734c0efabea55354e42c780f9b43821ddc00076", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Hygiene.c", "new_id": "b8f71d91fd4f6b99a38aea26800225a29d487758", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Hygiene.c" }, { "type": "modify", "old_id": "6816483669646d641caa32de07ee1cc0db2ed713", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c", "new_id": "7b886938d704fcbda90319677a667140739e86b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c" }, { "type": "modify", "old_id": "abe65aa4c3f200a6bcc7e3fc07362de5622b4bb4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LabelAttribute.c", "new_id": "421ea7e98259f30a5eaf41d831120ac5d76ba3b9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LabelAttribute.c" }, { "type": "modify", "old_id": "2ce00bec69797ed99b2bd03449e695e7ff55c56a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Language/Basic.c", "new_id": "005b2ca5cb6d749f47a54e245ac7bf9af9637b48", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Basic.c" }, { "type": "modify", "old_id": "7b86aaa48ca3386c51c68fb8b2ad5720bba53535", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Language/Lean.c", "new_id": "c4ffd816f360715fa2b8d285bc7d36bcf24c534e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Lean.c" }, { "type": "modify", "old_id": "fcb967cec335b556c767d73603f429bceefa01df", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Level.c", "new_id": "f58c15b77652d8d53e9c07e74b63c742fdf80b14", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Level.c" }, { "type": "modify", "old_id": "90dc529172c9c60ae355182b52e62543b7a49905", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Builtin.c", "new_id": "0fe5104d59b3ae0ec2a07744ca898fcfaf4bdfd7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Builtin.c" }, { "type": "modify", "old_id": "1b5770a4aae58fc4aaa0a1c95e8c8fc3d06d413b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Deprecated.c", "new_id": "e628cff728bb8e908a2892d94604e12870a5a1ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Deprecated.c" }, { "type": "modify", "old_id": "ecaaaf29dc83504d29e6817194cf9bd19696d922", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/MissingDocs.c", "new_id": "9b85548b54b47cb1118196102590be3f4f1307a3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/MissingDocs.c" }, { "type": "modify", "old_id": "7bff57c2987b03fcc4a9f8bb059325cf5fcb7ace", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c", "new_id": "e87c4104f399419d9edf05ff360bddda27f82305", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c" }, { "type": "modify", "old_id": "c82bc08d25c4c748ba508053a3804176bcaeec48", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Util.c", "new_id": "027571843f2d1f419553a642e00ef0f4424ab50d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Util.c" }, { "type": "modify", "old_id": "f7e6e6837dff85b7a5288dee6d648fc7e1f0f9c1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LocalContext.c", "new_id": "7df8026ab3c45683d4ad78e26df7ccbf79d5e43b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LocalContext.c" }, { "type": "modify", "old_id": "dab4257ea29db688d2a1ec0e4bac8843912667e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Log.c", "new_id": "dc59c0a598d6ce21643d5e658370891ece253006", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Log.c" }, { "type": "modify", "old_id": "696dd453efc407cc492cf083adb69da7d4909158", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Message.c", "new_id": "d0e1b0753e780519eac296e22ef6415784a6287f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Message.c" }, { "type": "modify", "old_id": "d988940a8d5370fb65c97d862ade964749379376", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c", "new_id": "34eec6355658d1ec9e090f109e9a40b3305addb0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c" }, { "type": "modify", "old_id": "c20584de1577188b1934c406b8e00a9194df5f2b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ArgsPacker.c", "new_id": "525dcab254d91cbfc2519b7c4dc9266cc9366018", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ArgsPacker.c" }, { "type": "modify", "old_id": "088a7cf46a161b06c48af4ee7940c076082a3527", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "d7e11c326f4bd517acfa10df89d64aeceff314db", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "modify", "old_id": "a9c84bafcdfe33f83018dc0479172b0ff6541997", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Canonicalizer.c", "new_id": "034f7a6a2a44a40e4cea9a86f519ccfb808565ef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Canonicalizer.c" }, { "type": "modify", "old_id": "d97d289330e188698b84049370547a9a0df9ce29", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Check.c", "new_id": "3f8dbc9abd0c04b0c2865b144cc68e3f5b03f050", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Check.c" }, { "type": "modify", "old_id": "565ba9599677a6aad1b8d86f0976493779526b55", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CheckTactic.c", "new_id": "ad8417df00ff344a1fd459091645cd7014002490", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CheckTactic.c" }, { "type": "modify", "old_id": "f44c7ce8bb605aed20f5d07f159b1d253ebea955", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Closure.c", "new_id": "87eb2c5b5201507e93f1fe082c8ae6722fb2b6d6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Closure.c" }, { "type": "modify", "old_id": "2aef28a895a0e720b3acfb366c3098b5f881ab09", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Coe.c", "new_id": "de9460b3aea60c6d58cf587ca1402584b503c53a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Coe.c" }, { "type": "modify", "old_id": "7362fc847bc8b4d3664129f71bc0d879c2ebbca5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CoeAttr.c", "new_id": "b59c4960e9ba386660df4404d65bf248af411607", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CoeAttr.c" }, { "type": "modify", "old_id": "7140b6dd6be670aad4b83fb2cdf538ba00119e65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CollectFVars.c", "new_id": "b7457a1ea0e016b9a7e177710964e40bd8e07384", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CollectFVars.c" }, { "type": "modify", "old_id": "fb6b072181cd056bdeb407be510a81639448d322", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CollectMVars.c", "new_id": "f47af06467d4c17827e63ad57b762653c31a91ea", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CollectMVars.c" }, { "type": "modify", "old_id": "5da39d026b4f45e3fd6f1dc2d8325cae5a0f167a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c", "new_id": "eeb9d5c69e2486ab442004fb0b3315a854de1d40", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c" }, { "type": "modify", "old_id": "0e7767bbaab2cc25551526fc08fa4799cda7975d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Constructions.c", "new_id": "f528004f1f5579657672ebd12001fe4039e81412", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Constructions.c" }, { "type": "modify", "old_id": "46fe83c3005a6c6eeeb309af7672e17e39a65f10", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DecLevel.c", "new_id": "5fe85ee14c73e2804b5c543d639ba2fe40c3ff3b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DecLevel.c" }, { "type": "modify", "old_id": "7c0ca7c3a5b9dbd0f300525ee273f60219cd3491", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Diagnostics.c", "new_id": "2226f4bb1ab225eec52bf1d92f77b829d3be9d42", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Diagnostics.c" }, { "type": "modify", "old_id": "41487981363a544f1af325d8acc4cbb5828e3ed5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTree.c", "new_id": "c2e9bdda980a3ca36647237f9b55e7b10d87da74", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTree.c" }, { "type": "modify", "old_id": "32363cd590c8e28df56153f322c8b05eb4ca5715", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c", "new_id": "81a2d12d1237cbf2d837293126643dbcf5e46538", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c" }, { "type": "modify", "old_id": "787c9f9642193179fd5807974be182cf3e231508", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Eqns.c", "new_id": "34821a35269bd86f6ef13f4279f9acac710b09f1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Eqns.c" }, { "type": "modify", "old_id": "a4b7feea57eb198feca1eb06c37338267b96ee06", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Eval.c", "new_id": "9a512dd25838a425aad57a9ae8eee3ee787441fe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Eval.c" }, { "type": "modify", "old_id": "6cc3e12c706429dab68f5d5171e6be7b6b820fdd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c", "new_id": "1cdf172f54d37ac9c1993596f78e7ab35754c37c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c" }, { "type": "modify", "old_id": "f5e80fb97aa68584684595432cad402bacab6aaa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/FunInfo.c", "new_id": "04adb4b3567ceb2ac7efe52ba82015de02bd15ee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/FunInfo.c" }, { "type": "modify", "old_id": "233f95ba214ebc76dfce70e1a0a18a2dc9360c51", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c", "new_id": "e98c12197fc58e33d610e576756677b890ce042c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c" }, { "type": "modify", "old_id": "bd4e25b3197a5c3fd36c7e546ea5ab3064600d36", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GeneralizeVars.c", "new_id": "7b5c945c4e8979b1dbbf79d62909dee522df2f8a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GeneralizeVars.c" }, { "type": "modify", "old_id": "a38cadfeb56a1aa63ad193128f4c001399b0ff33", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GlobalInstances.c", "new_id": "22f3349bc66cba341230dfbd30182a38392682e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GlobalInstances.c" }, { "type": "modify", "old_id": "183c30e6947ab7ec61379f8951d4558f8e12c851", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c", "new_id": "caa1ca9a39fbfb96176895d660ed96f3c1a9f774", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c" }, { "type": "modify", "old_id": "eeded6c91861b4e7f032c32b9826193c68145af2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/InferType.c", "new_id": "06ea0b76afdc2d16f6b10e0bb8a92d41bd1bba96", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/InferType.c" }, { "type": "modify", "old_id": "92d682b4e29db3825b62d91d328ead6907915d30", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Injective.c", "new_id": "e716d28ec04bd2963cb01f9a73f1d3e7acd9f945", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Injective.c" }, { "type": "modify", "old_id": "cc2673cea2eb7d2d4f20919e8c0daf4aaa0ff988", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Instances.c", "new_id": "63bfad6b9df6a64a75a42d1c6803830cf241fbd3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Instances.c" }, { "type": "modify", "old_id": "d5b41a47966addb9f6e3cc95cc82746c28a4da15", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Iterator.c", "new_id": "3ce2e7df271c2f3e122b2e23d6d417f2f8ad2e1e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Iterator.c" }, { "type": "modify", "old_id": "936f051ac5418bd66e22b6dde3f3823a9abeb1da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/KExprMap.c", "new_id": "5c9e742fbffebd4c70451786da1ee01bffdb54eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/KExprMap.c" }, { "type": "modify", "old_id": "c626ac6a41c7687ddbc4d051581ced162eb68aba", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c", "new_id": "aba7b83da5b14555ee6492d5ce161850bf75693f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c" }, { "type": "modify", "old_id": "31d71a6894c83baccc9b2cf8ce2119e22c203859", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c", "new_id": "9e834b81fa3628171d68c5c240facb70f6303933", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c" }, { "type": "modify", "old_id": "5bf32bbc0a2271a4bccf7bd4d73376fb352bbda9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LitValues.c", "new_id": "b40a7181402e78bd1557497f04ccfa8a5aca7e6a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LitValues.c" }, { "type": "modify", "old_id": "eed97179501b57152237f2123eb0e1d847b931ef", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Basic.c", "new_id": "00bd304872a363b36201fec43f64622313aa036a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Basic.c" }, { "type": "modify", "old_id": "ac7aa66ee571c5aead23587134070aabe6c061b4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/CaseValues.c", "new_id": "68ce42b03443692cef1a4d232f1436f44b26eab3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/CaseValues.c" }, { "type": "modify", "old_id": "e4b93e793ddf3ed8e2bff47869a37f5de197b927", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c", "new_id": "e824796caa6de82befc173eae97495942663a3b0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c" }, { "type": "modify", "old_id": "3d074051b774edf98869642d51c8d01f403ae485", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c", "new_id": "339169aea91f68cea03519f2702f5047e994066d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c" }, { "type": "modify", "old_id": "5fd49afbe5ff35242b94be05955faabd2bd82225", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqsExt.c", "new_id": "4ccece7988c7edd5ff6f0b09853e724444d2a6b2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqsExt.c" }, { "type": "modify", "old_id": "1958e12b6258d282f96a86196a3f9c7ab250abdc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatcherApp/Transform.c", "new_id": "78c751ebf678a863288222788f9c7a5bb0632c8e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatcherApp/Transform.c" }, { "type": "modify", "old_id": "b26715ab425e00ba93f946efcd4e95dfbe07e4ba", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c", "new_id": "7e72ea993b04f66541e6b487157ff81a8b07c99c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c" }, { "type": "modify", "old_id": "bff0ae877c02fdf4cad9d94ef9b1e2312202a681", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Value.c", "new_id": "af101ca3b2fc1264fbfdf7679632f848fe1b1681", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Value.c" }, { "type": "modify", "old_id": "834806a2c1123012e15050d35a9c7b3d75a3e816", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Offset.c", "new_id": "02d9668bacec8bebe1bdbf3af82232a17041b129", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Offset.c" }, { "type": "modify", "old_id": "52116cd9baa8315d6d8d0f81545f02db66939527", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/PPGoal.c", "new_id": "15a5854130189b564325424b832ddf3cd6fe1efc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/PPGoal.c" }, { "type": "modify", "old_id": "be2ccfb0f2031979586800cce8a8e3fbf0e4920b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c", "new_id": "88aaa6fb11e37013a64cdcd2e3c251994dfedab2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c" }, { "type": "modify", "old_id": "147e4f6172b0b30904025d83d9920f38435f7322", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Reduce.c", "new_id": "518eedbc8026ade90b24d67306bb9ff6bdea1df9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Reduce.c" }, { "type": "modify", "old_id": "0c15760cecdaa6dacc8a8829a813ef46dfd22022", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SizeOf.c", "new_id": "407d6affabe344a1b6960794ad18ca7c26d53caf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SizeOf.c" }, { "type": "modify", "old_id": "63d514b8b75ec436a6418952be9c74617f6fd2a7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c", "new_id": "49241ae60244738faf4d695b13fcf8778e3c1eb0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c" }, { "type": "modify", "old_id": "8cc8ed5a6a9b65f4441de4bc358627c0700a58ca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic.c", "new_id": "9c1500a3886688e7fc76f48d522b81069d695611", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic.c" }, { "type": "modify", "old_id": "12dd44165889f527ad23bf031c1bb3d89156afb5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c", "new_id": "85f6eb4da24ed6916ba4ed74047f5c6bb6e7356d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c" }, { "type": "modify", "old_id": "f83cf961ba48656a82acd5fc499577af27bcc59b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c", "new_id": "5e170785764e76004b1951116d9db0ff7f57cf50", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c" }, { "type": "modify", "old_id": "f57381706c606ca76cae04b6d01efafce65b2edf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c", "new_id": "67eb9927a827547057985c269f7dd7598131d7c5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c" }, { "type": "modify", "old_id": "776cc45c8bc3c5538f78f3bb20055d9533fefc42", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c", "new_id": "9ba3a4bde990b2b5f1ce3515419581ddfc42b6da", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c" }, { "type": "modify", "old_id": "162459b3a495627d2878f243390317f468e8cb7c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c", "new_id": "abd6fb208c21848278b3fed77fd600b382ca2e93", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c" }, { "type": "modify", "old_id": "d5a782477802003afe7d533c410e4728edc9fc33", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Backtrack.c", "new_id": "afd2c5fff06cfe6dd562aea7a807ba9e54684ad4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Backtrack.c" }, { "type": "modify", "old_id": "7fcb9db7902a1642e92a0d6435792f8d34a070d1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c", "new_id": "0984340acecd6bdc5213e35c971f4e0a7773a434", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c" }, { "type": "modify", "old_id": "341f8aebed8e6c04e1787516498e89627d2905e0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cleanup.c", "new_id": "b9a20bca21d88ad7d71c1d433a24cb30e3a3009f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cleanup.c" }, { "type": "modify", "old_id": "778e959ffdeec111a29520e2013ba25d3cac2084", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c", "new_id": "e6adf55db43ef93ff8101e9405d98f2692dd43cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c" }, { "type": "modify", "old_id": "3e49d4b7a35cf936f26d0e7ff68a2b4721c8ac31", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c", "new_id": "12cbe0f532d1d655378dd890061d99be22bb342f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c" }, { "type": "modify", "old_id": "05080a9b5eaa2ae3f7adab08fc16944c616169da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Constructor.c", "new_id": "0be7f9c82cc4ec4b5e5c91658adf495567cc2421", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Constructor.c" }, { "type": "modify", "old_id": "30d286e649c2ebe0c689d99f204e63cf3f0dad75", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c", "new_id": "6261ba629e551e6d55b1b33aa29cb824f0932bee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c" }, { "type": "modify", "old_id": "f343f362cf9266422f561cef46c68d70a2f47a81", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c", "new_id": "fec6d3e89889114a4acfe3ffb107c45ada152323", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c" }, { "type": "modify", "old_id": "dc54201b60fe69ff8aef404b7a50c8f9a0349cf2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c", "new_id": "535b49666e666caf8b2123aa87af15590a76b09b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c" }, { "type": "modify", "old_id": "ed80be16dbb98273a44d848c7a381a74b9894ea4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/FunInd.c", "new_id": "2aed2b7f241849e0fabcae3ee29d2cbac7276fad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/FunInd.c" }, { "type": "modify", "old_id": "27beb82007a9c461511c7423d44f0a2bde8d12cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c", "new_id": "161a3b65d2c26375375db22e0525f6954bea99fb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "34798b7ed83b1da96fffb9e239cd9f9fef9cf19e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "dd4cceb87c20eeee962bb803415d4cd492a5087a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c" }, { "type": "modify", "old_id": "2c891cf70efa525c276da3b1712ce6a93102d857", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c", "new_id": "5b6e215e57991fa3c1281834b6f4610b54fb3711", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c" }, { "type": "modify", "old_id": "532a864be80da0832955c90b1130d8a8508c4c4a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c", "new_id": "77e2edb5bc0401e9ba5d90191ad2877317af9578", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c" }, { "type": "modify", "old_id": "d626b81a30da672275e495a4c23f0a4c0ee529c4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c", "new_id": "9298b917566372ce7366186c887c7a3e6d76c6e4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c" }, { "type": "modify", "old_id": "fc3fca5c17e03462dd87a58554827feaa8707690", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LibrarySearch.c", "new_id": "fb5f2180c3884eb00978facc5da09264c615aad0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LibrarySearch.c" }, { "type": "modify", "old_id": "c869611f661039b576d4fc91bf96d3a240e5ec7e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Basic.c", "new_id": "9e1cc8389092e3be837c13a098c094eb40fe3445", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Basic.c" }, { "type": "modify", "old_id": "024b6dbff22f65cbfadfc9c91f441b027b924348", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Simp.c", "new_id": "6b7d0ea26b26662bcf4fed61fbde8926accc5494", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Simp.c" }, { "type": "modify", "old_id": "c6067a57c89c9928bf1c5d05973f6f9d66aa173c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Simp.c", "new_id": "d43c5978231817c79a12b68fb3b693ec1821874a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Simp.c" }, { "type": "modify", "old_id": "46666e6529ef1fd862045177f0ced5a886dcc710", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Solver.c", "new_id": "a90125a2edf59d6c47a1f17b6552617b32debd2c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Solver.c" }, { "type": "modify", "old_id": "eb7a08a9e1b67fef3d8dc42138f5337b2610bf94", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/NormCast.c", "new_id": "044da347539a56b9b04d7d603827de8ba1961b3c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/NormCast.c" }, { "type": "modify", "old_id": "4d3e3e1da0d91c864e19d7f11731fb9aa97c3ed5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Refl.c", "new_id": "4624ee5fe49a8d355160d6f68eec87a1d9e94a63", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Refl.c" }, { "type": "modify", "old_id": "7bfedd5007cd9ba66962d0a67d6cd274a1cc9994", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c", "new_id": "f872db2046a60d61438118f3c1cff12225433f68", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c" }, { "type": "modify", "old_id": "000c3be0f32fd6cc01996ea2e7380f7f70e7126b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Revert.c", "new_id": "5b8fb0acc12a33f05ae89d0a4d2c9f3912318031", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Revert.c" }, { "type": "modify", "old_id": "2e4820cfbe8a0bd1e1431796d32e4a9410d04012", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c", "new_id": "d0ad4d5c9dbe370c015ca92b765bb25516250e80", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "827bd0f3457d3ca3d6248c374acc1523cc6d1225", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrites.c", "new_id": "3d5b55262df5e2c33ced5b4d3158221593ef9068", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrites.c" }, { "type": "modify", "old_id": "875ebd100db24f3c5aa6ef59f5790c206087c71b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rfl.c", "new_id": "afaf2d60a236ce1215cad8ea0a226b59a6035419", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rfl.c" }, { "type": "modify", "old_id": "368bf4e02664432035196268c18160fb620851b1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Attr.c", "new_id": "e81dd34345ed96b35fcdbeff6b6d23ee130ed6c8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Attr.c" }, { "type": "modify", "old_id": "7a7131939a05c74dc66bee4216e847dddec93cce", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.c", "new_id": "5e98f1582deb60cbba0217a0f871ef6ea9761129", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.c" }, { "type": "modify", "old_id": "4a31d4c19e3d5515dba9b51f5809dcf32c78b36a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.c", "new_id": "9cffd5eabfe6de1ef8e14a0e1287bd1c94c9c95e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.c" }, { "type": "modify", "old_id": "84b8d6d505c75f187f6594651aec50dddb88b0f2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c", "new_id": "82aeb7ee2e897baca090b1e5d6aad568abe030a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c" }, { "type": "modify", "old_id": "5ccd12f8981cddc3949236e300b35e95673e816f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c", "new_id": "10f9f9a3a2bb5f3025c78013e875cc0487afecda", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c" }, { "type": "modify", "old_id": "a0250bbc86a4bb58ee1b3910eef29bb7a1fbcba4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c", "new_id": "e73910bd2bd5214e69da6dd6215ff4f5e91749c3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c" }, { "type": "modify", "old_id": "76ceb92ba840249ddc6431d05c4727f3436695cf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.c", "new_id": "cabafafa6b6b3c5b8756831c43ec0b3c115ab16a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.c" }, { "type": "modify", "old_id": "3da350bff88dc382c3937f85a101dd319694bd88", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c", "new_id": "dcdea0163d43836b113c59db7bda5b06ef783191", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c" }, { "type": "modify", "old_id": "e202895289e236d82ccddabbe1997aeaf9f212bb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Diagnostics.c", "new_id": "5f69c20742a12ee38729d01d75fc46a5194c30e2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Diagnostics.c" }, { "type": "modify", "old_id": "e58f1761ef54f94df3d46725200f8cb125df964b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c", "new_id": "c77cbbed5db95e94fd3b1c5b51e0d623f3e56f78", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c" }, { "type": "modify", "old_id": "92dc70e119e910acc36630eb2daf5a0b67126603", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c", "new_id": "6d2d77d0d3f425c0b14d73eae6f5598a9d6b5419", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c" }, { "type": "modify", "old_id": "1ed2d60859197f6008ce4da50dd2e347f7b2bb02", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c", "new_id": "da6be6721f5f3fac0d70403625d34398a9be1be1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c" }, { "type": "modify", "old_id": "53b9a4aa7ddb562b956efaaeee4e9db18e7ea154", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c", "new_id": "0f6a7bbdff4a23929d2571f864cca6fe0a739672", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c" }, { "type": "modify", "old_id": "f4cbf78772e4f726b99626338d989fe44a7ff9d4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c", "new_id": "be7757d4cd66a94b65ce32094e2522ea0256bc94", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c" }, { "type": "modify", "old_id": "f29ab8ba32c4ace30ef831b8f08c540cacf416dc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c", "new_id": "c01a703bd134d51c53c7acb1e5077f4dea329e47", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c" }, { "type": "modify", "old_id": "48d4b087c6acd7dfea389eafa2a9aca497167d2e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c", "new_id": "cf22c4f1efa3d599230ba3ee90c4728d10a9fb60", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c" }, { "type": "modify", "old_id": "a825db9d69b13b34b0c7144c415f4d8eac6bafd4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/SolveByElim.c", "new_id": "4c4cd4421a36ed9312997815913ef248f1a69609", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/SolveByElim.c" }, { "type": "modify", "old_id": "0394e5e632808cfd69fbb2f1cdd832eb69279e4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c", "new_id": "d3a6a9a16317629f6bf6b0823781e1a12b44c76e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c" }, { "type": "modify", "old_id": "1414744e23f6b783be7e55ce4d7458eaad5f068c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c", "new_id": "97c4e160752058974ffc6c3b7c1ff0b00f61aa53", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c" }, { "type": "modify", "old_id": "2d2348923930a51bc5b33864b0b1544d5caa6760", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c", "new_id": "927bc42bcfe981dedce326069d661b3c52e03d81", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c" }, { "type": "modify", "old_id": "077b62e5c00f2668b3c207651aba7553c5ddbebc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Symm.c", "new_id": "d24dcc71e49091640e215f393c275ae1cca58f7a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Symm.c" }, { "type": "modify", "old_id": "5df8a4f8eb6eaae512513007adff65384aca16ca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c", "new_id": "65984b135db09948de97be43d9636ca9939a223b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c" }, { "type": "modify", "old_id": "f3797ba25f481eb56d580990c3e4ba95604c1406", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c", "new_id": "e952af0d520bec98ca9d5575333665153dd13a04", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c" }, { "type": "modify", "old_id": "3148c71f375b916d0b17afb2a57e0464bb2a2185", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c", "new_id": "bda87d90eb72c057bd835a67ea4d75de1c38230b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c" }, { "type": "modify", "old_id": "0816b14890047741b6de403bff55806e50cf0a63", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "4d4d3e7642fabd98cda236059c7804f55128c3dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "9d97ab9abf0f604d7588585424caf6443fd660a3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c", "new_id": "33d9ee1da73a3e593493dd1534c6080f8f2c7ad3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c" }, { "type": "modify", "old_id": "4dd370298a65352f16e2fdbefda97b2c3c2ca771", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/WHNF.c", "new_id": "28c3f75e58198e821a3ecd07faa74bcfb2208ac8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/WHNF.c" }, { "type": "modify", "old_id": "8fc59d3bf195eaf4982dd7b1f4fe2b013c7bb4bb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "206260953c627ee4b703e4646618e0c4061663ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "2465b0ea27a41e79bb03ccb9bc25bf45c34283ae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MonadEnv.c", "new_id": "3603b48635cc9176dd0fdab5f000ecdea68a00be", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MonadEnv.c" }, { "type": "modify", "old_id": "c31190c4fbf2b3ca4adb0302c83609721a4ecac2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser.c", "new_id": "82354a66a6f70d2b3dcddda0ed535da01cb01e70", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser.c" }, { "type": "modify", "old_id": "17f548988305d20058c200293b93b50af7c3fd16", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Basic.c", "new_id": "f88451b7a8599e51ded743dfd398217b96e781be", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Basic.c" }, { "type": "modify", "old_id": "c7e1678838574f953c2bc692c3a28a8b4f082765", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extension.c", "new_id": "876d1f57b47599ff0d90afcf7d4b9f82f7202814", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extension.c" }, { "type": "modify", "old_id": "2ee6276132b7592b99cfa9642ff47f2034460d2d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extra.c", "new_id": "1994723eb35fdb7dda0a018ed57355f4985dc9eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extra.c" }, { "type": "modify", "old_id": "b80a848a658d3e32a36ec58e03cd4cb8eeb5f83e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Module.c", "new_id": "0692322ef55c9d0373080005e79adeaffb424207", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Module.c" }, { "type": "modify", "old_id": "1ea28615c3b9fe41a1fd8e7bbc8ca67738010543", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Types.c", "new_id": "e2f9e3676fa0488c37e08e173d9bcbb0e2ce104b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Types.c" }, { "type": "modify", "old_id": "b48bc2430a4ad09124c33c290f353a2a5c24e9ca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler.c", "new_id": "fdefe344f394445f637acb995dffac312aeddb01", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler.c" }, { "type": "modify", "old_id": "7141832b0ba91e713eb002a5dda07fbc7426bf71", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c", "new_id": "8a01f6ec7ca4364149551456f50b38d00f0930ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c" }, { "type": "modify", "old_id": "5cb60f5029fc0831d4a0a4ffe015c00c906fe466", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter.c", "new_id": "03d98f962e251dbb2e929417a33351388b382c3d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter.c" }, { "type": "modify", "old_id": "b0977d42173f0d02ae76da8b3e80741986759277", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Basic.c", "new_id": "c36fc278c9dc956143d6faa9a64eb10fe3234784", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Basic.c" }, { "type": "modify", "old_id": "c5e10dffc642b54c3fac8dee2c7e3baed57411bf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c", "new_id": "9df9b64212d3eaf1eaba74314e0fdc6ebe7f61e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c" }, { "type": "modify", "old_id": "4c846613b097c3f02d940f97601c30f71c2a8d5e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c", "new_id": "2c1469e82744afe279716ba845a8fd6bc09a44d0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c" }, { "type": "modify", "old_id": "43c8d89a6f2cc3b65217a2e59d94ebaeffdb5e29", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/FieldNotation.c", "new_id": "8808b5c2c9cd67de9c2ca92a7f2c134c6954a338", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/FieldNotation.c" }, { "type": "modify", "old_id": "10ac19b0d371b3bb1554c6709e4c52434359c211", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c", "new_id": "71f8d1dcdb058c954d0643ce2b224aa04301287e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c" }, { "type": "modify", "old_id": "aac6db616e83354374a7a9caa9486bb879e9e2a4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c", "new_id": "483707fe3af89f144b7a8e03890e33d3601443b2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c" }, { "type": "modify", "old_id": "00007a6e6179b91f30eabe366f661c9d310d3d4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c", "new_id": "6c16c17338b0e019e951d5e524256f8932546cff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c" }, { "type": "modify", "old_id": "6761122fc3d50ce857b6453e2ba7491ef22cd8fe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ReducibilityAttrs.c", "new_id": "fa62019a980664e4bc4f0458151a3fafefcebe25", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ReducibilityAttrs.c" }, { "type": "modify", "old_id": "5be46eb6e39be6c72bcf0f85efb32dd26b4c4c5b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Replay.c", "new_id": "f143a93bea25fccacb658f47aa971deb2704d190", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Replay.c" }, { "type": "modify", "old_id": "28b1e7f5633cf30200ea0391459bdc88624d9f5a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ReservedNameAction.c", "new_id": "8b407f0b559989c19856f1d5ca4c3b136fbdad4f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ReservedNameAction.c" }, { "type": "modify", "old_id": "be6bc592bfa480c9ab49eecab6c6732628295168", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ResolveName.c", "new_id": "5c2c815d7b576426fbc9b99726476f96f56963fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ResolveName.c" }, { "type": "modify", "old_id": "0dc3d1a989dea73af18f141a46483a00c3f9c8fe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ScopedEnvExtension.c", "new_id": "6906f3857e76d929910f622c8cc7bdeacb82be8a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ScopedEnvExtension.c" }, { "type": "modify", "old_id": "8d8e318a7c0644ef20b7891eb57376c0fb6fc356", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/AsyncList.c", "new_id": "36cf53db666cb5b95682feda5d8dd68ab92fb3cd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/AsyncList.c" }, { "type": "modify", "old_id": "96b9c150cfc33f847b7a2c99f95250c0686277bd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/Attr.c", "new_id": "e8b862e4236dd05491eb3b29b66bd84a7597a9df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/Attr.c" }, { "type": "modify", "old_id": "5468ba158a4951331c7293d0783bbe08a8efed8d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/Basic.c", "new_id": "8bd9381e710464fb6b5300338f9ae4e6d94391e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/Basic.c" }, { "type": "modify", "old_id": "e143f6bef8707dd57d238e22d861dd0cba3f2894", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/Provider.c", "new_id": "5ab13c0074a37aafcacd004ad109cf02680aa583", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/Provider.c" }, { "type": "modify", "old_id": "be59543969450d360a191d7ce84256dacea63f13", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion.c", "new_id": "212da7096e85251ccf7a1e6866dab6a70d6d3a22", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion.c" }, { "type": "modify", "old_id": "6ac0d9e02b4d5e6842f51a37e0b9679bfbfd2e88", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CompletionItemData.c", "new_id": "ed7425fff8b7f015d68b001eee39747b0781f638", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CompletionItemData.c" }, { "type": "modify", "old_id": "54d7c97b615ad6ccb56b887b55db342cbbad10e4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker.c", "new_id": "617197764ec695e34a9b029904f168ea5dcaa97f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker.c" }, { "type": "modify", "old_id": "33a8050084b27ecc87c8ca007832f2c67645d4a3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c", "new_id": "b4072f5d135e70d3104f0f822d1a64cd037a99ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c" }, { "type": "modify", "old_id": "6ef96dc979b636fbfdc8b97dc62bdc776732d754", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/SetupFile.c", "new_id": "e66e84ff602d4141ec9b3af704de59ad8521cb47", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/SetupFile.c" }, { "type": "modify", "old_id": "dc987febe6c9faa98abbd8463208938b1d8b78a9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/Utils.c", "new_id": "64d5663920e99e612deb1974bf53e66d14d2c23f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/Utils.c" }, { "type": "modify", "old_id": "2b0a8b13d7382cdba1cf826ab73a3bae5f4aee03", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c", "new_id": "e4c67e5ba055dd088fa1d09ea66f08eb046c2838", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c" }, { "type": "modify", "old_id": "9cef95e92e57ab3f727c206e0b988bdbca02ae1f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/GoTo.c", "new_id": "7668707d53a239ed751b738961c703fd65abd727", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/GoTo.c" }, { "type": "modify", "old_id": "c15dff21323859d29a5c3016e2fb9c4e0f3c8cd0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/ImportCompletion.c", "new_id": "65470cfc19fcaa8d6c9d1568df6f898d0e1ff02b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/ImportCompletion.c" }, { "type": "modify", "old_id": "eac97a184ae76a3cd5078948f16b8eb4d13d3706", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c", "new_id": "4af54f85608427b0e660d3bf1d2ec4d5bcd06c97", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c" }, { "type": "modify", "old_id": "9a92bcedb3be7da1069b8eb2c37d24d59e92eec6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/References.c", "new_id": "360a215453608d5ba286d5a24ff58b305b6fee0a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/References.c" }, { "type": "modify", "old_id": "da79438a3d0796b6e10798c86dd82a484f1f5a66", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Requests.c", "new_id": "9d1435d9076d69c566f26773e0e2e095b11df3c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Requests.c" }, { "type": "modify", "old_id": "26309c6cab562846d14d8b1672e0e61516a246fc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Rpc/Basic.c", "new_id": "ca35eac28428afa1e34d2b814f2fcf165c9dd244", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Rpc/Basic.c" }, { "type": "modify", "old_id": "c99ef5991458cfdfab8c43f2e9064b9f75e9270d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c", "new_id": "316e6bfcf5221cc25c64e0cb48a3b67ce1f05919", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c" }, { "type": "modify", "old_id": "271fb9b33e5f111511bf8ac07ee6b288e481f0ee", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Rpc/RequestHandling.c", "new_id": "155d6dc9f9bec6a792453a5817839032009acdb9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Rpc/RequestHandling.c" }, { "type": "modify", "old_id": "ccb7d9ee216db47b2175aa4eb0534440d9e5242a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Utils.c", "new_id": "bb5fde26bddf67488935e9266a332c7109ac942f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Utils.c" }, { "type": "modify", "old_id": "2a2c9b46a241c1c6ca91563ac91f0a33b13d78eb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Watchdog.c", "new_id": "31f300f7eece66a4524dfb91b85d1c7a21a7e9e4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Watchdog.c" }, { "type": "modify", "old_id": "63572853795d1f72b19daa9ce587d174a0faa4f7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Structure.c", "new_id": "e3aa6a4c2efdc0e9a32c205f25f1cd043f03d4d2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Structure.c" }, { "type": "modify", "old_id": "ffc027b7c7b7ba01c5e6cede31b95878a46caae2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/SubExpr.c", "new_id": "129104093c01dc19bf62338eac0759b446aab55d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/SubExpr.c" }, { "type": "modify", "old_id": "027ae8602d02cf5d0e78e9b40ec4c033b1607e02", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Syntax.c", "new_id": "06b9cbc1aa2370d253b7251170a5b325404563a8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Syntax.c" }, { "type": "modify", "old_id": "5cb70f3b6b8930a308348d014f14814bfd630b72", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Diff.c", "new_id": "fa9e9f56ab1c6e950e481e88aee0c4d5772e278c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Diff.c" }, { "type": "modify", "old_id": "41cbdfe46f7cd495fe4b74f574943cbc2ddcdd9d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/FileSetupInfo.c", "new_id": "97257cfe0b13523a13f819822bfa8c3dacfc81e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/FileSetupInfo.c" }, { "type": "modify", "old_id": "40678ffa951b0f53bac765c7144240965f30ee01", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/FindExpr.c", "new_id": "ce1174de7a4bf7e45b31c8a3f0433ee6b3dab431", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/FindExpr.c" }, { "type": "modify", "old_id": "daaaeaee98c7442723885e802aab085ace18b516", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/FoldConsts.c", "new_id": "490bfda7a78556d627d93629db6a4240473419c4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/FoldConsts.c" }, { "type": "modify", "old_id": "adfea5b121fb316be11c71f3873ab480a5c7e8a6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Heartbeats.c", "new_id": "67a7bfdcea41f720989ac649817cf04ca27006bd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Heartbeats.c" }, { "type": "modify", "old_id": "c693efb92067284d6fc357ffe01bb73287fa1a9c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/LeanOptions.c", "new_id": "85515632e94a7d1c8e5e093405f26fdb539cc12d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/LeanOptions.c" }, { "type": "modify", "old_id": "85acdcc7cbf61e741c56d0d4141829c8749bf71b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Path.c", "new_id": "19c8f9fd642329eb6c9a66e0169870b5b3520395", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Path.c" }, { "type": "modify", "old_id": "eb505c8a4b579c9d47fabd3ab11b5cf29efd911e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Paths.c", "new_id": "6458dcfe974808f07f6306be37546b629501e599", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Paths.c" }, { "type": "modify", "old_id": "cc1cddc2a0d737f3443fa92df397675b21c89acf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Profiler.c", "new_id": "84db732ca78067de20160370e63dd79a30585357", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Profiler.c" }, { "type": "modify", "old_id": "a4394e7e345b61ee16b9c4c33e642d13391027db", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Sorry.c", "new_id": "cc7ac62584faa188f4292bb159b0d69c3a04d895", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Sorry.c" }, { "type": "modify", "old_id": "0b2bef6470fcf6edfbf63c76b89da7bafea90d3a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/TestExtern.c", "new_id": "45dee9c7e40aa40d1b949be7dec774dd2018f248", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/TestExtern.c" }, { "type": "modify", "old_id": "e763c50c7157fe49486e46a15a53a657a9d0a258", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/Diff.c", "new_id": "2aa3db6ccf32c27db27e4bd983f2cfd492cd582a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/Diff.c" }, { "type": "modify", "old_id": "2cdb1d0555948e3df7a9d3eaded26d3175a5e9e5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c", "new_id": "aa7ed349b87c074e3c3a1331e81df82cf6a86aca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c" }, { "type": "modify", "old_id": "5e264167a9074cd93da5163e772dd612c8b2e1cd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c", "new_id": "d1e74966bbf54369334b6a8849f1e9478727788f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c" }, { "type": "modify", "old_id": "bbe37db1902116a627b2cb33087753ba48798810", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c", "new_id": "bdab783a0f03c414c7977be5e1faa5faceaeab31", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c" }, { "type": "modify", "old_id": "a6be57f5f3eae7eb3dfe37ba16a755048b855647", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/TaggedText.c", "new_id": "31b906c3e0fe87ecd28058d6f27ede7ca350aba3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/TaggedText.c" }, { "type": "modify", "old_id": "44ff8dc516658a22b0997e06839f4d297b31d9c0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/UserWidget.c", "new_id": "f5c95ce5e29c101df166ce53c03f917378fd33df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/UserWidget.c" } ] }