)]}' { "commit": "8b214965654397d4f62d2b6f62ebd49c0a8c127d", "tree": "b87d071adef86e849cf77f8e825eb9dcbab03fff", "parents": [ "238884bc5260b74c4ee66c871ff6a50ee89375ef" ], "author": { "name": "Gabriel Ebner", "email": "gebner@gebner.org", "time": "Mon Jan 23 20:21:24 2023 -0800" }, "committer": { "name": "Gabriel Ebner", "email": "gebner@gebner.org", "time": "Mon Jan 23 20:21:24 2023 -0800" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "764c857efc09f5da0452c18cd970ae0176e7896c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Conv.c", "new_id": "654dd9363eaf6846602a923a1f1d4a8dc187988c", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Conv.c" }, { "type": "modify", "old_id": "0686cb0d35621077f4e6b3620ce7b0481214a0bc", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/AC.c", "new_id": "7bd4456fe6560d66df425fce1be8cf0a170ac600", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/AC.c" }, { "type": "modify", "old_id": "e296669b4cc3acefb69f25f445f8b2fe22700cab", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/BinSearch.c", "new_id": "fb885219346306f99df1fd53be282809dcb168df", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/BinSearch.c" }, { "type": "modify", "old_id": "2888d9625fbcee8fbe7bbd8aaaf02e1a9fbd5e3c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Channel.c", "new_id": "a83031c3cbd196b4f67ff83bdc75bc0bec511e02", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Channel.c" }, { "type": "modify", "old_id": "d451ee64816c045c77cf51c586489409c269c1a6", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Format/Basic.c", "new_id": "af5d49a4b95d2a5294d34793ee6df3911ebc2926", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Format/Basic.c" }, { "type": "modify", "old_id": "efbf69166c95e88813c12a2d339c8fe73139c16d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Format/Syntax.c", "new_id": "7e6500bb29f681559cd1f9beb0b521648b0c8008", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Format/Syntax.c" }, { "type": "modify", "old_id": "72cabcac275930e0cb68d801c64299a09a9dc215", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Repr.c", "new_id": "82fb7eafc10f85114c30304c251a10a1064c09f0", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Repr.c" }, { "type": "modify", "old_id": "729da2e4ae11a74c0748d9501c460288d7b46c1d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/String/Basic.c", "new_id": "e275266c01a3dd25d657999d60a99db258759e3f", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/String/Basic.c" }, { "type": "modify", "old_id": "96cbd7c6dcb6f5a4fc96aa7ab2e5cc584aabfd19", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Meta.c", "new_id": "4fa7a5bd848273edb64de29a14a3f839f1c090cd", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Meta.c" }, { "type": "modify", "old_id": "6218c6fc27cb28bdd687d37846ae820089f924aa", "old_mode": 33188, "old_path": "stage0/stdlib/Init/NotationExtra.c", "new_id": "eb224addd2936bb21df7159d9b21730ba0b0ba04", "new_mode": 33188, "new_path": "stage0/stdlib/Init/NotationExtra.c" }, { "type": "modify", "old_id": "cfca5732da96fa2a8250b0e030b213ed55949c35", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Prelude.c", "new_id": "0b0d1c9371d02e1d3d0188d96ed07e0b1f6347ed", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Prelude.c" }, { "type": "modify", "old_id": "93c200cbbe90fcb4e855a10b7fc4a96044c0f29c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IO.c", "new_id": "294e4275bc65215085652d79bdb8e05e2d104e6a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IO.c" }, { "type": "modify", "old_id": "7d713013c639a3122fd001d612e941e5c178594b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/Uri.c", "new_id": "22103bc9b52f71227da4e955d67ea5635100c65d", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/Uri.c" }, { "type": "modify", "old_id": "02d6b6e9aec0bf01c45443f22826f588b369e982", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Attributes.c", "new_id": "79ea10869ec793d84993e2e43e1a085a9e07bacf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Attributes.c" }, { "type": "modify", "old_id": "43797f9d6d2cb376269a0f855966a91794f27bd3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Class.c", "new_id": "5714b1c5528082189e2048cee638143714311f7c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Class.c" }, { "type": "modify", "old_id": "feef32611dc3e82932091e781863fb3c83c0dc6a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c", "new_id": "1eae8b7255fdb5b9dda2d6bfe4921d29795ead39", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c" }, { "type": "modify", "old_id": "55aae4c6b9d81504a67a9a8459788409ecba32f4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c", "new_id": "b7474c0bad63165382b7f99ce464b432848e6638", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c" }, { "type": "modify", "old_id": "93fcac5f3a5e96e5a256039dafa37c109f9fd81d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR.c", "new_id": "489e3aa1c7c46d191c3845541a6748d84d919543", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR.c" }, { "type": "modify", "old_id": "6fc06317822176c91fede131cd81030a97b698ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c", "new_id": "4f19ac1c56eca166433b0a10690eb501b00b5b16", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c" }, { "type": "modify", "old_id": "161710a33b2f4c18ba7e7e6c3dafd24dce408571", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Boxing.c", "new_id": "223d8bd7c9e851316f64b49ec4b296697f410332", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Boxing.c" }, { "type": "modify", "old_id": "af1ece0af8d6e9ac9fd33e76b725fbcc353d9a43", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Checker.c", "new_id": "eefe1fea3c93331727d2ad31b6005508ea121a8d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Checker.c" }, { "type": "modify", "old_id": "ad4771dde398a4109e9a7ced645da83329f3fb27", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c", "new_id": "b46e34f196c9f87ea639b6250f2b52f65b5268ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c" }, { "type": "modify", "old_id": "764d4fc6e37ffcb5ce411f9966a5e1315173aa15", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c", "new_id": "2a13c320d57a2fcea293d753d72b02dd3b226746", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c" }, { "type": "modify", "old_id": "c0020c656a73c7ec37cbb6b48ca1b7af86e32201", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c", "new_id": "04fa2d4ee3a75db1837d3279b884ac612d8cdd51", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c" }, { "type": "modify", "old_id": "594f3080e1b850d1a0cf8d7023e16939c8f0b198", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Format.c", "new_id": "c03a923082cc4706cc3530ea20102326d68d43ee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Format.c" }, { "type": "modify", "old_id": "96a99394917f5f6b6b29742b42a4132f8aeda11d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/FreeVars.c", "new_id": "6c5859218e0143f5948980ab67314075e7491af7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/FreeVars.c" }, { "type": "modify", "old_id": "9dd8b971951b922212391ffa72f39448731d6e96", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/PushProj.c", "new_id": "85e0f1d4320b6538ec5f77351ca313bf17a93216", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/PushProj.c" }, { "type": "modify", "old_id": "b7539d1fabcb667fd770338ba9ecc6ec87867094", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/RC.c", "new_id": "4b9be6cd75b9a6aa022d622f9e2dbf8878ac21ef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/RC.c" }, { "type": "modify", "old_id": "272dc0eca8282e523a7f973b5b0d18acd5468575", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/SimpCase.c", "new_id": "cbcbab357f3e033e1595d3f6035e32ca68318c50", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/SimpCase.c" }, { "type": "modify", "old_id": "8db3ba868d487a30039a3db3489310833ea9393c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InitAttr.c", "new_id": "a97f6d0fdb2d6018db0dbdeb26435856271931f7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InitAttr.c" }, { "type": "modify", "old_id": "a599d6e194c72286cd0691ac799e575767b7d2f1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c", "new_id": "fae8949f01943112aab55a42e7ba32f64fbf2286", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c" }, { "type": "modify", "old_id": "7d19a58e5098759eb447c2ea9293719f8a7b5b64", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c", "new_id": "58a5a69375194f46d04f190a9877b48e212dc1ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c" }, { "type": "modify", "old_id": "000d1580c4a0da8d3baa420faa9b2006cb0c3c5f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c", "new_id": "c976c42f86f9523a4425d1e72fbb3db6ee2ffc27", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c" }, { "type": "modify", "old_id": "67778bbf2e205245b9e2eb7c49ae1694fe09aa96", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Bind.c", "new_id": "b383908b33dbe199a9ca2eedfc3d756409101c87", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Bind.c" }, { "type": "modify", "old_id": "cea3818bafc75b03f33b48d16ba23a8b4e65dc22", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c", "new_id": "4fa84f13a75d400dea162f82f55bb0e2a38a0201", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c" }, { "type": "modify", "old_id": "d310f43fb73b6067a23b69a72d65a36cca1880ca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c", "new_id": "185c6370f459e28f0994466663e537954b2fc591", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c" }, { "type": "modify", "old_id": "3580009a29e48acd9c8b150748c88d35f0079bff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c", "new_id": "b8563da2deeda25f69c86be4af198acca869fccd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c" }, { "type": "modify", "old_id": "d0039ccf4d4b2481720d8d74830d3603dd91aba6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CompatibleTypes.c", "new_id": "7a847577e9d65f2fbc69f8a57db5a3bea1899e40", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CompatibleTypes.c" }, { "type": "modify", "old_id": "44ecfb3f05f5064b5eaece459e1da4af6493417c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c", "new_id": "d3c8dd99dde43b25e9f35822bb86367d22bf3488", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c" }, { "type": "modify", "old_id": "a2b241b29cbdad6d017fc23e484ad80185a7b2c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c", "new_id": "5d51a954d97c34a06066142ace9fdd98db8249a1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c" }, { "type": "modify", "old_id": "f8d60c5dc2ad0ab5d8a789f2d1dd9eec286ca4e1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/DependsOn.c", "new_id": "92b1eef3986ef90c8226f013ec3e9ef7a5dd9925", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/DependsOn.c" }, { "type": "modify", "old_id": "8960d03bd22c48e63ce971c6a1245246abe9f082", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c", "new_id": "53abe7011225c20216f3567dee2f63d1c0bb0528", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c" }, { "type": "modify", "old_id": "5ae81e7b9932ee5c62fa8f9925881055d0beac41", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c", "new_id": "7d5b67bcbfe8360a2d767375aeed9476ce4861f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c" }, { "type": "modify", "old_id": "0d4c2fc84c181c4f0463b1f5728c648a2ed47120", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c", "new_id": "7bfbadc83e8108a81b92cd6979e35ac37f120d40", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c" }, { "type": "modify", "old_id": "285a0d565d7e0cdf2cf934f01e360841d3343c11", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c", "new_id": "78a8403bc2d4e14aaca300b5e9e5371e161e1dc0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c" }, { "type": "modify", "old_id": "92fdbbc0f13de82914ade31c7d376e78649c7d19", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c", "new_id": "d9db1bba462a1349028dabc60bf951992c3432a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c" }, { "type": "modify", "old_id": "490461566f9ce3e9507fa1514478065c90d11ecd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/InferType.c", "new_id": "5473f10e9d4bef25183e32a54c83236406ff1b95", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/InferType.c" }, { "type": "modify", "old_id": "74c5fdc2dd93b0be4a47cd3c8e2104504377e2cd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c", "new_id": "280b6fee72458ae0bd1a57780be876602a2d2118", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c" }, { "type": "modify", "old_id": "d7f591c5d8dc3ba2a7e84f654559998c5a3463a8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c", "new_id": "d0030c1efcda59a6732d7647c395d4e9eb1cb33c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c" }, { "type": "modify", "old_id": "47b02aec64d8e4c2a31b84de67356ab56654fbc6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/LambdaLifting.c", "new_id": "604d997986b1e161fa47989af37dff54eac245cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/LambdaLifting.c" }, { "type": "modify", "old_id": "f86033133a533e585c686d6b02cb0f2b059db13b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c", "new_id": "489bdca09c68915e282087f689f8258c2ecf4156", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c" }, { "type": "modify", "old_id": "efe2b6c9f112636d10c3b48d9270495705190e41", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/MonoTypes.c", "new_id": "334fba70fb82856d98a43356571f6a5f08fd3141", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/MonoTypes.c" }, { "type": "modify", "old_id": "90ae4c49c30b6e94fcf958805b0737f5646747b9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c", "new_id": "0b58097e1f5d428b1993fb62629001212307f5e7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c" }, { "type": "modify", "old_id": "de95b2aea37ae7391f86c1d679dae01cc99019ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c", "new_id": "a4ca57494cf69f7a701de1022988da33a6ca621a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c" }, { "type": "modify", "old_id": "447cd4cbfb8f5ef778958cd57dc4109fff7e1bac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PullLetDecls.c", "new_id": "16e54ef44225a1859c90e46251d461a633a13001", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PullLetDecls.c" }, { "type": "modify", "old_id": "19a9c96999ee532cea1f429391263376cb0daefb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c", "new_id": "5cc546e91d8e1e51285d17a0a3164033e04189b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c" }, { "type": "modify", "old_id": "d6b0d01e89617256d5cacb8d0971e37ff823e097", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c", "new_id": "3738dc27e4cc202bbd88c020d4185e34472766e9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c" }, { "type": "modify", "old_id": "a80762b2f1816847a39bdabf65505a9396738524", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c", "new_id": "4b896369b2b5ae322f8ead2df18487af7ccb7228", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c" }, { "type": "modify", "old_id": "c54a49c84fe575380befb92bc2c949a9dbe2271e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c", "new_id": "799ae9a2987a943e9de19b8c4c62cdc76b47c621", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c" }, { "type": "modify", "old_id": "6528f8e19d92ffc6d961c5dd9c2dce6f48be82f7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c", "new_id": "5a6e52d1de053f1a6864c1e28d6e8b2a02dc6d21", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c" }, { "type": "modify", "old_id": "0347c003fe8c5b6035602b394cd2ff8bdc0e46dd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c", "new_id": "d7ba3a38e59ad58dd365b8c8c01c4b881f00f1ec", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c" }, { "type": "modify", "old_id": "9939f74248f48944aad4d96fb772a62494965530", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c", "new_id": "8292ea0213bb8eed38ea839ec511773689b5f398", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c" }, { "type": "modify", "old_id": "f4dc5e1b4f8429b7a052109d371ca343e429eaf5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c", "new_id": "46e5c69380f98624ac9c3e0b0f52642260eeebc8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c" }, { "type": "modify", "old_id": "231e533b95c414d96dee5a2652f6d4273554ee0c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c", "new_id": "899324b88d4b0a9ac0bada29667beafbe6c6d022", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c" }, { "type": "modify", "old_id": "7f0d2cc9cf74093ed47e3e8dd8e112b77291bf21", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c", "new_id": "9f2d08cd700d8a5dfe6c82b4b53bd2929303c8b7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c" }, { "type": "modify", "old_id": "54849bd3c26c6c6bd7266fa2e34f8820f293777a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c", "new_id": "50c8609d1e0d16df2cc31e576ecccf9de5dfca7a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c" }, { "type": "modify", "old_id": "65473b3b4be8b7fa859b9d08d7bf4a466c8538d2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c", "new_id": "882b96abd7941408698b20f500bc6daa98a1709f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c" }, { "type": "modify", "old_id": "6215493220f7aa73e0314a9b880bb7559321ab9d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c", "new_id": "0d9647a14183a36905cac70f051174dcf208de0d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c" }, { "type": "modify", "old_id": "b36381b378b33f33cfd0e57c4480666df843ad60", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c", "new_id": "b055d2c606459dc21668478777a685ae21415b26", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c" }, { "type": "modify", "old_id": "50be6b6dbaf0ff5c881c1aa03d974690b4efc5ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Types.c", "new_id": "83916f1d05104da59d67b159ef6fce334ce81650", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Types.c" }, { "type": "modify", "old_id": "4ed43581010f510742fe21e852ea4bd2f7616f6a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/NameMangling.c", "new_id": "208bcfbf1975e54e2291da26039580aa6a265904", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/NameMangling.c" }, { "type": "modify", "old_id": "45442ee5f6c0cf55b1a29c3cc71d63a87ccc8fac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/CoreM.c", "new_id": "59460699a7d5e74c60dc1cb171115377422333d5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/CoreM.c" }, { "type": "modify", "old_id": "5ab25a4648aa9e5c0e4d304867bc5e6cf7c506e2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/FuzzyMatching.c", "new_id": "d246a9e0f2a7d6f780ecd0ca633729986a3e4067", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/FuzzyMatching.c" }, { "type": "modify", "old_id": "9b835579d65f4abaeaeef1c7c2244f3d13cd661b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Basic.c", "new_id": "831156482a2b26a7e14ce52b4d4111cd1a4a3cb5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Basic.c" }, { "type": "modify", "old_id": "acb1343a59ad8e9c4c953570bca8462653a5e738", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/KVMap.c", "new_id": "5c377539b8a21dc029625ab81df6dd08da7388ce", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/KVMap.c" }, { "type": "modify", "old_id": "fb4ba00b379d98d955710d43d3538c606caa6e8d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c", "new_id": "939f02a60b274b82468078f69c81cc672b5197c4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c" }, { "type": "modify", "old_id": "4961e3cfdb811f28a496145781157dd4a6ffa8c2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c", "new_id": "10f02ea75ff3a6aae5db5a5cbbb448345f37dd6a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c" }, { "type": "modify", "old_id": "6aff19fd08e0bd5151ab8abc60ed02c1eaea8529", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/CodeActions.c", "new_id": "952e937e416074fe4c8a7151b0496dbc30fe4495", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/CodeActions.c" }, { "type": "modify", "old_id": "a30b9720e0eb91685f0fa08b7e8e42fdc962b48c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Extra.c", "new_id": "53718be5d99e3ae14aa5b910d8f4979160015051", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Extra.c" }, { "type": "modify", "old_id": "95e6e6e668e8c61b5515ff8d719230e0298439dd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c", "new_id": "43c83eaccc72df3432e474f681a08c708d35ae17", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c" }, { "type": "modify", "old_id": "3c611e2c7fcd1be4666b1d77191098800be3e383", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c", "new_id": "37dc6b9529c299eb67820ec14acad3bbe0caed04", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c" }, { "type": "modify", "old_id": "622d14b91440f0d43c6a40d3adf7e26cf5a907db", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c", "new_id": "3623d1222c917cf1620f975727f89910412b70af", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c" }, { "type": "modify", "old_id": "39732fd328c84cf76839058c85e36dae92a43170", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c", "new_id": "40bcc52763d33be09bbdd7daef0f3cada62e6601", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c" }, { "type": "modify", "old_id": "e183b37ca7d135479f51503be305683fa5dfa757", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Parsec.c", "new_id": "43b4883da7d67a7be9de58d3291d63bf7f3117a5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Parsec.c" }, { "type": "modify", "old_id": "a5bbbfe740ee50139aa3726fb37e553a57acf7ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/RBTree.c", "new_id": "3c9acf7261a65d7b216aa90839b050396bf3106d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/RBTree.c" }, { "type": "modify", "old_id": "d458e3b1bccf331d9b75e0c2eae67d2a219417ed", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Rat.c", "new_id": "c6947c77386d0e6c2f4c130857a7372dd3c8fef7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Rat.c" }, { "type": "modify", "old_id": "d90d26f54e8cafee9f77f108ad9292b56687cb6a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Xml/Parser.c", "new_id": "f1d884a4537e59e112459602d84903600d330aec", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Xml/Parser.c" }, { "type": "modify", "old_id": "b20c2bcf5d1d4f809142f3eab41ba7ccca5e67b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString.c", "new_id": "e5490919ca67c307d2b33fa5cb4358bf5550ddda", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString.c" }, { "type": "modify", "old_id": "1dc303eddc64c501a50839c69fa82dade2a9696a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "7542bedbfe4d1c5b6bf0c885a51ef6f1992a8239", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "85c12c3e383506e4cbb76971c980463b70af3987", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Arg.c", "new_id": "3de9556cc8b009802b2ab7963e4fcb9fc83370a6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Arg.c" }, { "type": "modify", "old_id": "37b0a122b894968ea79eb946554731de18d4011a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "fa41ac0889cbea0e0fc44fd68418166b8a366142", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "6b105b420b8d87ac8750833b9f86060333eee8f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BindersUtil.c", "new_id": "23ca0b44e07ac2c8c5d4cd1270acaa32b0c90eda", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BindersUtil.c" }, { "type": "modify", "old_id": "d019e495b23caa77be35adb9068504964386a092", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c", "new_id": "6fb190ca8b9076bde0b3f1070cb969d27fe1e093", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c" }, { "type": "modify", "old_id": "a00d1f28b347d97500841114a218daaaab1d5548", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c", "new_id": "11df1bb965006e0b5a198121f48ee3f7b99930b9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c" }, { "type": "modify", "old_id": "7f0dc9bd366b62bf2b8db693909810e911d889e2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c", "new_id": "2299944e23d298cb9d7a0d0a7055ef3ffa2671ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c" }, { "type": "modify", "old_id": "e408ebd067ed5a9979085bbf2762d2f61dd8ad38", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Calc.c", "new_id": "4e07314565ddaa646843732a4c953b3f250fe514", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Calc.c" }, { "type": "modify", "old_id": "4b289b98e6182bc5f5122f94993a66d52fb39a39", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Command.c", "new_id": "0e68386e390a1dbadc91320dd8caea89537788c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Command.c" }, { "type": "modify", "old_id": "db16d50fd7b4f18b970a4875e8736a31663122bf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ComputedFields.c", "new_id": "0e85ffc4fd32a5644770921f9fbe1ab0a39a2ad6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ComputedFields.c" }, { "type": "modify", "old_id": "33e0496078297975fbfb7d1035eba2497f1aa1b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c", "new_id": "c055514f4dae0187c9b886effdc0a066a6730af6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c" }, { "type": "modify", "old_id": "b4d2fc80b44013573cf3eb00d862ea12cbad0f51", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclUtil.c", "new_id": "55a58f165ce3435fe0bb4090ea56cd16cf57f6d6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclUtil.c" }, { "type": "modify", "old_id": "40c25171e7a07b59a29251a507ed972d8ca9125a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Declaration.c", "new_id": "369695c48967b4e066057faba0f624add5b0427b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Declaration.c" }, { "type": "modify", "old_id": "276953d25e35b709dc10b8ca225b7de473d5b4f3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c", "new_id": "30004750c04ba4be2c4dc16e11c6ba735595a3b0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c" }, { "type": "modify", "old_id": "8a426cd4a1d454f89e5a698c836b6a14ed5ccd50", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c", "new_id": "d0e6fd6f577fa2b1429bbb5e4dd2984a305ba4f4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c" }, { "type": "modify", "old_id": "928e2dd75ab2ad9eaa537e845f2fd81a61be6f4e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c", "new_id": "857fec00b2358a312a3128e4cf900b33f3d27a03", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c" }, { "type": "modify", "old_id": "d1c400a53d7a8c50a40e89b993a1c469fe3b3a0c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c", "new_id": "dd471b24c75207068be77ad8207cc9edeeefd005", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c" }, { "type": "modify", "old_id": "6d951bc3f129fb1568e160d4a92b10d7836a28dd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Hashable.c", "new_id": "3a7a4d0ceae2f45e2695bdcf79edee8bc2220761", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Hashable.c" }, { "type": "modify", "old_id": "ccce3eb511ecbda0374a89fac8990e059e10f807", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c", "new_id": "c7701577d346ed972efd13ca4f143bcdbf92ff21", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c" }, { "type": "modify", "old_id": "0c638cd0b7b7b9d357445751d49917a21621725b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Ord.c", "new_id": "1d340cf0953c89dd6297db95bd9a774f0d4034fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Ord.c" }, { "type": "modify", "old_id": "5aba963dd2df8ae13f8843ceebf378b626ab6c4a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Repr.c", "new_id": "084352f5a8a4b11345ee8af51eecdd8b833c46c4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Repr.c" }, { "type": "modify", "old_id": "10b52b4cd02096fbcc72bb2cc5ee73210bf6b1cb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/SizeOf.c", "new_id": "b934ff20e0b9340d2248fffdc250dbb515d4dbe8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/SizeOf.c" }, { "type": "modify", "old_id": "784f521b39c518eb3980c11b54a24dedfb846280", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Util.c", "new_id": "97aeee92119635c756e3f3afd46ce558a46f43f7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Util.c" }, { "type": "modify", "old_id": "da74195b17d33460f3614b46de016d56b9c9aa9d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Do.c", "new_id": "7f0ce01fc6563a55fe429a2956396874b6e7a840", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Do.c" }, { "type": "modify", "old_id": "7e930318f8d23ac78b95cf6c6af28d6a84dd1f10", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ElabRules.c", "new_id": "a30309c81417c09a62a2d1ca2ada452972eb843d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ElabRules.c" }, { "type": "modify", "old_id": "e9e023fa4051b52a4108a54319c41597e5db3b35", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Extra.c", "new_id": "e05bf4827531692e7d8ece7b71a715e5c1d1f6bc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Extra.c" }, { "type": "modify", "old_id": "213a9913e5f3908b1979ec4f5f66107c28f4ac40", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "57e30d5df7591e06c292354dc4849d2bd40b777d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "615ee2e6bb06dfcce5476bcfd7a704dc972fd2e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c", "new_id": "fe2117d4ac834d35588541301e3f63344fdf4ecf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c" }, { "type": "modify", "old_id": "5540e0cd8be6ae63f3711f95e6b811c9c7087fb7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InheritDoc.c", "new_id": "437d79bd72dc29841e523d6b1663c87ec0b0ad07", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InheritDoc.c" }, { "type": "modify", "old_id": "18946e57b45a9faa6238646dd816dd948d1110b4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/LetRec.c", "new_id": "513389f8251951e043481bbbcfc7ccb419bf91c6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/LetRec.c" }, { "type": "modify", "old_id": "6fa4fcab42e2f13deb66785298145f41d438137f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Level.c", "new_id": "f1b235cf2bac5f47b7e9ed5e0cec66b951e5d575", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Level.c" }, { "type": "modify", "old_id": "c2e592ca3950224e4f55a7bd99da15153ce32b65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "42e5fc52cf25f2bd3bb7644dc04ac4bb4630df2e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "af1c5dd46c85c739db4a76bf78c86860b3f1054b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c", "new_id": "1265127528de124180440f42994b3db4cbf93a41", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c" }, { "type": "modify", "old_id": "760452cd94b577dfe52a5d28e5369300a819e06b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Notation.c", "new_id": "319a2103b8a0b2e109fdd2c2c652dc8ab36d7d0d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Notation.c" }, { "type": "modify", "old_id": "08e8e58d5686060f81257517c849c0f9c6b2a912", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Open.c", "new_id": "6e6027a46ad6be022b5fa892fd8684ba8936df84", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Open.c" }, { "type": "modify", "old_id": "b5964e5e900ba8903b4c16196f067a912fc411ad", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c", "new_id": "0367201f955375192c53c2847afd259de11cee9e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c" }, { "type": "modify", "old_id": "97ab8b791f75e0b22c9de02b8c859dd8920b844f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PatternVar.c", "new_id": "bdad9beb635924d50c91e4a62be3a90928b8a7c8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PatternVar.c" }, { "type": "modify", "old_id": "40a180de83a560c371293564fd53b7a04deed3a2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c", "new_id": "f709c37f89c57b14347348a96cdb55df2a0a3b66", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c" }, { "type": "modify", "old_id": "07c56eed0b40ad71fb94e1443d6d0f990920937a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c", "new_id": "33785629c421613513be9ff414b7e72a5bdd3da0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c" }, { "type": "modify", "old_id": "cd19fed926cf31bafbfa64e6dd7125f3b2fc12f3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c", "new_id": "d766d37da8d9c73a38391c5e6e5aa3c8753aafb4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c" }, { "type": "modify", "old_id": "ca7c083d75a418bb61f9d25df37274f5b62dece6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c", "new_id": "d33c0ec6df26de161910dc52834e07df02deea18", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c" }, { "type": "modify", "old_id": "195f9093e6ced37c68cc058ed519cc115ab94eb8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c", "new_id": "f0c2ceda853725eb9e4e49ef84ae426f6c6726bb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c" }, { "type": "modify", "old_id": "8481c86d9f5e17f4fee9e9d7f31ce2dd9bec401d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c", "new_id": "ea2111f1041f261b0ee781e0487c8397b3175534", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c" }, { "type": "modify", "old_id": "a7730326d14cd1450a18ed0bd05e274b46fc5b72", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c", "new_id": "577cd19132427dbaf1861ca37434d67aaf19b946", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c" }, { "type": "modify", "old_id": "1595f69d105ba2ca4b804e3bffac037e109a816f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c", "new_id": "96a17fc85cdfafd90ed3b94697117625e48bb3f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c" }, { "type": "modify", "old_id": "434489ccb7dbbab1bb87480bbbab34fcedd3bf2f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c", "new_id": "0a2f6fe6e14647b3a6a2bf435f161242ba0806b5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c" }, { "type": "modify", "old_id": "8957135e31b3e83b83adee5c470f9b456b165d40", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c", "new_id": "c08f59559e8ef17b0174a81adb91624b3ba23e83", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c" }, { "type": "modify", "old_id": "5ddc7395f6e7a70cd2350400f5f5b042d7a09cb8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c", "new_id": "3c216cd1da938a6a1ed3d10e1292f22f15aa7887", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c" }, { "type": "modify", "old_id": "12df15288c7a360fd6a3177c73f5d095a07ea292", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackDomain.c", "new_id": "bf505f2c864a828e08d98d7f627f0b1802726f9a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackDomain.c" }, { "type": "modify", "old_id": "dff65d1283a1804071064d0a185db57bbf0c764f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c", "new_id": "5626f7f98c45deb8f67f4ed769cd69c42f9a323e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c" }, { "type": "modify", "old_id": "665103348e9fe4c2ff7658b0ddfb554298f7ead5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationHint.c", "new_id": "32509bd570c3344886fc8afb1353dec94e19f2f1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationHint.c" }, { "type": "modify", "old_id": "5c238b23a64effe6e0f413dfc9ef2f4222f6f4e7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "bdfa66436ea5d9c78f4a6ee66277f07ef4ba6184", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "05bd6c79fb66e3a2a8a35059f2cf7c54a074957e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c", "new_id": "52828ecaa8515d74cb826e3d43fce9f2bf3110fb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c" }, { "type": "modify", "old_id": "3c59c5f28cad5732534ff41d5a68c81b1dffc39a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "188afcd84d87219d1077f51c854f5805d81a5fc6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "30145ff717ee208fad1485d6832d6a78d8d8ef93", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "68974c03d62db783ceeb65edadd5bb6cc9e67597", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "2ab023e3305386deaeca9764d6dde334e1a7012e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Syntax.c", "new_id": "6db7edaa6e3101296a9f0ace9705fa9e26e07268", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Syntax.c" }, { "type": "modify", "old_id": "d9134010cd7936f572dc68259308ec93ff9faad7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c", "new_id": "23b41d06721f2636a29219b69b2a768bc722eef8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c" }, { "type": "modify", "old_id": "ed87872283fb7773d778521e9c4496ea46f30956", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c", "new_id": "342f942d7edf1ffc0c940f9e665d23a7d85c8e01", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c" }, { "type": "modify", "old_id": "b2f49c8fad73690225285cb1a41ded80f4c391a5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c", "new_id": "37b1fd1ec82eda4d2380c65c4f9c8a8cfcbcd4e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c" }, { "type": "modify", "old_id": "a219e92c1b36dbf935eaf25ae376af7beae04fae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c", "new_id": "74bf71f008fa99c84ed69de33dedd7b8546dec59", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c" }, { "type": "modify", "old_id": "6608251e581c11e03d2c3d47ab44c957fb00e3a4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c", "new_id": "4484d62c93a4480e46cb0c1691fc9c29ae7ec2c9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c" }, { "type": "modify", "old_id": "6ef7cf97026f03f9ced8b25d3b610bb3dccb0cec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c", "new_id": "658af9a771245e7d6600647635d5f46243a02433", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c" }, { "type": "modify", "old_id": "ca21726bb4b3a5de770b6a2ce0b714f6067a1e8f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c", "new_id": "381137de142470de5f832137cfb69aa50e6679e1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c" }, { "type": "modify", "old_id": "e92beb4ef5e7c3d525f4b950fc51f41eba37619c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c", "new_id": "0e15fbff81c376b24fba864303d7845f7a13557f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c" }, { "type": "modify", "old_id": "3bb31595990a0e935ff8eb3fd4446be98896b27e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c", "new_id": "c449c8d6c1819435468daef3360732aca6cd139a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c" }, { "type": "modify", "old_id": "18a5beeaebdf2d129019f2094354a6ae6939eb8a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term.c", "new_id": "d94001163d6f461dd630155c4dca42e7bd0ec398", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term.c" }, { "type": "modify", "old_id": "43055a50846b4d7e1202c845c8a28bc86607809c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Util.c", "new_id": "e7dca3cf3b230441f53e588cac5236a49e602ef7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Util.c" }, { "type": "modify", "old_id": "5fa1d36eae59dbe0ac9b1ae8cbf0ce109a5aaca5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Environment.c", "new_id": "505280ff198f773792e2a59af88a05c0518702c8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Environment.c" }, { "type": "modify", "old_id": "f60e310d074218db31da0c9de3a2e4d3e4d939cd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "4e9944e3425dd0d3c57c74b3328046fa4ef7f7fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "75652b6474cf1d697f81b325aad5f3625a9f990c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/HeadIndex.c", "new_id": "db420a5f6626bd8fad4ad103abf074704d6326bc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/HeadIndex.c" }, { "type": "modify", "old_id": "7808a9967617e3dd5ba451fdeca9003ab85f211d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c", "new_id": "99784f4f1aa54ac7aa93ffe1e6bbd2a801dbc96c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c" }, { "type": "modify", "old_id": "af6b4b58da9cb08468bc32869e4a030bcfe58e81", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Level.c", "new_id": "28e4dd182f4b00faba119ddeea2992d53392bad7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Level.c" }, { "type": "modify", "old_id": "5f3a69f138734d0ea75dacac138ca7c3c9ad03d4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Builtin.c", "new_id": "e69d1859b66627b14b008d39e016b915b2b5eba3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Builtin.c" }, { "type": "modify", "old_id": "e175c339aa567959ed1fb491f85adb5b98cbeb50", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/MissingDocs.c", "new_id": "2d537819af1eb9ad9f2d8dc6e67132104858f9b2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/MissingDocs.c" }, { "type": "modify", "old_id": "8f815e09edc136727a6638fb6e63ae3ac70e0aae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c", "new_id": "a3f5b6306bd03ea5881be74a9e35b25e93f46a5d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c" }, { "type": "modify", "old_id": "5b1707022d71c2265d4d59e256be9bd727b15add", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Util.c", "new_id": "278d3f8cc37497df1fcd31dbd5c0478072aee110", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Util.c" }, { "type": "modify", "old_id": "a39067269a2b128d7c8052db7d96dfe9c5ba5441", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LocalContext.c", "new_id": "0e2605aaa833fc7b0d6e960e7a95f69ef441d03a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LocalContext.c" }, { "type": "modify", "old_id": "df0ed49fce2d04eca25dc749b837b92f4701704c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Log.c", "new_id": "88b9112f6be635af0b7cbac1440290d371ae6eb9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Log.c" }, { "type": "modify", "old_id": "4ac7f7624738d9c2995e884c51b4ff04e674d3b9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Message.c", "new_id": "43e4d9a2ec69ddd0e248fb4e915027ca9964f0a5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Message.c" }, { "type": "modify", "old_id": "b4c37c4a5ee9c3f56e1ef1dde2aa734623550b8e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ACLt.c", "new_id": "6a43d1a69b323661633b4a3672610e4b6be246ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ACLt.c" }, { "type": "modify", "old_id": "6e5cb5825c7e8c93030b65724ea827ed7e057f07", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c", "new_id": "7194a3c8bbc7ad0f184ef47a4f57de459719d8dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c" }, { "type": "modify", "old_id": "7eed7f13c4057790f6c5ca13b066c8833aee705e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AbstractNestedProofs.c", "new_id": "a78f32283bc84fd04b20292f5244eb02d59fe17e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AbstractNestedProofs.c" }, { "type": "modify", "old_id": "f8b7fbba5db03bf25dacd32984566178e13a56bc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c", "new_id": "fae1eeda0acf9af18247f883ed1b2bddf7f67e29", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c" }, { "type": "modify", "old_id": "c2b1174d19e2e4ff3d76f942c18e1e88e2a87d97", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "8bf2c9ca90b257e822cb8625eccbbc60604de177", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "modify", "old_id": "bc98ec0c37b0a5a1f54320616b6d7d5aa506f867", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Check.c", "new_id": "7fa1e2d507d184a15b8f1b4ab54bb68acf418541", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Check.c" }, { "type": "modify", "old_id": "313867d7dade8930fb7366325204015bfffa4400", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Closure.c", "new_id": "14d4e1edaf52b3d04d4dbcc203f6d935e1458e3a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Closure.c" }, { "type": "modify", "old_id": "8686ffcb375efc53240fd4243f5671bdbd0f8bf6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CollectFVars.c", "new_id": "da5acf7a2385a056f5e519e5c06bcc144155a89a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CollectFVars.c" }, { "type": "modify", "old_id": "7a92b9755b6a1a41eec05c8e741e4a99b39e43e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c", "new_id": "57bd44d789a8fcd0f3dfd509062d8dfba0842f54", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c" }, { "type": "modify", "old_id": "697db2b12134f0848494cae4d20f50c4cd2715dd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Constructions.c", "new_id": "3a816403973a3f70014929fef306b9856d8ad97f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Constructions.c" }, { "type": "modify", "old_id": "49bf43e1e2e41f5bed6900d7148065667d8accc6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DecLevel.c", "new_id": "8393848bc81d8feaf0f978a49ef1f77ca3a54a2a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DecLevel.c" }, { "type": "modify", "old_id": "5725e8714ee65916a6a03588a82104503925dbec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTree.c", "new_id": "7455c1eb20d2be85c5b74dd4546b026644761046", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTree.c" }, { "type": "modify", "old_id": "a0b3662cee12759153d17b9533bbb9b3f57e1c3d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c", "new_id": "b2a6d8d1b40b3e806634d9755ba77948a948b438", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c" }, { "type": "modify", "old_id": "f500ad069d56632da2a2f820cf81788161eed03f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Eqns.c", "new_id": "e816380feb20e4622c82deef5b7fc7d154220b7f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Eqns.c" }, { "type": "modify", "old_id": "7567163697a59d33d8668915b9fe59060bea7aa5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c", "new_id": "e194e9d8a74ab79b1969a69565e0321e1d5a9b0b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c" }, { "type": "modify", "old_id": "6a54c262027af23cf25841464e347b92a78917b4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprLens.c", "new_id": "e37dd1f9030d807846fa63e50367806f732505e7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprLens.c" }, { "type": "modify", "old_id": "eab4181f1f763c41e706170e1ec92701f4813bce", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ForEachExpr.c", "new_id": "2744dd1fc06ec4cce96df37a35030bbf2026e2f4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ForEachExpr.c" }, { "type": "modify", "old_id": "ac99c1bc58b3dbed2c359ac413b7442559484d62", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/FunInfo.c", "new_id": "14fef1f61336d13c184f372025244630e2446275", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/FunInfo.c" }, { "type": "modify", "old_id": "e7e290a758df99095831d205dd0978298baeca0a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GeneralizeVars.c", "new_id": "c4ee578e1bc2232b6d2eb42d1dd219fc1fc8a127", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GeneralizeVars.c" }, { "type": "modify", "old_id": "542717fe0119abf2da69fcb150a8b5c03870e530", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GetConst.c", "new_id": "c867ada501ac8776f20500c03b71ad2de331132f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GetConst.c" }, { "type": "modify", "old_id": "4ca72a6ba75a185f497a8f221ef9f364fb47c39d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c", "new_id": "f21e29a9683877644bce89c126924e75d054867b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c" }, { "type": "modify", "old_id": "9ed7c32cdb8913abd437894d0b3009163f28d251", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/InferType.c", "new_id": "b4524f6dff53e03e4ba486912eb56890b622e97a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/InferType.c" }, { "type": "modify", "old_id": "44f65c702534b5f5ab14a50e747953a426028e9c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Injective.c", "new_id": "a3db72bb918d46ea97d355d8c33c4c4a52557da8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Injective.c" }, { "type": "modify", "old_id": "589d4ec7ba0cc107ab382b78c5bfa475634c5b6e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Instances.c", "new_id": "ace861cfc01be43f51e031678c79102cb87788e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Instances.c" }, { "type": "modify", "old_id": "a4eb867fd8d46cf23b1f1b80204d9365da34145b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/KAbstract.c", "new_id": "8dc9b8dcb4d96c724e9d6c17be4cb8ac68e3808b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/KAbstract.c" }, { "type": "modify", "old_id": "a3757e3b520e653670c19f226ebebd066046fd54", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c", "new_id": "b2f094a62552ba87a8b98714d68e625f67db9920", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c" }, { "type": "modify", "old_id": "c5dce01eee79fbe43bb85444bb4be00251431de2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Basic.c", "new_id": "5d6a173e383fac6a510e966f3cbf306732a91c6e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Basic.c" }, { "type": "modify", "old_id": "b185856f26f4829ca089345448359472703e3ed8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MVarRenaming.c", "new_id": "abeafee6691e566be7785c2f31720720e401d394", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MVarRenaming.c" }, { "type": "modify", "old_id": "f0c662d40aeb687db78edad818b4b74606e8c9f3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c", "new_id": "a3ec27f0b9df46b9311b8ccfe87b2d76a92280eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c" }, { "type": "modify", "old_id": "20b1d3f5ac08ded5cde52adcb0375f4d41639d05", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c", "new_id": "a6d8f7ae50cb20dc3274ac92a771865a1cb181fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c" }, { "type": "modify", "old_id": "e157120f0a58568af295a487162f79389df7045a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c", "new_id": "b3573de1da0de81983b0c7ad355c96c9ac50dc1b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c" }, { "type": "modify", "old_id": "d1bfd6171dff827edae3e039b912350431b13006", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Offset.c", "new_id": "b301089f51e3776c82540988627584a25ace8b5f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Offset.c" }, { "type": "modify", "old_id": "f91ccb842501e841a39a291071c18978ee0bf540", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c", "new_id": "fbce52e3b26c3166144e63ea88ba7c1c7b7111fb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c" }, { "type": "modify", "old_id": "136a16eef71c9ce02a8524e5224a9f020b0adcf3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Reduce.c", "new_id": "6ae492341e5833850458941d558ac1b4a91a83da", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Reduce.c" }, { "type": "modify", "old_id": "1f303a1ce0da427b6bb3a51d7a707286b2404a7b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ReduceEval.c", "new_id": "afeb5cc4865a809fdf7536c7d3018b9c55284daf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ReduceEval.c" }, { "type": "modify", "old_id": "308d0aba8a009244e1c62a14844e8e855b7da4f4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SizeOf.c", "new_id": "f3eead8edf93d5fc2889c431b3a1657aaa28478d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SizeOf.c" }, { "type": "modify", "old_id": "8effd9bdba333bea567257d71538a5a7d021f271", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c", "new_id": "10bbed3695735fb11e17821c36cf9bc874a9816f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c" }, { "type": "modify", "old_id": "e40a4455dd930b72ce0e92d451d04855057cb62e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c", "new_id": "c2f13ed57f2dbaebab5ac79792a764a9f53f7ab5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c" }, { "type": "modify", "old_id": "9882a439742830029f1c67c3b78b1f074b2d4676", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c", "new_id": "704cedfee574afcbd6887bd9c9dfc870e91fbc6e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c" }, { "type": "modify", "old_id": "62dcd5a7f80699939ac6f6635f1faf76d032f111", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c", "new_id": "233c7a5b68d767230a256f5364a62be118e970e6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c" }, { "type": "modify", "old_id": "12fc7618efaa10ae54d514bd556dc7160110afc7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cleanup.c", "new_id": "1b42701305b52773a91d6373ceaac39b9350ffa7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cleanup.c" }, { "type": "modify", "old_id": "3010f34073bab0ab968c24998e6fb41177c80dc1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c", "new_id": "972c54a14ff9c2a60b21ca88b1661996e4915210", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c" }, { "type": "modify", "old_id": "61965e11d590066bff11b3776e893be5e7c68bdf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c", "new_id": "496163a551dac4a77ebca2db37b5ebf6edd07526", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c" }, { "type": "modify", "old_id": "57f2bb2a1ef2bc868792a5454ffc1b507000ba4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Constructor.c", "new_id": "75264cd91725c40aaa6b5ca65b625909451e8b18", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Constructor.c" }, { "type": "modify", "old_id": "f19145b5bb9ec373b9bdd3886db79465dc481393", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c", "new_id": "1f60a7164a2cbf1657de152324c4a56265a13eb6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c" }, { "type": "modify", "old_id": "c045772b7e35aa16d1ec80ebf4696eda690e9f8b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c", "new_id": "4a60274ee71b3bf8529259f69bec527e72fe82c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c" }, { "type": "modify", "old_id": "49eb2fef2d431bf3a45d007a325728a67363b931", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/FVarSubst.c", "new_id": "f456449d26a3236c6af695bcd105ecddb9e4f732", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/FVarSubst.c" }, { "type": "modify", "old_id": "5ac5436524d48fa4cb6bc2c72c759b4cddee0f23", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c", "new_id": "7d38f888224dc84b6be72cfa26be1d9179a2084c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c" }, { "type": "modify", "old_id": "6cc868354a7601f1e72140ec051f8b10a2838776", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c", "new_id": "66b0d504d03f37a71a98f7b0241599a3fd10a9ee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c" }, { "type": "modify", "old_id": "3bc1ffdc6b292d8d31f9badf01962e76b4844487", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c", "new_id": "6285885987904c8fd102700316aea68bed74b098", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c" }, { "type": "modify", "old_id": "c2d08e9e744569dbdfbebac1f27935395647eea3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c", "new_id": "2a016973ffba9b0398b728041c3b1db3c50d0575", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c" }, { "type": "modify", "old_id": "2ad773a1cae1b59feeb53394a091553c43b6481d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Basic.c", "new_id": "80fa7d5def8af600a2b95c4eadb1a9bb9c12fe4f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Basic.c" }, { "type": "modify", "old_id": "22f0e1386273c75d559167b23e0d2bd36fd8c250", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Basic.c", "new_id": "40d983f7293054d784b7e02d67e6b47a6150f12c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Basic.c" }, { "type": "modify", "old_id": "f98711c04782c13af1ca59330125aa50ae2b8415", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Simp.c", "new_id": "f386c130fe789e42f992bf9d783b96da2baa29b4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Simp.c" }, { "type": "modify", "old_id": "cbec98665af30ae43bcc100dab2078af52af44a0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Simp.c", "new_id": "1a5714a66efe9cbe2aeda69e9ccd214ffa850a66", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Simp.c" }, { "type": "modify", "old_id": "259ead2e2e202d521d8112238b1b227ced375892", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Solver.c", "new_id": "ec2d9f752815ef73ca8bbed82667739f9ff147e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Solver.c" }, { "type": "modify", "old_id": "1bc92c7487a9a14ebee39cbb4ab0826c7565d4e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c", "new_id": "64b3627f3ce283454a2efc657aea6a4baab79601", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c" }, { "type": "modify", "old_id": "dde151e8e4e5e14efbf4328f56ca354b042026ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c", "new_id": "489aba26d4aa8242aa7501b169843a4a5e5e9678", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "0ebfe273fa108a5e6190d4fbf05f8f7168f165ed", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c", "new_id": "671f80129e70d20a11ce4fa786901263ab6249e2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c" }, { "type": "modify", "old_id": "1d33419d1cea0df2eedf544ff704688c70be7192", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c", "new_id": "27584537afa626051fec62ad3b570c179c9edd85", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c" }, { "type": "modify", "old_id": "ea900a45834ae2b435c878548ef37d1cb99d6d5d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c", "new_id": "7e742434eb69276a6a2cf3d88ef71a424fea1332", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c" }, { "type": "modify", "old_id": "34e87dae605717ce4df7d288684e43501c06a40f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c", "new_id": "c4f6860638a9d9765bb50376ee8c39d3b7ff30bb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c" }, { "type": "modify", "old_id": "6e9343aa807b58dc631731ab726b64dba5fed686", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c", "new_id": "6906bb9f3bcefba3c6cce26622908a2d7151a89b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c" }, { "type": "modify", "old_id": "e9b372020b7d3052bdcaaa7f1cf915f7cfb2f868", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c", "new_id": "05cf2969c5e7acf143a61193d880cbc5b02c5047", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c" }, { "type": "modify", "old_id": "8c2681bb9f15f14185fcf3789969514e13f96ec0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c", "new_id": "45e5c4d85b339bd783e70c7b2a99f26c0161d3bd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c" }, { "type": "modify", "old_id": "9e29d3f33e7ce0b4a481b00618127b66e4d5434f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/UnifyEq.c", "new_id": "6f70ba9a08cae384af40f265b1a882eb6507dabe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/UnifyEq.c" }, { "type": "modify", "old_id": "3a7d906606044ccabd027a2ef1d97357ba4e0050", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c", "new_id": "6b13cee90b27ea0e75977a0c424691e31f977ec7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c" }, { "type": "modify", "old_id": "2dda55d601fa7103481ce501a32796fc5b7b6199", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "71762505122da363b85f49c720594fce6068e14a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "5bf12687287b6ae997bffb0c54cb07b1c9585e9a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c", "new_id": "feb6609d9f87a4de8c78eddfbb6961bf4d8b4fb9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c" }, { "type": "modify", "old_id": "3bb66be7eec5f9ff065ac018a1fe140050ed7003", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/WHNF.c", "new_id": "d77554a76b30f3d35daa8e5ceb14959f700daf81", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/WHNF.c" }, { "type": "modify", "old_id": "24b0f88389c9ced6e24c3d76f05b8fdd023047d6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "896adb8cc0fc29256dbfe00006467d7a2c32aa17", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "fc2a7b06babb58fc255492c6701263c8007ada22", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MonadEnv.c", "new_id": "bacaa269d7269e8f4d2037c9f1ad5b77dbcf399d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MonadEnv.c" }, { "type": "modify", "old_id": "0370a576b58661689612532a6ab8be473bc3b1c6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Basic.c", "new_id": "4248733a0b3c3b1a1da5599a782b9a5d572fc275", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Basic.c" }, { "type": "modify", "old_id": "91a4d410703195d10e00e53c6f5c604ed1d01beb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Command.c", "new_id": "3cb65e0c8be2bb5c95e28750682df68366bbb1e1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Command.c" }, { "type": "modify", "old_id": "a93612d5eee95040d3dd6e7744a1168a00311b1c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extension.c", "new_id": "e9c4ef7c53150f23ce523cfdbed4cb1e3c4c235d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extension.c" }, { "type": "modify", "old_id": "106bfb536d14641f7cecb09bfe36732035a43944", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extra.c", "new_id": "4f6cf300c66402533c58b49ca7fa250d27429540", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extra.c" }, { "type": "modify", "old_id": "05c7bd31531d9f4f885a41af987c51897297ce61", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Types.c", "new_id": "e9277357077d83719923a5df22fecc76f6ab48cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Types.c" }, { "type": "modify", "old_id": "45735d69883362e62b4bae94d1fbc2e633ee7d5e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler.c", "new_id": "7e6ef4d71aab7898783ac1ef6c7980c09e8058a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler.c" }, { "type": "modify", "old_id": "4725cf1593fed93aab6b5cbbc4c32bd5dfbf6a31", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Basic.c", "new_id": "0fc0785bc5934f5966883166318a1a4d360263cd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Basic.c" }, { "type": "modify", "old_id": "efd26154634907b6568189bf08b0e581c990fb74", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c", "new_id": "b65e9567aa577db7d72fdb484941249cd3f7b06a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c" }, { "type": "modify", "old_id": "a1f7ab81ada264ff4a0558be615f7a9c883bee29", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c", "new_id": "8669ef5f43de83c8c1a944c6e334035ae0181416", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c" }, { "type": "modify", "old_id": "34dcc4e3b3fb6a6854aea774fc24869c0f33e02f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c", "new_id": "bf6e27942d992430c38eb05a9cdbc274cb1efdd5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c" }, { "type": "modify", "old_id": "4d8ce516f6eec5d5815787d3bc6e935e4dbe49cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c", "new_id": "55061fa819dff396b5bace3ebc01ca149dab5d2b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c" }, { "type": "modify", "old_id": "caa62ba0ebad0f3a8e9c7b816ff43894ffc3c775", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c", "new_id": "bbb839019650ed6828c8f48cee5a07d74f686a26", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c" }, { "type": "modify", "old_id": "b4b60e84e9c87b5c403f559e7dbd9dfe7938e2e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ReducibilityAttrs.c", "new_id": "469942a736a417b91d8443ad5e38c586d073cad8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ReducibilityAttrs.c" }, { "type": "modify", "old_id": "fc2602828e309df4eb628d77bb99686adc55cd24", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ResolveName.c", "new_id": "6db6d3110c3436e4a8c29cb8f66a3e1564842870", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ResolveName.c" }, { "type": "modify", "old_id": "6d209803a6a7f07096c3c29f3721abf2adb136e1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions.c", "new_id": "130fa04b180db8440a15ba61f2492817035fafe8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions.c" }, { "type": "modify", "old_id": "d259a14abe4898fe56b8e10caebfe1c5b136539d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion.c", "new_id": "8ff042ca0b42e338e245c0476a99df0ca5b0b1c0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion.c" }, { "type": "modify", "old_id": "1f5ed6ac493599be15307c032ce409ff996f2d66", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker.c", "new_id": "0d4feeae755e3927f32aed202cd13452dc47be26", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker.c" }, { "type": "modify", "old_id": "e3a47b7a07c2ef87e3b03cae955c3dbab9dd517c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c", "new_id": "4ccd35e6fe04d5e343725885022b8c0b23beeadb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c" }, { "type": "modify", "old_id": "b97ee92cfb9cf363c99f06559700126cf620067f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c", "new_id": "89158e0ad816b67c37184ae60f44d756c9395619", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c" }, { "type": "modify", "old_id": "b63c4ef8744c3d6bb37eb664f04afe26c2ab2268", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c", "new_id": "ba8217a0cf5284ec63332a7f407191e4f4ef14e7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c" }, { "type": "modify", "old_id": "744efbd0f253a9e2e8e12e382b5c3d807e105b3f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/References.c", "new_id": "7e9e44c11667126dca0693e0db351aefba923b53", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/References.c" }, { "type": "modify", "old_id": "81c58659ec595f51ed36d3447495063e3828eba0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c", "new_id": "23b821d84e5c27bbd1525a0d3bd25ad68ce73892", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c" }, { "type": "modify", "old_id": "e99ee8b5ad46d8999d9ee1e1f5ad95303f3181da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Rpc/RequestHandling.c", "new_id": "4960e898fd4b270086bf7588e3f9a7d68f8b6e00", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Rpc/RequestHandling.c" }, { "type": "modify", "old_id": "77a864053860f2df79661be00fe1d62cacd8744e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Snapshots.c", "new_id": "10ffd81a2474f350202fdd2a16798e36bedaefe2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Snapshots.c" }, { "type": "modify", "old_id": "02b84efc5375e40535b960e06237c0348a2dd698", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Utils.c", "new_id": "3a4d4f67fea225fd841370e061e24cfcedf15046", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Utils.c" }, { "type": "modify", "old_id": "a905bccb2293e930a69219e74ba62cf61dcc8745", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Watchdog.c", "new_id": "63afd34e5dbb2b4e155992cf4a413dc05fd64555", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Watchdog.c" }, { "type": "modify", "old_id": "7b95c51875a2f4ef226ba69cbab57d15be173fd7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Structure.c", "new_id": "4408a9a80baf7826b6166d8c2c56bf04033fce5d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Structure.c" }, { "type": "modify", "old_id": "db2934090c94e84a9e1b0dde26cdea1be0fae5dd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/SubExpr.c", "new_id": "5cb282e7c78471a08925cccb35789381cb379095", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/SubExpr.c" }, { "type": "modify", "old_id": "ddb3d1f78b8b28da8c6cba929ff073dee52523a2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Syntax.c", "new_id": "435de1aeba841acc588f1bbc91c590fd65076979", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Syntax.c" }, { "type": "modify", "old_id": "4cf358f1a5dc9d8cd3a029f094fd7e20f35779fa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/CollectFVars.c", "new_id": "8853a110e5b92ba3aa544bd5f48c0476beccf5f6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/CollectFVars.c" }, { "type": "modify", "old_id": "3a2ce1f4c7945e342e5c36f177d8d1256944a812", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/CollectLevelParams.c", "new_id": "bc824eed48ab67817d679dd613ed88a813af551e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/CollectLevelParams.c" }, { "type": "modify", "old_id": "42fc13e19544a7e4d926da8ca786440ee0143b50", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/CollectMVars.c", "new_id": "44d2a54a4dc557e9e9298291f5cf4c2ff5a86649", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/CollectMVars.c" }, { "type": "modify", "old_id": "49d57d8c86e3590e05d8cf398d31e400a0ea6114", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/InstantiateLevelParams.c", "new_id": "bc6dbb10bd8e194e4f0f9abadea093f415107d25", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/InstantiateLevelParams.c" }, { "type": "modify", "old_id": "94b60400a31a069d83fc3d982a58fa644cdd9018", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/OccursCheck.c", "new_id": "d45a60671e4c5dd99c8ed0d352f6841694e4b378", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/OccursCheck.c" }, { "type": "modify", "old_id": "9c44e275c1a6f4c57a658b0ba0908a42ca7ca483", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Path.c", "new_id": "f86ccf9778d7f9cbb4a01a3786e794a995f19dd1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Path.c" }, { "type": "modify", "old_id": "2be319c2bae470da4ee2c4f033355ab7a1ce8023", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Recognizers.c", "new_id": "c6c2ad1bd0236b4cfda11276a074ad83f41fed41", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Recognizers.c" }, { "type": "modify", "old_id": "0be566ca3aa3a35b285d4607a4810525fbc98b50", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/ReplaceExpr.c", "new_id": "710454f4d65e19a506f838796b6f33106b2fe28c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/ReplaceExpr.c" }, { "type": "modify", "old_id": "9b38d8ac58adf80e7dec24396cd4b0e65d91e23c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/ReplaceLevel.c", "new_id": "cdc21d8c04d3f6ee580079eba9c955799fb3bcec", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/ReplaceLevel.c" }, { "type": "modify", "old_id": "fcb73e3b2f88bcd48c6172ccf4559e5dc983151f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Trace.c", "new_id": "1b05a27601833f1c66968b2d7a2bfe1d2720130a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Trace.c" }, { "type": "modify", "old_id": "39032785f232713f18afd0d0ed6c7f2f0ca76d03", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/Diff.c", "new_id": "5b11f0f842166040f642ea0508fb4e5e5c518278", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/Diff.c" }, { "type": "modify", "old_id": "e31907cdafed62e969d11a5043c14037b4f4254d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c", "new_id": "1322a6b34bd2a41b3387c1f09a753a6259381a83", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c" }, { "type": "modify", "old_id": "845921a133cb3a2a5ba423cb9e67ba02265d9072", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c", "new_id": "b357e7b64944667d7c57d0a73b79df311d97d04a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c" }, { "type": "modify", "old_id": "862eade34ec400af801fad76c227f14ec5131b83", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c", "new_id": "5dd66f5e408bf6d77b4ed6d23771ff77b0b3bf36", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c" }, { "type": "modify", "old_id": "91e8f6e270d5aa51c666031c201a10ffb877c1b3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/TaggedText.c", "new_id": "0cac216ee08ce0c5cdbba65eb0bb0e911afa9d1a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/TaggedText.c" }, { "type": "modify", "old_id": "ead90a33e3f1f9ed4f97a24a675b5660215060a7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/UserWidget.c", "new_id": "dfaf543d1ec0f9aec857abe8df95bff8b4e321dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/UserWidget.c" } ] }