)]}' { "commit": "65caa8f2c4c837930e27955d1abca4dd7f8928b2", "tree": "480c95ff077eb1dd4861eb65ca93f59933f6013d", "parents": [ "e8b4a8875c0056551b8e9de8da474c45c73df05c" ], "author": { "name": "Leonardo de Moura", "email": "leonardo@microsoft.com", "time": "Mon Nov 07 18:20:48 2022 -0800" }, "committer": { "name": "Leonardo de Moura", "email": "leonardo@microsoft.com", "time": "Mon Nov 07 18:20:48 2022 -0800" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "d573de18fb9a2db58f61e9824d638dd053b263c3", "old_mode": 33188, "old_path": "stage0/src/Init/Data/List/BasicAux.lean", "new_id": "1d895b8c64046ee35724a2409c5eb1b2ce78ad84", "new_mode": 33188, "new_path": "stage0/src/Init/Data/List/BasicAux.lean" }, { "type": "modify", "old_id": "d2987cef6a881a81e7aede661786ebad1e4ae608", "old_mode": 33188, "old_path": "stage0/src/Init/Notation.lean", "new_id": "dd5ea506b306736a68bf2dc1d22a111a472521ed", "new_mode": 33188, "new_path": "stage0/src/Init/Notation.lean" }, { "type": "modify", "old_id": "01c477528661da9e2c7ae1bc5b31c5b876c43331", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/AlphaEqv.lean", "new_id": "b7d524cb459eb0e449934bc5e1d9f47a5eed0e9c", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/AlphaEqv.lean" }, { "type": "modify", "old_id": "ffe9de5320ef592ccf867e16368a79b3de6c4819", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Basic.lean", "new_id": "5a559e39995a920b8c0dd0574ee2cea35d966850", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Basic.lean" }, { "type": "modify", "old_id": "840095f60dc748e3afaea671420dea5c7fb3bb36", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Bind.lean", "new_id": "c4a9d425edd4528578ae7614fc9d364677bd6311", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Bind.lean" }, { "type": "modify", "old_id": "6e1761c204964cb1f65e032ac37903665dabe35e", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/CSE.lean", "new_id": "5a77fdb98e3dbe7ee4651e400f0b13aeea78de04", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/CSE.lean" }, { "type": "modify", "old_id": "d78c6c37c6bb488596bf85e4510facb857ed6d2c", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Check.lean", "new_id": "0ed3a544974c826e090d19314277e3ebc60abd0f", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Check.lean" }, { "type": "modify", "old_id": "927a82e51f13881129beff5ccb0471d13acbf451", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Closure.lean", "new_id": "ce2f5b36a657ef6e5bc5dc99abc2c03f6ec152a3", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Closure.lean" }, { "type": "modify", "old_id": "877f310c34ce41b05a2ed381c5d636812cd7e984", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/CompilerM.lean", "new_id": "d13ff8ac68d76c9d54ff0f78ced7b2929fcc3347", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/CompilerM.lean" }, { "type": "modify", "old_id": "baf134a959bc4a9062cae9dfbc8b136f53204ef9", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/DependsOn.lean", "new_id": "b50ec24629628b011a2f9afdb4af823af54369b8", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/DependsOn.lean" }, { "type": "modify", "old_id": "156004bcc23269c9d86cd0d953def3b64f1ebd1e", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/ElimDead.lean", "new_id": "8f84ff72beca7be1a41f8ab251de6ffb598c3e8c", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/ElimDead.lean" }, { "type": "modify", "old_id": "c46d207b863f787391cbd9dd5ac1247e6edd98ed", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/FVarUtil.lean", "new_id": "7c0ae7415a674855096098bdc713bf77f185bf1e", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/FVarUtil.lean" }, { "type": "modify", "old_id": "c6e8e21e93f081f1f8d94723891a27656f8ef4cb", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/FixedParams.lean", "new_id": "0c109705d9b2c8c32967a7b506afea1ed58fd806", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/FixedParams.lean" }, { "type": "modify", "old_id": "73fb385537f1e3a46a194af532a8a4df24d00886", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/FloatLetIn.lean", "new_id": "9849a20c8155850612525dc9302a94ec33a65efd", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/FloatLetIn.lean" }, { "type": "modify", "old_id": "1bc99d153ed7914ecf014af9598f26ae3f04f2ef", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/ForEachExpr.lean", "new_id": "79da9c1247d717bfd3fb54dac39829077e284d34", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/ForEachExpr.lean" }, { "type": "modify", "old_id": "4a4f68a59c5bfd81db29e46974cb516aad76efcb", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/InferType.lean", "new_id": "9318d0156af3e215ec6e89416f7b8a8f07300b09", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/InferType.lean" }, { "type": "modify", "old_id": "da225687c1574b37c20d586d0c5228fd52df80c3", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Internalize.lean", "new_id": "25d0d45bbfafbdb3020b6038063594bbc7b4cd36", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Internalize.lean" }, { "type": "modify", "old_id": "48f7fc1cc4ce9f7b75bda386ab521112ce1f3e92", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/JoinPoints.lean", "new_id": "76b31f6fd7093ee03b54250728467ba5853e0a4d", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/JoinPoints.lean" }, { "type": "modify", "old_id": "571493e810b48e60076ed6e48fb5206ed8a5da59", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/LCtx.lean", "new_id": "ba50bf037d5d0f2b5585573b8b04c0303cb295f7", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/LCtx.lean" }, { "type": "modify", "old_id": "e2a7413171151a5e675e496d80e3a0b912560b0b", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/LambdaLifting.lean", "new_id": "f75dbd88075e11b317e9da0778957bb2fe8a5bdc", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/LambdaLifting.lean" }, { "type": "modify", "old_id": "c0d4d1e9b3966d11522ba7caed80df2c3a90e0dd", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Level.lean", "new_id": "e37d502a2ffe9a96f0983e3bf73360d8b6e6a829", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Level.lean" }, { "type": "modify", "old_id": "335a7e6d34bd6f7eef89128476a7a9ad1a2220f0", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Passes.lean", "new_id": "33aefdc4b89a189bd420be4bb940f7bc3d8e2d92", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Passes.lean" }, { "type": "modify", "old_id": "48900164cea7975ee1f41df7cf9939e59bd95ae0", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/PrettyPrinter.lean", "new_id": "445bf27726c66bfeb89c4508d8c3dbe004555ebe", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/PrettyPrinter.lean" }, { "type": "modify", "old_id": "3537dcd6714f4c2ca336efc600398d1133e6c496", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Probing.lean", "new_id": "46d9b10afb72b0b53895e75ccb9c51075209efc5", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Probing.lean" }, { "type": "modify", "old_id": "0e3a48205c1bf686cefd22985f1e0726a7586567", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/PullLetDecls.lean", "new_id": "b80174336c7c8ce41ddf124cc467b5197236c3da", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/PullLetDecls.lean" }, { "type": "modify", "old_id": "2bdc19f697c625043d2606497f8c5446ab8c33e0", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/ReduceArity.lean", "new_id": "26ee53469a9f66f799a8dc6c68011c6372a6482d", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/ReduceArity.lean" }, { "type": "modify", "old_id": "5e7f97b6aec1b904f40c2950547bd38f6aff9eaf", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/Basic.lean", "new_id": "55a6ef200f3d2a5593ab65d29aeaf09921341e2a", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/Basic.lean" }, { "type": "modify", "old_id": "9fefd02e7435e4515911850157943e146ad5443b", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/ConstantFold.lean", "new_id": "25e9c7e51e448178c792918a27773cab80088613", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/ConstantFold.lean" }, { "type": "modify", "old_id": "ea523c32ad72b66ce14320817b1207a57b27cd41", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/DiscrM.lean", "new_id": "913e531766ec982e4572ad8cbc887b8df6884639", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/DiscrM.lean" }, { "type": "modify", "old_id": "b5285f938f8b82bc370bab5dcec03f4afee91930", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean", "new_id": "ac4fec8e8e8dbb3c64086199549353b7c227374a", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean" }, { "type": "modify", "old_id": "5b26014eb16ccc07e411732f09ccec803dc86b9b", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/InlineCandidate.lean", "new_id": "2b98328fd130dcd72d9b527dd89bbbb2314633b7", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/InlineCandidate.lean" }, { "type": "modify", "old_id": "248a2cb40c411957db44941d8bd40518512409d9", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/InlineProj.lean", "new_id": "e3f0b56c677ba7d16e3ce7d5071e734ae8d2a4c4", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/InlineProj.lean" }, { "type": "modify", "old_id": "e66bfa65c74eee5b0456c884f834d70c2922f064", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/JpCases.lean", "new_id": "a012e1842f8f951fbda6e4954633ca7fbf459ced", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/JpCases.lean" }, { "type": "modify", "old_id": "4239ee5b85850d12f3f3778ad12e8ee67e56a34f", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/Main.lean", "new_id": "69ed310238692d3fa362c3682014183c257e132a", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/Main.lean" }, { "type": "modify", "old_id": "14ae6d0562fd7dc53858ca0b68ccc80dcb44cab1", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/SimpM.lean", "new_id": "fe5fbda66a1410fa6da9abd34835838fc805da30", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/SimpM.lean" }, { "type": "modify", "old_id": "42f989b3240085a983a36bb9f6391260f977e56d", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/SimpValue.lean", "new_id": "74d2f1e9ab31077caaba4b42cc2542ac873699c5", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/SimpValue.lean" }, { "type": "modify", "old_id": "d6ce5e43c9640392fc11047bb1c3186da208faae", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Simp/Used.lean", "new_id": "7a25688fd0ccd16da1623433d1c24d64dea92275", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Simp/Used.lean" }, { "type": "modify", "old_id": "23ade849a29a5e799eb305376408243deb9739b7", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Specialize.lean", "new_id": "9adc39399b7242b2acc107f399018117f2d455a2", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Specialize.lean" }, { "type": "modify", "old_id": "0626ffc8757d86ae5d7a74efe64aa17a41d40eb4", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/Testing.lean", "new_id": "982ca3286574a0c026f0d0b227760486ecd5143a", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/Testing.lean" }, { "type": "modify", "old_id": "bad589b21a4f03e55de73ed80a893363b08d0c90", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/ToExpr.lean", "new_id": "9abc4fb15d07f8f1992de3bd50bcab240e09cb23", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/ToExpr.lean" }, { "type": "modify", "old_id": "cd13425a9c6d111e7fa2ac9f5e0cbc0dd4896167", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/ToLCNF.lean", "new_id": "56b3594a7196453a21d6c91cc7414657cdac8dce", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/ToLCNF.lean" }, { "type": "modify", "old_id": "e3aab073c937c13c3bfe76f31b80e16bd6f7f0ee", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/LCNF/ToMono.lean", "new_id": "ca8fd0bbd3e0c6d45d27dddc46bef18005cbaaa5", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/LCNF/ToMono.lean" }, { "type": "modify", "old_id": "e8f7371935c405b142d0a3aa1b9723f383301d1e", "old_mode": 33188, "old_path": "stage0/src/Lean/Data/Options.lean", "new_id": "9e16003d2a4356380c68990f680d194c3488b7b7", "new_mode": 33188, "new_path": "stage0/src/Lean/Data/Options.lean" }, { "type": "modify", "old_id": "b31f5821e32175e2acd1d2db57a9a375f5d8e71b", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Do.lean", "new_id": "a4a23b3dd5b5c9e62220346904897adb2f9eb903", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Do.lean" }, { "type": "modify", "old_id": "78fe213446611eb4e18df719580083d969be8001", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/InfoTree/Main.lean", "new_id": "57dc8691cad2b7daebaf41c22b88828a6a478e39", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/InfoTree/Main.lean" }, { "type": "modify", "old_id": "0e93774640d464e5de75f88bad7afd73daad4e8f", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/InfoTree/Types.lean", "new_id": "34e9e74366d6afdc2e3ebe1e4da8756f863cbd6e", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/InfoTree/Types.lean" }, { "type": "modify", "old_id": "a4d34646712e2d14e486e871ed615751480279bc", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/InheritDoc.lean", "new_id": "b629a9e12429e3a9b90bb808fd158dbb9096f6ad", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/InheritDoc.lean" }, { "type": "modify", "old_id": "5116ff4f4e4493ca66922b4119c23b47bf6a054e", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/SetOption.lean", "new_id": "29b70ffc67033766af6bd507c20165e6d59d8644", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/SetOption.lean" }, { "type": "modify", "old_id": "868c818f66ffb4acd43e589d8650002226e21f91", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/StructInst.lean", "new_id": "51cc3c1cc9eeb94dc2dc305935c00dc55659eb02", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/StructInst.lean" }, { "type": "modify", "old_id": "dacbeabeae6b6a1a68a578297ccf96e2f4822270", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Tactic/ElabTerm.lean", "new_id": "3c1a7f8ad3ea27e11abe0a6b650576bdc657f2ef", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Tactic/ElabTerm.lean" }, { "type": "modify", "old_id": "e493535eeb7c7c4531b448f705e8740a32c287bb", "old_mode": 33188, "old_path": "stage0/src/Lean/Expr.lean", "new_id": "629348f10cd7c9b7921804b5471f61dc4b30d34f", "new_mode": 33188, "new_path": "stage0/src/Lean/Expr.lean" }, { "type": "modify", "old_id": "c499d7a896576a539a369a68db18f73a7f0fbfa6", "old_mode": 33188, "old_path": "stage0/src/Lean/Meta/Tactic/Congr.lean", "new_id": "90cfb6affe3f60eaf80aafb7972a3009e99d77d2", "new_mode": 33188, "new_path": "stage0/src/Lean/Meta/Tactic/Congr.lean" }, { "type": "modify", "old_id": "24fd380ecd11e236c7fa3ebda68146b738efeaf9", "old_mode": 33188, "old_path": "stage0/src/Lean/Parser/Basic.lean", "new_id": "1d393e94369b7222e88291b3e5efbf2b6d94632d", "new_mode": 33188, "new_path": "stage0/src/Lean/Parser/Basic.lean" }, { "type": "modify", "old_id": "7f2bbc1617b2195f75db39387c68c29c57b11c64", "old_mode": 33188, "old_path": "stage0/src/Lean/Parser/Term.lean", "new_id": "903e16123dd7cdfbbc93925a23f0259aeb0994a1", "new_mode": 33188, "new_path": "stage0/src/Lean/Parser/Term.lean" }, { "type": "modify", "old_id": "079fb0c10c03ce7f4ebe3e8276b0a996974c677f", "old_mode": 33188, "old_path": "stage0/src/Lean/Server/FileWorker/RequestHandling.lean", "new_id": "f30cc076b401791be8926d0559674fc2d998c5d5", "new_mode": 33188, "new_path": "stage0/src/Lean/Server/FileWorker/RequestHandling.lean" }, { "type": "modify", "old_id": "159eda53d941d4f098a362b39b3f8d2967a12b5b", "old_mode": 33188, "old_path": "stage0/src/Lean/Server/InfoUtils.lean", "new_id": "273a8aecab8cc0f8d83263acc8e154e72acecefe", "new_mode": 33188, "new_path": "stage0/src/Lean/Server/InfoUtils.lean" }, { "type": "modify", "old_id": "6e0a2eb311036882118f66f53c8675138214afa2", "old_mode": 33188, "old_path": "stage0/src/Lean/Server/References.lean", "new_id": "020ac7856f180b5c2026bf4863ff623b1d7fd4e7", "new_mode": 33188, "new_path": "stage0/src/Lean/Server/References.lean" }, { "type": "modify", "old_id": "3cd56affc52a6c7a1b4792115627dcd27cc0da70", "old_mode": 33188, "old_path": "stage0/src/Lean/Util/Trace.lean", "new_id": "730d284e8aa0d8165059c3b8d14932fb822f1a3d", "new_mode": 33188, "new_path": "stage0/src/Lean/Util/Trace.lean" }, { "type": "modify", "old_id": "dd6a653e0fd7a2f1440dbb8a741ff28e4433889e", "old_mode": 33188, "old_path": "stage0/src/library/trace.cpp", "new_id": "cbb79d44c6e3eb8e387643b3c5c837e2a51a069d", "new_mode": 33188, "new_path": "stage0/src/library/trace.cpp" }, { "type": "modify", "old_id": "3eae4a7af9e63871940c04e2ad4466f35235d6f2", "old_mode": 33188, "old_path": "stage0/src/library/trace.h", "new_id": "aca633a526cf4256165c309a76a2d6d0ac726053", "new_mode": 33188, "new_path": "stage0/src/library/trace.h" }, { "type": "modify", "old_id": "214489ca50923059991dbfc8b49c76be64526f1b", "old_mode": 33188, "old_path": "stage0/src/stdlib_flags.h", "new_id": "aae6413ccc9ccea577579c7dc262522929f5fe7a", "new_mode": 33188, "new_path": "stage0/src/stdlib_flags.h" }, { "type": "modify", "old_id": "403f5fc2d826668e459225bef8c993655dca80f0", "old_mode": 33188, "old_path": "stage0/src/util/option_declarations.cpp", "new_id": "82e7ffd23baedcf91cf0c309dee0206213fb1999", "new_mode": 33188, "new_path": "stage0/src/util/option_declarations.cpp" }, { "type": "modify", "old_id": "5487673fbcb9208e7bada4ff0bd16699b06ed6b6", "old_mode": 33188, "old_path": "stage0/src/util/option_declarations.h", "new_id": "1dcf2d6a21006a42ff74b2312d7566c8bfec51e6", "new_mode": 33188, "new_path": "stage0/src/util/option_declarations.h" }, { "type": "modify", "old_id": "320f161c360aca15612483488089083168d26f9c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/BasicAux.c", "new_id": "01892d845cd8e6f1d565c45d61896780a3a15273", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/BasicAux.c" }, { "type": "modify", "old_id": "ad9c483f27630d02876a0495aff4267e6e1528ac", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Meta.c", "new_id": "2478d64cf395454f81a1bdaff2485c6fc229e61b", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Meta.c" }, { "type": "modify", "old_id": "a7d0d2849c580873a3cd1c95f7aba5f0de4212f0", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Notation.c", "new_id": "07c92edb9bbf7c7fe69fd30c5430c334139072da", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Notation.c" }, { "type": "modify", "old_id": "8e4d0a0ff1d9990c94edbab3706ef3a9aa57d5c7", "old_mode": 33188, "old_path": "stage0/stdlib/Init/NotationExtra.c", "new_id": "5fd94355f27d165baabe358672fa018306ff9afd", "new_mode": 33188, "new_path": "stage0/stdlib/Init/NotationExtra.c" }, { "type": "modify", "old_id": "2d128bd85b7b98c87f732e00086c0b9e95492f96", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IO.c", "new_id": "74886733004b1b81f3a3f3e329f6f7deeae7fb64", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IO.c" }, { "type": "modify", "old_id": "61b359a385f9fc07d5ce59ea8a6361aa8441a2c3", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Tactics.c", "new_id": "16ca4edf54678faec518408eaee29839f5b00be8", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Tactics.c" }, { "type": "modify", "old_id": "1785f5855b156bd6dc6bd62c25e9fafaaded719d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR.c", "new_id": "96ef56554af0bbb23f2c8217c9a7f777ff653138", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR.c" }, { "type": "modify", "old_id": "9cb43f7407dbee361328aa56f5bf6fd373429270", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c", "new_id": "e2ea00d2cccfe0bf38fede881845379990cacc56", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c" }, { "type": "modify", "old_id": "d7dad606d7358cd4754e319f113053ff02160499", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c", "new_id": "886c7c35fd25019279be8b0974335cd9903406ea", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c" }, { "type": "modify", "old_id": "f65026412820165bc1c056ea566173bdcc57b183", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c", "new_id": "eaeabf170b790847e7d4cb26409a14fe7fe73f58", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c" }, { "type": "modify", "old_id": "26fb150ed7bd5d4e010cdd3a9752835604b5999f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Bind.c", "new_id": "299cb58a5d771bbec7b8c395a238597baacedef9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Bind.c" }, { "type": "modify", "old_id": "25049a7fb545914285dc5a530cefaaab99e1ee3b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c", "new_id": "d09356f1333dfa00a8f16f909782c37c21825db6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c" }, { "type": "modify", "old_id": "016f525b0baaa7a47ad5c4a39f271e650933de6b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c", "new_id": "ceb6a00f70a655fecce076f32eba0334513447c4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c" }, { "type": "modify", "old_id": "be7fbce23211448f8644bfd04ef39b8e6bbe9149", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c", "new_id": "9a54a36d28a9c96b87cde847deaa6b28ef4f337a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c" }, { "type": "modify", "old_id": "8a400dbd4fa899e1c7156f277559dfc53a5b38ee", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c", "new_id": "005f7e812db727ea6d43bac0cc4240c47374f420", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c" }, { "type": "modify", "old_id": "0e65e61dcb73393419bef93f7007028d2be2628e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ConfigOptions.c", "new_id": "2723b2d222a182697f3eb52d5a7fbb021ccabe52", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ConfigOptions.c" }, { "type": "modify", "old_id": "f976f3a8d4cdef42ccf4a30f328db78b26364572", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c", "new_id": "d1ab2e1e7d2b938b9fe3c0b9742c949ccf03adc2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c" }, { "type": "modify", "old_id": "10b5ebbb1dd95b74fa74350238862e081cbaa52e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/DependsOn.c", "new_id": "d02ab2c6ec194e207eb7fa8907e3924354591494", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/DependsOn.c" }, { "type": "modify", "old_id": "e09a518d754f98f33482a141d2af80fbccfcfabf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c", "new_id": "fa54764f37568b04fa4f801c264cbbe5560ef15e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c" }, { "type": "modify", "old_id": "7844ee6fc6c08f4e95f46a0d5c620967a467c1ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c", "new_id": "d585d3404c549b6708cbd21cf5c2dfc235c4c7c9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c" }, { "type": "modify", "old_id": "c4a60db217c264e9946d6a3bfd2e262b1c733e77", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c", "new_id": "75d3ed174122fe9bf0726f3c68eda0476a86b79f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c" }, { "type": "modify", "old_id": "247eb3267fee5e3f2a1027b4daeff4c6d6d660c1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c", "new_id": "9e96d580641135c260695770416fccd11831c49b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c" }, { "type": "modify", "old_id": "05455a45338ef6db7c3d6ee706bf819e673e6415", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ForEachExpr.c", "new_id": "3a4011b9b28e91000314f1cd254ffd026240966d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ForEachExpr.c" }, { "type": "modify", "old_id": "b7b6821dcec620419a03e6e35bab4010ea8d238a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/InferType.c", "new_id": "9097db23b90acda5d382d01114979804f075efcc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/InferType.c" }, { "type": "modify", "old_id": "45ab895e5864ec104b8fbe23a6944e50bbbfcefe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Internalize.c", "new_id": "4e5ad5d6267a380c9e6f1eea05b259eabf2e0d36", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Internalize.c" }, { "type": "modify", "old_id": "ce4bf63a372a24bf10b1614db95f67b536209aa2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c", "new_id": "b8b2c03a87a815bdf62979ffa3c69fcb62ce7bd1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c" }, { "type": "modify", "old_id": "a31d2ab50b64803319d5f927ba531527c157ce55", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c", "new_id": "d9cb68a9346733440231f077e4286a02b2f4fb67", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c" }, { "type": "modify", "old_id": "b71c29b33a776798de926274db16189ffeae322e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/LambdaLifting.c", "new_id": "b391433c751b7161a22e4f07e34a7081996b1652", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/LambdaLifting.c" }, { "type": "modify", "old_id": "f7e2968a201856b56aa93e8599d28fb1772a70b9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c", "new_id": "211dfee1f0b5a4991f42e6f012a0edab72105367", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c" }, { "type": "modify", "old_id": "4b97f9894515887ea2cdbe9ef7d994fcb1897098", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c", "new_id": "9fb9e0fdaf67db58b94f77ca28679a49f4d10fc1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c" }, { "type": "modify", "old_id": "bbdcd0f10ad6675b497350e0c2f1935d33262863", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Passes.c", "new_id": "b5a4f72dbe0ac71a614a0f8d9575f52f069cb0dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Passes.c" }, { "type": "modify", "old_id": "3e28b675e933adb2020aaf65d74a5212d34f6347", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c", "new_id": "13192c61c0220d3b2ebef0dd55c5c762590341b0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c" }, { "type": "modify", "old_id": "7150b042e5bcf0e3251039f235feb59e56159a5d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Probing.c", "new_id": "535d5b193445eb3b6cc32a880e8d3196752c7282", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Probing.c" }, { "type": "modify", "old_id": "5d4c656786e1063f680d362fae46d422e40d0a27", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c", "new_id": "2c2434e6337bb9273ee9e73735bad9b0fbf8cd05", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c" }, { "type": "modify", "old_id": "f15832dd80413c55badc88997581db707c3d0fac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PullLetDecls.c", "new_id": "74323cc06b7d786abe442b5a9a89a5ba4d2c8bde", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PullLetDecls.c" }, { "type": "modify", "old_id": "ce2324a35502c6ebe063855e6348edbec225f5fb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c", "new_id": "19bc06e6236a8c1974912adb55f64ce3439f9600", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c" }, { "type": "modify", "old_id": "fb0f52db4dd8d331f3e52abb5d60f7d80c06cbb6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c", "new_id": "0d37c01ca1e29f68dbe5a0ecfd1d28db6b858a4b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c" }, { "type": "modify", "old_id": "d83068bf5efd93e9033e2a81e25c0fc45bb0f7db", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c", "new_id": "7df304d60c2ebb275bab1b47d6851d76030e309e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c" }, { "type": "modify", "old_id": "c773cf36cc431917d6f0e627122bd66a671c3583", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Basic.c", "new_id": "dc1c40cf8a7151fe0fc5be672b1c9a6121e91993", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Basic.c" }, { "type": "modify", "old_id": "bb70266e08838e34bc5868c90394777b89e6d477", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/ConstantFold.c", "new_id": "e2331e9f53a08e0dc745936721b7341c79752bd6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/ConstantFold.c" }, { "type": "modify", "old_id": "fad79d0e8be4fe9314334a99ca2a55cbe0e0c38d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c", "new_id": "0a40e878e658f192fa1e200311db4df0a7f5fa01", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c" }, { "type": "modify", "old_id": "fbfa74b040db935147c760c51e111dfc3464f752", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DiscrM.c", "new_id": "60a8ced33d8d3abdded3019dcb2ba623d1644790", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DiscrM.c" }, { "type": "modify", "old_id": "d2e925342318a2442fca9139494eaa27069c4899", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c", "new_id": "ed83aee33b26bb1ef5ec9713044d2a73b2f273cd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c" }, { "type": "modify", "old_id": "614c153e2dde043b1c7c7211565fb2782115ba14", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c", "new_id": "3081a5e443ded938518e9699dd20d9b2aee9a8ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c" }, { "type": "modify", "old_id": "0448012a4feef1b0c7fb0fc7479e627ffc1a8469", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c", "new_id": "df50da1c3aa3fe9f791abf158060d214467d24b4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c" }, { "type": "modify", "old_id": "307bd77fca1f2867c8f1da6007715396445000e3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c", "new_id": "241e599d2414badd648d0bc08b25b49d0c319aaf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c" }, { "type": "modify", "old_id": "897da2317c572f566685a07c2f342b7443a84f4a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c", "new_id": "651f62ee9cb20f2ecfcb254c0d433f94ba58be86", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c" }, { "type": "modify", "old_id": "b4bb398942f15d482b7a658515c7d4200b1adc41", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c", "new_id": "e426654a5507f18d00a0ecbfdde2c6920d948aca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c" }, { "type": "modify", "old_id": "98a3b41f2e61c387de7f1387ac7bfaf9e32a1e6f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c", "new_id": "5e48d6ab8892f2830688758c05f0a004755c70fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c" }, { "type": "modify", "old_id": "32f060840eba9763d9da66eb73155e2b0a441b13", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Used.c", "new_id": "1c37e242aebc51da6453832314213f00ace1341d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Used.c" }, { "type": "modify", "old_id": "cc952262e25114fa0ae5af7af12d260e92013c9b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c", "new_id": "a99ffa50883430e63734384472230891fd17ced0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c" }, { "type": "modify", "old_id": "43c962d4e3d176f02ecad9e0ad046f897e788e8f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c", "new_id": "2b07d168ced4b2acd6df36c080489a56bc86763f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c" }, { "type": "modify", "old_id": "00e9dc299c9ee34443c8781bd54e13c294ec9951", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c", "new_id": "c632eebbad3c4c663ed6acc833a86baa605a1af1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c" }, { "type": "modify", "old_id": "f468575288797d328794c1334c7a8185b50797b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToExpr.c", "new_id": "3a6f3989e77c84b90560a6033babb3a10ba2c17e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToExpr.c" }, { "type": "modify", "old_id": "4fadfe9f0d916cc8e15ab0440fc28396cb1a8c8f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c", "new_id": "c46319cb4b6282df7b71f9f2cb8c811b9d0ebb6a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c" }, { "type": "modify", "old_id": "a79e58067a2dcf351cbd1eea32db7cd4d9a63fa0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c", "new_id": "d117f5af5ae79739b22833fd06b36f6b2d0669e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c" }, { "type": "modify", "old_id": "15f29c7d3cc1443d6bbbf3d29e956a9239f410b0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Main.c", "new_id": "be49c77926dde1ee7eff49dd45f09edb814dceb3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Main.c" }, { "type": "modify", "old_id": "c135cf443bb69d9a8c0b400626a073636f8240c2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Options.c", "new_id": "b0cdf58f355e7459854cfe99dbd9adf96b9b2a50", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Options.c" }, { "type": "modify", "old_id": "dc2694401e04b3a6965db9bd5569104e900e4cd8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/CoreM.c", "new_id": "b3bbe1d72fa8b0ec8ade28019b3ca091b8cef256", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/CoreM.c" }, { "type": "modify", "old_id": "3aab4cd9dd6c8b5363786647cd85ea7e26d0ce7f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Format.c", "new_id": "4594146475ebd94d8fa3c1726d4dfa89eb7cb225", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Format.c" }, { "type": "modify", "old_id": "316b7e34a99a6f81517c157d3964e1dcbd56bb64", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Options.c", "new_id": "0ed8c6997dd5281932f355bb13ab765221e29ac2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Options.c" }, { "type": "modify", "old_id": "6e757693cf595d919068b111ead11a5d4ee43b84", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "6fb68ebbeee498427cd7a81c90eb457f5068db5c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "f432c558b575b9ffb8bb58d44763d8417b7b8d53", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/AutoBound.c", "new_id": "fe11665ea630f346cd008fabd0e41578fc31d715", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/AutoBound.c" }, { "type": "modify", "old_id": "f8ac0f08a5f744342ffe4acf42c16ea2338e4bbb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "40ed4f5de31e8bccbadf169e64b148e817702f91", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "403e125aa444a87723d7bd9f4a252d74a7a7e9a3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c", "new_id": "9b6afca1bf39c56f258dc99de13628bec4b9bade", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c" }, { "type": "modify", "old_id": "a116fb375082bd69b1dc3b4d0790a891a92dc73a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c", "new_id": "c401838d9fa58e56e6cd5e4b24c6ffe2c1f1ccbf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c" }, { "type": "modify", "old_id": "73e45c63e537181ec5f992f3ce56ab3620ebde38", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Command.c", "new_id": "41554d730d5f51bc3b78b017beb7bb0a29b53310", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Command.c" }, { "type": "modify", "old_id": "698382fff47e133bfdbda4911323a93b1ae29e90", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Declaration.c", "new_id": "05b936499fcd1460966aee907487525e176fd175", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Declaration.c" }, { "type": "modify", "old_id": "6ae53776a0cfdfa76da55dfe0935baad242b091f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DefView.c", "new_id": "416f8c9f51b68141fa779bcfc13690f93c4dbdf4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DefView.c" }, { "type": "modify", "old_id": "c066b2554b44e643387f387074da02623047c05a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c", "new_id": "1063e0e8765a9154b211bd201fd7df7014657d1d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c" }, { "type": "modify", "old_id": "0eae2365163bc2e1fe96c29c19a144235f503a0f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c", "new_id": "88e3ba69e04dcc3a948d7b9da4868ffa0254e13b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c" }, { "type": "modify", "old_id": "8cc63db53cf18bfde6c078f7c5c4f693a8388f12", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c", "new_id": "0678f2382023e5301527c22d3c4d471d87d905e6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c" }, { "type": "modify", "old_id": "732a29a7439c130b77209500fa16020359e69f30", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Hashable.c", "new_id": "0deb2e1c5999d48d1f5b4c89110491d71be09940", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Hashable.c" }, { "type": "modify", "old_id": "7170a20b138944c91cbdf1422d4489e3814e3bec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c", "new_id": "76a1ad46f366f63b3befc7ad1a597861ea308ccf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c" }, { "type": "modify", "old_id": "e637b7f2ae1e903a5cb8d188a84b6537c0d29fee", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Ord.c", "new_id": "5f79b96ad58a85d2c62bca797c59a59251cc81f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Ord.c" }, { "type": "modify", "old_id": "e9bd851b3159e6e42de1cdb2b4b7fc457b20e804", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Repr.c", "new_id": "4abf5b207cc2aa3c227349855dfe1538053bfbbe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Repr.c" }, { "type": "modify", "old_id": "fc4e093679d67249d7c2f962a7a46d48fa202205", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Do.c", "new_id": "b32e87624f7df58c5e71ba8fb17179a65bd5f8f7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Do.c" }, { "type": "modify", "old_id": "660fbc93284346e76b9b72570e241535686ec64f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Extra.c", "new_id": "1db17fbf2b20041788a46efc3a8836c4229fe7bf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Extra.c" }, { "type": "modify", "old_id": "ceafb34fc12062c40144abc3ead9f71705318139", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Frontend.c", "new_id": "93bbee0a5a1b8673b14407b6d4c6c814fca2be10", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Frontend.c" }, { "type": "modify", "old_id": "c6adb5380bebbd4246c322641a821d9d11e08fca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "d4278e1d059ca7b78c780c6d4dcea65d4606ad80", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "eb8ad3b55fe165206f69f3a35a2b1b9d39716f08", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c", "new_id": "4ad5707d5761a8bc7f96fa9b8adff6aa43ec5ae0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c" }, { "type": "modify", "old_id": "59a804679763bcad1961d91b712ecfb49bfcb49b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InheritDoc.c", "new_id": "88ce37fc26540cd1624f536529a5499b57a41c46", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InheritDoc.c" }, { "type": "modify", "old_id": "c1aa6a387cdcb0015fcd35ce1ddf0d9969650baf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Level.c", "new_id": "e58ea91f414cd99b6495db89db168b0df2dd3821", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Level.c" }, { "type": "modify", "old_id": "50be09a65ac78d7ee2fed6e63c0bd016ecb208b7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "e657c348cda4a0f69e7ab192f44342dbbc1a8eef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "050c13ec87bdaedf4601b1d4701495127a4e650b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c", "new_id": "c42c79029997108f507c89a8985cd19a616c41ab", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c" }, { "type": "modify", "old_id": "2fd64feb544fd52f66855b1732fda49cfca3e0f8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c", "new_id": "ab161950b0f6ff033b8fb50395f2c27ab9f3bbaa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c" }, { "type": "modify", "old_id": "c016e5dc7a0b16a4b60ac8a118a9abedfdcf38ad", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c", "new_id": "763cb553c8577aa1d75452ed2ba98f0b5c8316bf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c" }, { "type": "modify", "old_id": "3db40d9f5fe0ccf58b129a7b42ddefa935516f8f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c", "new_id": "16519bf9bdaae94c9d11ed5426f1a660577d56c7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c" }, { "type": "modify", "old_id": "68ad5d9f814eda0b04474e6b797447a453f99b9f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c", "new_id": "627e884e94d224e55487509da9b8b26518811b77", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c" }, { "type": "modify", "old_id": "fc638c4127b8686903c89c58fcb3384bfe862c02", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c", "new_id": "4dd87979b92c4129311adf210240c11190f1bccc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c" }, { "type": "modify", "old_id": "2b6608f972c4b92873102930a3b6e6844bac8498", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Print.c", "new_id": "daea66da6979726bd2143c46e2bad3c054e387c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Print.c" }, { "type": "modify", "old_id": "396dd8576f9341cb2a115ca48b77056f60f98285", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "cd0d6d9bf74da602f122f004e48d092005c45281", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "a90d2195573474f3da2a8f8a08ab17a9d8c054e2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c", "new_id": "d5b4bf19396035bc99553e4ea2351a6328135f0a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c" }, { "type": "modify", "old_id": "b2adb78699bd6c477ff4d228adf39fd88431531a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c", "new_id": "50f59f2086aff92bc96ee6bcdea6511a6ea39ff6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c" }, { "type": "modify", "old_id": "6ddd5a38246bb1fa25a839e2b66a8911f6a3a94b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SetOption.c", "new_id": "5d501a2f99010893b5673690714eb45e83487e57", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SetOption.c" }, { "type": "modify", "old_id": "3bb899ef537fa7d21800efbb194b99e109ea8ee4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "3d56712b298954d284c2039f77f5120a3162c936", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "b529749f4def688a14a5f3fb67162c7d39e40297", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "53bc6fe327e2b984e863248f6c3ee5b71c8eb7dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "ea7869362c5d654eea2812c6206d361b4fc6d542", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Syntax.c", "new_id": "ed2344eaeaacd77ef445273ac3c7c6a3cdcaf823", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Syntax.c" }, { "type": "modify", "old_id": "92841e2fbe8b2c2442870d1d99f10268d11f1cc4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c", "new_id": "443ef3696026cb042bc49a3004c67efb6c3cf805", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c" }, { "type": "modify", "old_id": "3c5d453cda76f5136f150310a67f5d382e1d2247", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c", "new_id": "0d768e0d41672a1dbade5818ee4c4cfda8687175", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c" }, { "type": "modify", "old_id": "db34c1503a769e5d4f6dcd50c0326b2bf7fb557b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c", "new_id": "ed213a48779d08b42228f08c208f3bbee854471d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c" }, { "type": "modify", "old_id": "fc6ea0582d2773046b3dd8d2a6b7c3f8dad8c297", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Cache.c", "new_id": "aaad03a92e715a6b8f454c9b53506154bdc9ee6f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Cache.c" }, { "type": "modify", "old_id": "c338d0100e71b993921faf78054ed61f5bec94e7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Congr.c", "new_id": "ea7591cafa96c444f9e775931d5fc8335196d521", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Congr.c" }, { "type": "modify", "old_id": "949d45c55b67601c4faf47e68bf1ce1de01846fd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c", "new_id": "9b129e32f02fd3b32ac2e20bb115b182ce7bc957", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c" }, { "type": "modify", "old_id": "c7e853198641c40942b3f2a1b54aa6dd1865b8c7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c", "new_id": "e891e66b7aaa40c3f519957ff11de328f3ae744f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c" }, { "type": "modify", "old_id": "5e7ebbf9bc67d08fd8e0a50d804db136413a3cf7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c", "new_id": "d1d88ad5303fa949664fddbef5f0bc15cab0ffcf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c" }, { "type": "modify", "old_id": "2696362a16e96a67a691d5515ade17e45ada8fdf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term.c", "new_id": "ea4bec1057e60c2d94e1baf401c48e9ea413ebbb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term.c" }, { "type": "modify", "old_id": "12927eb6a94325a64488d2daabc781342ee487ba", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Util.c", "new_id": "78cf3f3273b1470555d8a5b584c83021482fbfb9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Util.c" }, { "type": "modify", "old_id": "ac34788d043236f3017394980263071e910ca654", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "231ea6c28743435b95b4ededd8aa7b4a90a5b044", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "e19ad87ac171ffd34f8a9e769d4f3c4e8773d3a6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Hygiene.c", "new_id": "e97aa7816cc595142990d7cab39ddbce0c039f4e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Hygiene.c" }, { "type": "modify", "old_id": "8236e803885956b87932f5745e170342e044bef5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Basic.c", "new_id": "3fc67eaba38e80b1e5f74e9015b194734425883c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Basic.c" }, { "type": "modify", "old_id": "6df5de74dfab09b4ff1138c2048e7cd61875bccb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Builtin.c", "new_id": "bf6d74bf439d57a64948e727952332d4fc80f6aa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Builtin.c" }, { "type": "modify", "old_id": "36379355ae79e9954e9279b4251d194b1b89608c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Deprecated.c", "new_id": "0ab677fdba34d5356eb15c924360fbb310adb5bd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Deprecated.c" }, { "type": "modify", "old_id": "b48d9b67ae2c61798f496fd2477f59dc897fc560", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/MissingDocs.c", "new_id": "7e4ddecdc0b98a11eafdfbac6b8d2e49996010ee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/MissingDocs.c" }, { "type": "modify", "old_id": "636237c2eb86ede0cd10f5fb75ab5cb7dfc76b04", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c", "new_id": "bfefc0cdd619a1d42a26e398ef3680d4f361e22d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c" }, { "type": "modify", "old_id": "d700e37a3e5ca0015b968bd687fe3be64c19554e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Log.c", "new_id": "b08de5850dd2f6b944ac7707adc91b4ab55cad52", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Log.c" }, { "type": "modify", "old_id": "298b115f943d0b53ea7eed7ca7e384356dc25efe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c", "new_id": "460b7585390320686a53868083e73ffc5d4fc532", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c" }, { "type": "modify", "old_id": "fddcad56b8c924c079a56539df362af4330ba2e2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "93b0ac599b43740b4db2f9dc2e9828aa61f55eff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "modify", "old_id": "dff6feaeb6880b09f401eec35ce1845238942dd1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Check.c", "new_id": "0069ae55231c7078b233d94e3054a212caa8556c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Check.c" }, { "type": "modify", "old_id": "ec19d84242ab0bf69d302bdf3aa37a288d1d72f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Closure.c", "new_id": "1fa856fe9ee4d7f813478c6442c35be9dc2fa50d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Closure.c" }, { "type": "modify", "old_id": "0f6f748b21b7a3f8bad0dac97dba67a3109c0780", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Coe.c", "new_id": "26139b742eadfdfe83e5ff19b0128c031dd38cb7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Coe.c" }, { "type": "modify", "old_id": "e1e99129fb7fcc91f1698b378ddf89c6adf11ee3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c", "new_id": "5930d5da8c2e62c204e731806cd856236f24032e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c" }, { "type": "modify", "old_id": "0d31e8efb885cb98529b6ab14c046aa49209a47f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprLens.c", "new_id": "cfc5e27305157a5176ce62a1d7ed2a2b25b454f9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprLens.c" }, { "type": "modify", "old_id": "71fdb562513b75b749236a957dd82c9982b17e5c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GetConst.c", "new_id": "69c97df3172c540bf0a3049e61aca3c3d3bf2b9f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GetConst.c" }, { "type": "modify", "old_id": "d0db8019b0e686447e44def6c8779c6f7248869b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c", "new_id": "095f078a86c96f19c0f38febc6fa23355ea17e7e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c" }, { "type": "modify", "old_id": "fb3e3ec5dfb354860de347c678e2e315db6229fd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Injective.c", "new_id": "0d2b026c95936b5199c275a0c76e5e762d4887c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Injective.c" }, { "type": "modify", "old_id": "90d5418c7e61932968412d49af5cead884e8f4ee", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c", "new_id": "d4e67a1ce75051207c0fed29c4aae97396b4c204", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c" }, { "type": "modify", "old_id": "29e51a730ddb4075c18f29f9046ff906f9366283", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match.c", "new_id": "cb726084ad6d9e1dd2433493ffcefde41355a482", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match.c" }, { "type": "modify", "old_id": "cc0f32cfc44042e805fa40d2bcade1b00b2ee941", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c", "new_id": "8610f9a576f3ff9942dcd630183fcea873dcbb65", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c" }, { "type": "modify", "old_id": "71854f54512fee617f23367d0ee3c8cc5cbfd08c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c", "new_id": "cd295338ed5581665131d4ace3fed76a464fcfec", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c" }, { "type": "modify", "old_id": "95160b757f6638bafb3ad64c1588b91a378ab652", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/PPGoal.c", "new_id": "b281749d99dd8f615db4a71d69f8db4a0e372f30", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/PPGoal.c" }, { "type": "modify", "old_id": "351f2611e698c38c5eb024496b7225f905450041", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SizeOf.c", "new_id": "976fae534823c2e2cb10d743b7ff01dd63bc1225", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SizeOf.c" }, { "type": "modify", "old_id": "30157e2517795ad404181a47e200fe334798426b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c", "new_id": "52512f7b528635822ecb4be382032c4d7d581bb7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c" }, { "type": "modify", "old_id": "42cb77c70a51bb0b66378b6874f1270032d9b237", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c", "new_id": "541382ec597a9a1f60cd9eb6dcc1aec885191dfd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c" }, { "type": "modify", "old_id": "805e5b1dab039cbb4e989991fed0e22ec7408b8f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c", "new_id": "2f44be16d92fc48de7a2e27feb3ff043124a09f2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c" }, { "type": "modify", "old_id": "c17ea200456dfd3e044c98b8f65329ad2c547eb1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c", "new_id": "0fa302447f69e6b3be685f0fbb93acdb1d83e40a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c" }, { "type": "modify", "old_id": "ba9d48ac47295fac492072da8424865c3e62a5c7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c", "new_id": "7c124f108734e686244119783f946d69c71b107b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c" }, { "type": "modify", "old_id": "b889361f803291f76ed0428b2b386e702ae9df8d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c", "new_id": "c825015270c22b13795c2652776896be738a0bae", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c" }, { "type": "modify", "old_id": "e87fb679b3e3cbf584f8cbf6a8856d0cb7f5d0e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c", "new_id": "e322c23d5b7067e244fe2fdc20554c5127f8c377", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c" }, { "type": "modify", "old_id": "71acf1e32c52bf68dd670ce342500faadc249076", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c", "new_id": "093d4f0ad9e83f56249f8f110227dec99c8f6d28", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c" }, { "type": "modify", "old_id": "bc4aa5f498b632de4d0d34c6cbd72abf3f8c2a97", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp.c", "new_id": "2d03c6dccc0df58203ab5e8aef637c2b7322f12d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp.c" }, { "type": "modify", "old_id": "1dcdf1bd7b5d666324314567d9f97db612b152ca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c", "new_id": "6868ed1459d64567f6474bda39176539e9ac1363", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c" }, { "type": "modify", "old_id": "33b98b17e162dc6a7e56cbcd3e85aa9067461cbd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c", "new_id": "8a2afa7f93ec1349451ab2f2201638a302ee7f36", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c" }, { "type": "modify", "old_id": "b0a9e3a53bbb6dbf455219b5fbac707ef4bcdbf8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c", "new_id": "f1b74310838482c07143324ceae0899d8fc2fe29", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c" }, { "type": "modify", "old_id": "b2716acc10145aac17095f7de477d3b9ea412525", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c", "new_id": "0f04f31b2f90e6dbb7f761b6daf72ca3fdd13313", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c" }, { "type": "modify", "old_id": "52e58cf126561bc2e88cdaccbf6d6ce1ed7707da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c", "new_id": "12dffeb7cf695a413e688105fbde41a7d736d797", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c" }, { "type": "modify", "old_id": "a739df04d2b3a8ca0fc8dc9b7f0c2479ec27f82e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c", "new_id": "9aa7101de0aea46b7e5d08c0af9c34e8bfdb1a19", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c" }, { "type": "modify", "old_id": "7f38fe251633c7059aabc22c5e536b4c26dc2a70", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "0831e7fc4438815c163bef5c0aba8656f62a3828", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "8be7a3088ca8681a1ba30442389bf98f8c524ed2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c", "new_id": "1e883ea341960f3f9c4c710d2d93521d789468cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c" }, { "type": "modify", "old_id": "151d6f13f58cfa149dd261c8f9ea9992d1e6358a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/WHNF.c", "new_id": "bc4ab78de14c97da4bace9265f3229f1d0345b7e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/WHNF.c" }, { "type": "modify", "old_id": "52776080b7977ea68cd7f514d93baa2f1f74f085", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "983ca3accb71fa1656f3cf018ce5acc5bca86dcb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "336924dfe60716374b3708f2b27df657e45c846c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extension.c", "new_id": "3433b0194bd07ab27a1ba0d02b79016056492ab4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extension.c" }, { "type": "modify", "old_id": "456bea0677c65e67298065218842636a0a3f8d27", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Term.c", "new_id": "4f23de2e06b5ebf75e099e56da3d859f6f6fbed0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Term.c" }, { "type": "modify", "old_id": "68099e3d6989c734d77fbc4c2ed42770ad8e2241", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter.c", "new_id": "2342ba05a74b3ac9965dba838717811156a4c83a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter.c" }, { "type": "modify", "old_id": "9f1b4cc597840ef8ac2ab9fb07b1b425677c2f7e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c", "new_id": "e05f3977cef4b4c9134efe0cf49624f9b02e2c45", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c" }, { "type": "modify", "old_id": "5db1b7b48815d6d18444d4ae716ca87542485585", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Options.c", "new_id": "ec012b552a7bda2b9758328d26ee8b3eb95a2f87", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Options.c" }, { "type": "modify", "old_id": "97dfb311a43af079d5042699a0b7839403e4b2e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c", "new_id": "b1373c62f1b42bd5f8cc5d84d8b024ca4f9e1843", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c" }, { "type": "modify", "old_id": "c6c6ffdc8ab45abd2f93bba19be817135c4f28f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c", "new_id": "debe4d7e3cee0e00a214b620b7ccda520918a2cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c" }, { "type": "modify", "old_id": "e1f79f691a9671fcffc9d8943d490b2d28ae0e00", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c", "new_id": "c682c297004de28984a33fb73fd7f8dd8deebe84", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c" }, { "type": "modify", "old_id": "4d2610e871eb4fe751b21dccdc6d9111e471d659", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion.c", "new_id": "4aec6ecaa224264bce3bf32ef2185a9e651e4350", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion.c" }, { "type": "modify", "old_id": "89b943c5a14e3c10fcf3d775787482dd47233a6f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c", "new_id": "54141ade79953a2cb0d6accdc79c2aabefbcb18e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c" }, { "type": "modify", "old_id": "72716bf7677649c8668adb0302a1cdbf5c397d13", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c", "new_id": "12776f4b1111e97edcba15b89f036fd5d1b38bad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c" }, { "type": "modify", "old_id": "f685051fce44c65434c7f05bc4711be3eb5e8201", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c", "new_id": "1c190cd782d1d1c84c8c1a8bd87b20ec00ddba52", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c" }, { "type": "modify", "old_id": "dd7c48e3c3cdeab39c684486075d38ff9252b166", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/References.c", "new_id": "59a71abd81a04dbf23d61b990e01f0afd4568b4e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/References.c" }, { "type": "modify", "old_id": "d930326828638ee67b67737e67d909d769e013ba", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c", "new_id": "b3ebce9cea73face319316adc7e2ed6d77057399", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c" }, { "type": "modify", "old_id": "5e8ace113a88f63de6a2c87664089580b05483db", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Snapshots.c", "new_id": "66085c946b397d39213c33b8d75a7b7b438c4897", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Snapshots.c" }, { "type": "modify", "old_id": "2ccf48b4527f948a7a308b7cc6234b3a7960257f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/PPExt.c", "new_id": "c4ffa63d9e5905b8c475ab1da2618b081428a3d6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/PPExt.c" }, { "type": "modify", "old_id": "50d738fdcfee9e8738cda7670bd6c1672a4ad897", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/RecDepth.c", "new_id": "1576bc6563d4f06cd2c04b31d0890cb6adb6ca20", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/RecDepth.c" }, { "type": "modify", "old_id": "bb97ec73113ca45faa8e8cba771c07d92ba07fe6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Trace.c", "new_id": "aac058745b65fe33713f1b1f93b5bffe7a60d4eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Trace.c" }, { "type": "modify", "old_id": "4bb25fe25d0c4f589d6f21317b50f22e2b237850", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/Diff.c", "new_id": "7e2378094d93654e3c5a1edd9601a1fa01735ddb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/Diff.c" }, { "type": "modify", "old_id": "3baa6dbf8b35bdf0bbdb30348a7d30df9caece54", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/UserWidget.c", "new_id": "7bc5babe96b73f05683b7558adf1c9b3a2c56681", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/UserWidget.c" } ] }