)]}' { "commit": "df2571286bb3d99f69d0cf8cfbd2220222b272f8", "tree": "b024b1a3b6eb0d8c7a0dfc1b6017ef9c5e5a3a55", "parents": [ "b7dcd434fb5fe74748c228caa7a62e78c6964fd8" ], "author": { "name": "Leonardo de Moura", "email": "leomoura@amazon.com", "time": "Sat Feb 17 17:19:53 2024 -0800" }, "committer": { "name": "Leonardo de Moura", "email": "leomoura@amazon.com", "time": "Sat Feb 17 17:19:53 2024 -0800" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "c933747bd4a8d974ce223b84ca91c199ecc3b620", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data.c", "new_id": "4f4298ddaa2a115d8e7691c6f1af936a2c10c7a2", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "2cf0360865f3efae73abc669e2a39c3f42dffcb3", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Cast.c" }, { "type": "modify", "old_id": "509044d508889347fa9c438bc10cc67d8f277a6b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Format/Basic.c", "new_id": "9c5af263a3086589b07ef92308a7a80f531a40e3", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Format/Basic.c" }, { "type": "modify", "old_id": "9bba599b025c218a2507e173f26a006f31590edd", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Int.c", "new_id": "0c748e32b6691763928f8a79de32894262aba431", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int.c" }, { "type": "modify", "old_id": "3f0d0ce1978f98cbc41fa369115647ad258d0e4a", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Int/Basic.c", "new_id": "efa4567d0c14caca962c6091644e248ddd94aa51", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/Basic.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "a4ec8179e9d1e6c0036418c7781a5c5370d7b671", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/Bitwise.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "dfde3b581f509b177ff0e372722b0e60392afdc1", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/DivMod.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "d8fc27ed5c8fc2851753b33420292a0d1f2c0f97", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/DivModLemmas.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "5597bcc291978a32979741d1c2f67d201eee0aee", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/Gcd.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "dea5b8ef5e66f7008cbfcc7d13fd43be642eb9bc", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/Lemmas.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "b25c38265e70bbfc5b5847e18b0bca6cb72b12b8", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/Order.c" }, { "type": "modify", "old_id": "a83775373c7e1acc396b6b5154433d7caba27a36", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Option.c", "new_id": "54aad87139ad8ed3d4b0b0badbe3ac338a219d08", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Option.c" }, { "type": "modify", "old_id": "be8db06b9c7da0895c6bbd6f8aab6693553b373d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Option/Basic.c", "new_id": "74ad875ba9c7d149bbf777e4d671931a54605f21", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Option/Basic.c" }, { "type": "modify", "old_id": "f7b9afe8a7915cc1af33c3056b8edfae0bd2442e", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Option/Instances.c", "new_id": "e5dcbc608127e6cdb47132669a8b21aa97b1bd46", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Option/Instances.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "f26e145a3cd3f3e6b56111ae525294078c9e3de3", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Option/Lemmas.c" }, { "type": "modify", "old_id": "8e0133bfbfbd3ef27fc06409e6c316e1adfd7e18", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Ord.c", "new_id": "facb3ed56136e95bacc97b5dfcc2265bde5e2c14", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Ord.c" }, { "type": "modify", "old_id": "d9d7eeab579e9831ea6f119501deeae5cfe7c6a0", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Random.c", "new_id": "fb725bc7ade6669dd986030d3b221cf58023dc00", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Random.c" }, { "type": "modify", "old_id": "5bcce75e220a66615f4598e978dab4ff5e948eb7", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Meta.c", "new_id": "6ca82c38e79a608a33342124485525ee74b8fd9a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Meta.c" }, { "type": "modify", "old_id": "89373adc17f4babd266d9f972eb99fea62bea413", "old_mode": 33188, "old_path": "stage0/stdlib/Init/NotationExtra.c", "new_id": "3e421e34bc666ba49d2949c27a080c51c8be5bc2", "new_mode": 33188, "new_path": "stage0/stdlib/Init/NotationExtra.c" }, { "type": "modify", "old_id": "f1f0d5b9b5b1913a2ba20aa46c9f023b70f6b482", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Tactics.c", "new_id": "0d2aac0ed10eb4b8d884981cf015f72e15449d87", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Tactics.c" }, { "type": "modify", "old_id": "c491d323ce65d661b3ebf1ae867b9a257ec0f545", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Class.c", "new_id": "3d3837288487919cadac579c9447c6ab59d16899", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Class.c" }, { "type": "modify", "old_id": "c87f7ff5bd21b28b2b70e5926dec8408247a5514", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c", "new_id": "ee0f0b2cd45e77f12c183e53b1f8b6acc3bd2422", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c" }, { "type": "modify", "old_id": "7749731c55eed3d7c1d2395a35fbd643449cac66", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c", "new_id": "b9b82f852c57855250f5547c21b78634fb195dd9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c" }, { "type": "modify", "old_id": "eef120e34a7d7bf9d807f84d06dfbe18d4ed91b3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c", "new_id": "2644c8624d613a7ad2c54897ee2aa00bba1c6549", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c" }, { "type": "modify", "old_id": "2428c0048c3817985eae5762c18d209c5c881404", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c", "new_id": "4fdacb92d7ce4444845d32421ba7cd2041ae4894", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c" }, { "type": "modify", "old_id": "a477d1cd36e9ec2b6de82e496ee72a907718e9c8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c", "new_id": "12c9fd67dbd08d25f30650f8632375d68bf0fcc6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c" }, { "type": "modify", "old_id": "df4fe26e73a12a760e53cd51ab745ac71cfb09e2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c", "new_id": "5f41d37105f24dc83f4b7bec4eb84df86392a076", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c" }, { "type": "modify", "old_id": "efd75535f8a11aa54e0dfb528477e33f864cde42", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c", "new_id": "fa6f20a1349a7adc2b17d442eae0c68da6c53a8f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c" }, { "type": "modify", "old_id": "c7cad5d259bfe9b70212e9a1449df5e9c7f291d0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/BaseTypes.c", "new_id": "afc4f91c02c63de5d56d428e5739e495f45d65bd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/BaseTypes.c" }, { "type": "modify", "old_id": "ee16388808994665cb2b381eeff7d99cde71900d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c", "new_id": "8ac7235ba5b2afb2e6453b2c768ea79cae1c28f3", "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": "f3662aff3d19a94e924d09c074fa03d7f0cb11e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Bind.c" }, { "type": "modify", "old_id": "b76983c946803661b78f62623fe346317115a63c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c", "new_id": "a0dee4b3fddc0aaab69a6f4c82cd8d5800a41945", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CSE.c" }, { "type": "modify", "old_id": "948a47dd8d00da3d3508c6356394ea1568f46824", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c", "new_id": "f99da01091c9bac5785e1a4598ec1e7db4f8a30f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c" }, { "type": "modify", "old_id": "3f9ad87810338edbb7a611645fa9c78aa5ccd2d5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c", "new_id": "8f7064020186b4fcce1f8dd898b543e8ccc4373d", "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": "3d17950980605b2ba02ff0222c78caa0cc22bd78", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CompatibleTypes.c" }, { "type": "modify", "old_id": "62611f2e9eddb05d7d865b6116f1b60c32fc1e95", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c", "new_id": "79f7d91c4335dedddd2688b8305de0cf84def10e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c" }, { "type": "modify", "old_id": "be6904e20a0a4279aec632c8e5f6a90ced971c46", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ConfigOptions.c", "new_id": "7fa92d34f5e15bfbc5bb5939f70421c3017abd60", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ConfigOptions.c" }, { "type": "modify", "old_id": "5e7757e48cb6b0c5ad4c992a17a47a387c524acb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c", "new_id": "3eaa055ef3cd7fd493ed0351af5bce88e75d939f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c" }, { "type": "modify", "old_id": "30276b58e35d1b09432e4c6495d97e4c78aac329", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/DependsOn.c", "new_id": "dd361cc2db876819acfbd9af12eafef8bca4a1a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/DependsOn.c" }, { "type": "modify", "old_id": "9a6165e91a8b796ebc50a82dc7a8b0bb927e654c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c", "new_id": "809e4cfb099e2678554d816279ae23becd40f0ca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c" }, { "type": "modify", "old_id": "2ce1c7d4d5a743e87b198439b8f4504ec382203c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c", "new_id": "d9b2c29809a07e126f7a51f94a98f5505fd61a19", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c" }, { "type": "modify", "old_id": "01b010f6b9422c62608978d70362aa418ab1de61", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c", "new_id": "8583528f8c196ac1daf69b75b8e623d9b4694a76", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c" }, { "type": "modify", "old_id": "44e0b553bdf4f6cc82e22b0b5bf7cc2880628c1a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c", "new_id": "75d91b0f2cce7a05182933d784d81c701cc3d4cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c" }, { "type": "modify", "old_id": "e6ab19fda00636ca69caf02410ec9e2346143c65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c", "new_id": "2205fcd7c20cfcf0b4f9251abe8013322e020b74", "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": "687a83fb1a876901c66c3611335985866c930e8f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/InferType.c" }, { "type": "modify", "old_id": "2aa60cdc7679a06afe9909ab3e482731e3b5ac3d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Internalize.c", "new_id": "55704f51decbbecdb2b9f4fd420d7dae5ac6920d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Internalize.c" }, { "type": "modify", "old_id": "3cf92b87e5fbf055370449f85b42918cd18f712f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c", "new_id": "7d2d3fddf3faef8d45f8fc0edf6c70cc9518ff43", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c" }, { "type": "modify", "old_id": "8bffa8fe4c5fe1aa0b6a7a2fd1c65e8bc136a65f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c", "new_id": "56d87a05ffb4f12b8ecca7f5cf01edb569b3d2fe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c" }, { "type": "modify", "old_id": "085c361a74a57a6f18efc53f367c5c794eed4983", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/LambdaLifting.c", "new_id": "30a5c99948d535df055e0a20dd7b9b14364baf94", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/LambdaLifting.c" }, { "type": "modify", "old_id": "9d0ff0f6225360aa3023bc817093cb85b2de4c19", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c", "new_id": "3a6b93e43a9ba280d981b70455b24fe357c258ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c" }, { "type": "modify", "old_id": "236adcf38bfd0a3c450f2d94e3cc69623ae7d8b4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c", "new_id": "889f6a4622c2a3fa7c8b936685d774e34b0d5cf4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c" }, { "type": "modify", "old_id": "0a67ede0441f7c65a630eac1c216edfefb0e18bb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/MonadScope.c", "new_id": "e622745edfe5668fc08afc7686bfaab20554ba19", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/MonadScope.c" }, { "type": "modify", "old_id": "aa6b6038ce6d3f96189d19a8c6511fa2d1dfd6f9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/MonoTypes.c", "new_id": "e037b12fa111f91036ef73c0e109ffe4d6669ad1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/MonoTypes.c" }, { "type": "modify", "old_id": "55013767619d0940f74fb031314746bf1764b72e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/OtherDecl.c", "new_id": "0335892401c6f1a8739d455794aff03e93622661", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/OtherDecl.c" }, { "type": "modify", "old_id": "696a7513cdc2e9920a8cc1e38dc6a4237dd875da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c", "new_id": "a1f879743a285119f9d281f510496aeffeefe80b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c" }, { "type": "modify", "old_id": "9bd6459c3dd972f05d6313d16b09488ab537c74a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Passes.c", "new_id": "d44593e236668cb90f6728961dcaf79ae8547249", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Passes.c" }, { "type": "modify", "old_id": "d16339da34eff954ca265f1a8189f0b89ccee680", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c", "new_id": "e2a5dd2a87c36b6784e4b3504ec1cb84a9c40332", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c" }, { "type": "modify", "old_id": "b32354475ceb34bde8d93064eab16a8bc5b028dc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c", "new_id": "e7fe5711a63336f762c29809889462c198c3d008", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PrettyPrinter.c" }, { "type": "modify", "old_id": "62c08a62c7cc8d66503f311a09d03f5e2641cbb7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Probing.c", "new_id": "079cd9ba1dcaecdd287a14e3929cbf54a8847d71", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Probing.c" }, { "type": "modify", "old_id": "1e9744b7f6371efde3aff928b78e3d0e5d88bd35", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c", "new_id": "b6d7bbaeb06e61c94045814001d34716f5681286", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PullFunDecls.c" }, { "type": "modify", "old_id": "bc44600ffeefd9ee7ada545b339b2a8bb6160db7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PullLetDecls.c", "new_id": "76a5d826e861348be0cdabaf841296cd6d170b4a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PullLetDecls.c" }, { "type": "modify", "old_id": "be88e6045de6bac6a27149a763314bea264c0aa1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c", "new_id": "c1a5e4ec7dbf9cdbeb4aa0bb7266da9c174ad8ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceArity.c" }, { "type": "modify", "old_id": "06d89fcc166e3da4b59caa6d46ec26f57cb8de35", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c", "new_id": "2b308c9a9fe0c8c68e734397540a168fd9bfe754", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ReduceJpArity.c" }, { "type": "modify", "old_id": "7a488bbc34a1f7f6e282b0a84c8303dc5ab353ae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Renaming.c", "new_id": "d6ed88cbf18f0ce4eea8938a05456c001f78a105", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Renaming.c" }, { "type": "modify", "old_id": "8e0bb5fcb1ae56f248f35ef739517e07d866534a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ScopeM.c", "new_id": "6facc5ff2ac9064ec8c135f573aeb60d757ddec6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ScopeM.c" }, { "type": "modify", "old_id": "7170e7f59af6a97b4d91574f34ed917c6a451814", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c", "new_id": "218e237eb949198b29bf00c7fafc83ed5714c4be", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp.c" }, { "type": "modify", "old_id": "4b123ae5da8ec8d25e38cdf1276ec52a82863016", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Basic.c", "new_id": "2960f50ff8f61bd8ba3476fae3e38e58177e8ac4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Basic.c" }, { "type": "modify", "old_id": "52663f391d00a11fafa23f7ade23acb24724a21c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/ConstantFold.c", "new_id": "9abd0d0b3d25a291003de30860408e0bf68efb81", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/ConstantFold.c" }, { "type": "modify", "old_id": "6488a5decfe978310efb115d82b09c052dee0c0c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c", "new_id": "718d7d50e9693702101312f6ad7279c18f20a8e9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DefaultAlt.c" }, { "type": "modify", "old_id": "c0eba178403e4c946c5111ef8bcdc867814136bd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DiscrM.c", "new_id": "e7ceee5b0c55eb05b56863f49fbe14fb995cf146", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/DiscrM.c" }, { "type": "modify", "old_id": "ea0502de6d0fc3dfe9dae68baa68689aa4a31bcc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c", "new_id": "d12e641e1634560a17a56b190b4f3b2c8f1085b6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c" }, { "type": "modify", "old_id": "05e24ec9b32804dfd10d6c054a00a693de1f949d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c", "new_id": "854042bd2106db0d8220636f493fb98168c092c7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c" }, { "type": "modify", "old_id": "d9ab2ebd10ca0614df2f59fbe05657d2336d9932", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c", "new_id": "be40fcaea5945cbb74d73c64656749ebefa8c889", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c" }, { "type": "modify", "old_id": "7e25dfb246f9d469d3e63accb34b248f5b2c525c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c", "new_id": "1ee8f72f9a119dc8ae2e9cbed0ce444f8169c3a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c" }, { "type": "modify", "old_id": "fc754afa368adb448a374f8b8cae6a062f466bf9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c", "new_id": "05aa0baab3b365bee4744d0b0ef548b40a80246c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c" }, { "type": "modify", "old_id": "f851daeacf6ca31a4f53a17e1983b59998731682", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c", "new_id": "40eeefcc649d4422f89dd5fa0ad0d84e7a1ede53", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpM.c" }, { "type": "modify", "old_id": "0e93f1bd896404f3ff6cf33ad921db3e2637f9a0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c", "new_id": "11228fa84b5c3bd07eeb224b697885c79a595ba8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c" }, { "type": "modify", "old_id": "5885da8877e0d3c19f8007419fa18595df27678a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Used.c", "new_id": "9b1c20016b576ed69307eed9a20d4d69976e64e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Used.c" }, { "type": "modify", "old_id": "fcc9fdca3d0e0361ad48f60c44537d016471dabe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c", "new_id": "c2a9a31278b58b20018b17fee134a90aa132fafe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/SpecInfo.c" }, { "type": "modify", "old_id": "df7f08cc4d6919e72f9925b9cf4044f4b3ce39de", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c", "new_id": "0b86a2d50c80157729564cd25b2725d3ca5fbdbf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c" }, { "type": "modify", "old_id": "a7dec34cf24cf7536f0a1a1ec5c5059a2478921d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c", "new_id": "68d8b150e7d8932fee5ccc1b0cc221336f00aa25", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c" }, { "type": "modify", "old_id": "3bf401e123dfb3ce523ceacd1662ae28bd601685", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToDecl.c", "new_id": "4f8300cafbea0326e5e671bb8ca8fe310aaf5e12", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToDecl.c" }, { "type": "modify", "old_id": "4204b204920777937dfa5018c050ead96a530cd9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToExpr.c", "new_id": "8c1ad1c091c6dccf6110149a510e4b742fe2ea41", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToExpr.c" }, { "type": "modify", "old_id": "4407b2907e66155d86b3b8267994794e15d23e1f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c", "new_id": "044b959fea8310012cdd972061aec1b0ebbacd7a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c" }, { "type": "modify", "old_id": "e7dd30f8c093421c5a578780c90b9c677612f2b3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c", "new_id": "c4999637c3c089bd8727e1592b148a8afa8b741b", "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": "e359f454e27dee7ea15b323c175304263ab5a6f4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Types.c" }, { "type": "modify", "old_id": "b3b23dbefe7ce2351b07241addce1843796fd8f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Util.c", "new_id": "5f7877f1f41244ecd9946571691a883152ca4761", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Util.c" }, { "type": "modify", "old_id": "f3cb5e9652a11026c660ccf8112257792660e19f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/HashSet.c", "new_id": "bd90228fc1700a0ae74e4f6cb7ca91df1d1121e6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/HashSet.c" }, { "type": "modify", "old_id": "cc05b00ff8bd8d091d637f9de9e115e27c172c60", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Basic.c", "new_id": "952da37cb578c1eed8baf5c12106a62cee208e5e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Basic.c" }, { "type": "modify", "old_id": "838bad072a9ef400a8d218879a7b0b8a503f826e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Parser.c", "new_id": "0e87dcd748dca60248f1286a9f27422c8193cf3f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Parser.c" }, { "type": "modify", "old_id": "bc44182e89f7d57cec4cf4083777e12b8c74da56", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/JsonRpc.c", "new_id": "8d3cd407e5c4c14a79d9f478ce3d5dd9750cddb6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/JsonRpc.c" }, { "type": "modify", "old_id": "0f353bf0745effd788e80e89da54cf94c83c204c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c", "new_id": "cf5829b816fa96df1eebd207990ce9ddae48c499", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c" }, { "type": "modify", "old_id": "8d716c5935662daf25cc32ede818b80e24926c24", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c", "new_id": "c8bcdfba0719ffee5fee1258cbd3ce02dbe63a59", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c" }, { "type": "modify", "old_id": "4c7aa970f38bd87e2577388d5e01615bf232a769", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Rat.c", "new_id": "7dfa5d15c5f0bbd9eec70e22ac9295f4a6ce89eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Rat.c" }, { "type": "modify", "old_id": "52708c0f927671eaa3923c5660be0369eb812865", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Declaration.c", "new_id": "e140294b2b465771b6cdf21610c7243e3df02472", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Declaration.c" }, { "type": "modify", "old_id": "00d6f3c13c8f7d0fa8afeeb1b6eb74f92506c999", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Calc.c", "new_id": "492fe853bfe95af93ce827ac2a9e350c8fd1d9a2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Calc.c" }, { "type": "modify", "old_id": "99b83b17bd48957315ed6e42ed2a6ba92ba0c4fb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c", "new_id": "0b68c0d12174528b5fdce2136aff6dc7ca5adfad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c" }, { "type": "modify", "old_id": "a6a6d9af188fd31a0f76c6dc2fadee98dae0a81a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "bdaded22fc87a6d846c2ab43bf11372315db1eed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "92b7f53609712d7081a20a76e76a4dc824d47506", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c", "new_id": "01c23ff8f8775f338d2dda3b38817f9b8abe4ea2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c" }, { "type": "modify", "old_id": "f927edf843d5c17b5678fe5891344035486b60a8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "d393c666444733d5bc9b447f088534ebed1aa17d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "237318a18761ea3f520f43892a27f982c551a7de", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c", "new_id": "908ee7de5e7722cd34bf3857f3a9caee462627bf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c" }, { "type": "modify", "old_id": "7ecba1b982ba232b0002e1f58677525e655ec0c3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c", "new_id": "d394131feb7ba5cf85882db1607b91390bf1091e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c" }, { "type": "modify", "old_id": "2a806565a3ec54a79b9fe04f5f159358aeeba610", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c", "new_id": "cb16515e94d4076b21eca03ddc2b3a4fc101e18d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c" }, { "type": "modify", "old_id": "349e04932a0202d76924f4288b9fe19cb0e82c5f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c", "new_id": "4520827b1065a4e8e68af42941fa73c068afd258", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c" }, { "type": "modify", "old_id": "25ddcb5358457ca92c25588a35f07a187fce69e7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Basic.c", "new_id": "b1316e804142cc09bed86bcde2287dc77959d6d2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Basic.c" }, { "type": "modify", "old_id": "a38349ae4586b4264a06e224c1c5b64ee49d1692", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c", "new_id": "f78432050fecdc72de07539787f787ad9ae6f7eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c" }, { "type": "modify", "old_id": "2d2c75c467334edc3a0dac922e2a321a48420e28", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c", "new_id": "e8edb878981b2f6b7dbb496e28855f2dacccee78", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c" }, { "type": "modify", "old_id": "828422423e048f32c994c2fb1ed6dd81c95b034d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c", "new_id": "826810fe563a2f328c279813cf5503cdc77a6bcc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c" }, { "type": "modify", "old_id": "8f1ac47b8817be0fe5db79fab95477dc0136ec81", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c", "new_id": "2f536f9be3c9a965611020173b424cadd6612938", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c" }, { "type": "modify", "old_id": "b313279d199f2bf3e26b4b60f67bc009803adee2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c", "new_id": "565b1d4f721646dcd850e0af9d3542c92524802b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c" }, { "type": "modify", "old_id": "d31d23d782eb6224d5d559b571a3e2dbade2ca0a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c", "new_id": "f861fa9ac0a31f05a78b961f038e7df5b8878cd7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c" }, { "type": "modify", "old_id": "b5efb55a2ef9bc38ba9ebd82504cf674eaa50adf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c", "new_id": "7098679ad2b8f0baed49d901459f7ec828134a1a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c" }, { "type": "modify", "old_id": "4a6f81dcebd69280cb3b6e96af538ec9b5fc28cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c", "new_id": "ddc71aad51c257fad7d0c13c49768fa3f25e5639", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c" }, { "type": "modify", "old_id": "8778ecac4b90cd1920de4bc6dee8167c0d19343d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackDomain.c", "new_id": "ed32387a1ccb8c56173f24fd4e24a3bd60b199db", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackDomain.c" }, { "type": "modify", "old_id": "df5ab40186c9cc74759abf84e4d0b39df673e9cd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c", "new_id": "d83b7430d887edf6b6be1ca617348936dc924f6c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c" }, { "type": "modify", "old_id": "acaa464217efc3b8fd0e0423d5376af6b7fcdc87", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Rel.c", "new_id": "ca76fab4010cbd9f6e0272f2b64ebdc09eb1f854", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Rel.c" }, { "type": "modify", "old_id": "e10ac680d0310af6b5411b0055c08ce9bcc03d34", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "84819208347168ad9e44755db3def372a8f422e7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "680b82df0a41637782aa2bc3d1c7fb85bb8f26b9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "90e1e2200da5829a3cd7ac85e95aa65db1f33a9b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "39d16eff4d5cf407b2079c4ed923d98217dbba3b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "0a02e6ab97e9a765ccb4944c430201ac51e8244c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "8920b771f03d74e291acf9cf2d39be3f35e8f045", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c", "new_id": "7a4687b7336086d6feddb91af3e52de9af2dbb58", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c" }, { "type": "modify", "old_id": "a2d7f6916d42853b4ed97b2d47ff76a888ae6a31", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic.c", "new_id": "00d8ef1c3172d33ac85a85e6db3a556c4a200fd3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic.c" }, { "type": "modify", "old_id": "401380153f9c62b5efa86f928720d9f1432bda74", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Calc.c", "new_id": "f7382e6ba0ee22271f520b445a8818ffb04899ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Calc.c" }, { "type": "modify", "old_id": "50bc81cd7b5f5c5580896607453454ffd0bd946e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c", "new_id": "a735b102996ecd55567fea68539a50532984b29d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c" }, { "type": "modify", "old_id": "c9c8d278a8decd34bef8ee0a6fcde460623c05af", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c", "new_id": "d91df899e21f46f8a6d0fd325b9e898de91c7493", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "8149f4fe9e96509317b29397a681b0215da87a4a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/FalseOrByContra.c" }, { "type": "modify", "old_id": "095edd2c66a3bec2fe6080faf5fcdcc52710beb6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c", "new_id": "4a02cb7670c025d6d8f712517cf2534191559409", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c" }, { "type": "modify", "old_id": "387e75272b6387d8935c162f11bd29e7004792c7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Util.c", "new_id": "c41d43be37e52fee41b5f1e2f17d15448b745035", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Util.c" }, { "type": "modify", "old_id": "361a083c793b7f180179fe655c3b89fe9508cf4d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "3aa993da3be5ea122d06d7cb1b795c87ba54c397", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "fd0aa596415f8671d486129f18819b5c8ce79e39", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LocalContext.c", "new_id": "be499694f06d2a3ceb4a7c8164725f79d5409337", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LocalContext.c" }, { "type": "modify", "old_id": "4a9dd1f4760a27dcc71277a6730f178f65263cfd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta.c", "new_id": "73c25863e64aa1603e7ad5ead6038b7d276f1660", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta.c" }, { "type": "modify", "old_id": "4fb87484e251bfc99dd2e039d265d36cf8b5dc89", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AbstractNestedProofs.c", "new_id": "8e66c92a668d53614c399d42fa6025e807809c59", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AbstractNestedProofs.c" }, { "type": "modify", "old_id": "d890446689ef6bec3a75709c3eb5d789a58ff158", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c", "new_id": "5bdf5622c8903c8790a430cf74a4ce7e89569566", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c" }, { "type": "modify", "old_id": "aa5bf457c808603180a9a0e0dcc2de5e41fa823e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "82c2cdb0d0da7df426b8e6d08ba21c3ee66cfc42", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "delete", "old_id": "6fde5cc145896a66db875cf1942418f677af5f44", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CasesOn.c", "new_id": "0000000000000000000000000000000000000000", "new_mode": 0, "new_path": "/dev/null" }, { "type": "modify", "old_id": "4e2abf98dc8ae4ca86ebb72e846a13c6789c88da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Check.c", "new_id": "3e060db7545e8ab3ac9570f5faee41644f7d160a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Check.c" }, { "type": "modify", "old_id": "34553af3377d24421da53fe459639459c80e4489", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Closure.c", "new_id": "49a4324f204c669d6bf9546b9ae3aa472fc28214", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Closure.c" }, { "type": "modify", "old_id": "cba83571d8d806ea53957b6edc99ba21f388745e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c", "new_id": "7c0a97f088238405608a2c5d5c97c739b66e15a5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c" }, { "type": "modify", "old_id": "b88552675899555ddefdcf81c145c5af7ba6ce32", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTree.c", "new_id": "aec972c6b6f3d7db3ce4a60ed28c670e3a540552", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTree.c" }, { "type": "modify", "old_id": "8ad2300533cf9271e0de714ae5d02dd4d5743a74", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Eqns.c", "new_id": "be308ca03d92435eef96461274094308069523b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Eqns.c" }, { "type": "modify", "old_id": "bd86d50dfd3c7e0293c2176687e0419674d25ec2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprLens.c", "new_id": "eba2e9ddbbf8feb17e5233607a6d614f624bc00c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprLens.c" }, { "type": "modify", "old_id": "3622c97c863d3aa893c4dca97146674d16e26d66", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c", "new_id": "4ca6fd5d187f21f67f405403b8f3a44c6c4df2c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c" }, { "type": "modify", "old_id": "6a4e4e8a8af3e09a1e32a123047f331003da5ad9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/InferType.c", "new_id": "40a6e492bb1dc31eed12749a34196cb28c1d0f14", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/InferType.c" }, { "type": "modify", "old_id": "cde992d0110b9c8db41e5343a0ac4a98ef499ce3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Injective.c", "new_id": "9ca290e8e592b97f67dd65dc8d1a6456cdf745b7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Injective.c" }, { "type": "modify", "old_id": "26031e55e7b09b2ca5f9d849fc550a7cceab99a8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Basic.c", "new_id": "009c40731e78abc8fddbb50c3dcc7958bca54ce1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Basic.c" }, { "type": "modify", "old_id": "16fa72f9da0beceaca5982f16ba5dab15aaea79f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c", "new_id": "cb09d2e397525967d817283adb4dc92c439dc805", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c" }, { "type": "modify", "old_id": "022ae87d1fb6e6dbaaf2a401cc08e937db4c6454", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c", "new_id": "a0518240c418593147d1accbd226712782f7126b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c" }, { "type": "modify", "old_id": "8391557a4861a93650b070b8a6249c3f4f0b4b5d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c", "new_id": "0a075e90b50989fdb95f6e95f300e856df44e5d5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c" }, { "type": "modify", "old_id": "81968a9b1aa28f25e5ee99f761d0f77b944395a2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/MatchUtil.c", "new_id": "817646a24f96bd1f143e7d49527535faa3f82bcb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/MatchUtil.c" }, { "type": "modify", "old_id": "111687bf05746a6c21f9fae1be4bf1bc33347d89", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Offset.c", "new_id": "81275ebfe17409ad2cb5c0aa2ec8b473207281d9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Offset.c" }, { "type": "modify", "old_id": "2433cebe1b764c7a9992e6385dcd35a6e88ea790", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/PPGoal.c", "new_id": "dd6521e38a6ade2be4e049dd471b5f1c92ff208d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/PPGoal.c" }, { "type": "modify", "old_id": "50f52d95bc617dcb7acc4df7b91872aa1ecf5aa2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Reduce.c", "new_id": "569816a52e7fd1ee5ece938a4cc9b189b8af907b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Reduce.c" }, { "type": "modify", "old_id": "ad3c6b032f1bdbe79ec43edb5738d8044d2f68d3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ReduceEval.c", "new_id": "b1a6ba2ffdaf49387d09584701b3648016d8c34c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ReduceEval.c" }, { "type": "modify", "old_id": "aa143b11a1d511cc5eba514993f3189ef2f18bac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SizeOf.c", "new_id": "8f02bedebdb27cc0ddaa9c46c5e0960d539ec44c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SizeOf.c" }, { "type": "modify", "old_id": "afc35be5cbf10d1158ba1303af6abde48f8e23e1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c", "new_id": "423ce69ab8364abc008a136ca436fb15b7f2c51b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c" }, { "type": "modify", "old_id": "0fb85729a2a368f8179ecc8a1d34e0e5fe2202b3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c", "new_id": "a1e3489fd0c21590c394bc1b6cb90c732225aac0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c" }, { "type": "modify", "old_id": "42027e6a25bfd98e102353f9c9bc4335cc3e9af2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c", "new_id": "71245084cafe97e13ae6b85f486acf833b1eb13b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Congr.c" }, { "type": "modify", "old_id": "105cb115e40b353749aabd0105dca21053ffa986", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c", "new_id": "6b823d7bbb0612434845a841b3b4edee0c059653", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c" }, { "type": "modify", "old_id": "c44ce39d6f704b9598ec912f3f1c0a48f0215191", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c", "new_id": "206deb804e6137f90f5b1c5c8a6a4722507832c7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c" }, { "type": "modify", "old_id": "c8c84487b26f34f1be8d9f4ca5d8b290f9fa0fab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Basic.c", "new_id": "f2d1df62ee285af35d3dbc747633c0663dcfc69f", "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": "d0277cb6bd69db35d7db79842529b71d3a6c1f1c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Simp.c" }, { "type": "modify", "old_id": "5befd6f7a72721c8b1156c459cb6b1a5e962ee3b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Refl.c", "new_id": "16753ec8a20b5fa6762e00cb9cb4fad5549cdc39", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Refl.c" }, { "type": "modify", "old_id": "3d1b8c91f9ce886e02c3d7e84d398c39c50c1573", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c", "new_id": "cbede3f04fca60e7e27812af54c881b815da89ac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "4bbc55410e9eee09554f42488d274e1010e1df8a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs.c", "new_id": "12af52f3b14432176aa53b4a8b475f954da1ed69", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "4cdcea0aedde553881ffcb691294cee8dd60673d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.c" }, { "type": "modify", "old_id": "22a7304f4c23ed5b337ac54cf72ef6052359bf26", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c", "new_id": "51c15235e355714bb0b44716d4ac7868be772c6f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c" }, { "type": "modify", "old_id": "a5de28723d47a14a31db3a8eef3963bf6672f9f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c", "new_id": "c555e075230642a54890c3d8a3e9f383889b59ef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c" }, { "type": "modify", "old_id": "a2ddec1f09326a8640d40363c793142d76b349b1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c", "new_id": "6248c2a11b10c3d7284d5a207ce2e13639b23a7c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c" }, { "type": "modify", "old_id": "800514df89096b19219914a61b7f2f96682022ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c", "new_id": "11fe573368d80eb59cde8aba1e50bf648546b8e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "b95674f5805b948a86f46a74baf03c92b3c3016a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.c" }, { "type": "modify", "old_id": "c0d558754e441043ca6b0da6b746e2034f1b1942", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c", "new_id": "5d6724eecd53da18d33090713c8114cbe535fbe2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c" }, { "type": "modify", "old_id": "8b08fb88067bc9f15bee33393048d319bafa234e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c", "new_id": "263aa8b42b55ce60e4a489b2f86de1236b47fc70", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c" }, { "type": "modify", "old_id": "2a362fec58ba6661d1d979dc8ddf254d49449665", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c", "new_id": "f29d9322aaf01e42f06dde1ba04ea4d03fa186c0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c" }, { "type": "modify", "old_id": "bdf203dd4d7808f85f02ea8330ddba59a35b1c60", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c", "new_id": "151befa97b05ae41d8fab9f5d836196af14b688c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c" }, { "type": "modify", "old_id": "ec043d941f61d25e2114fa38beaa24d334db26c2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c", "new_id": "10aeca141b0b924255a46fef82acadab640d4119", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c" }, { "type": "modify", "old_id": "f9c65acc8bac28e7def74baeaf4633b48aca806c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c", "new_id": "29e1f6aa0522bc43fc16a26504b4f322e2cb7e15", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c" }, { "type": "modify", "old_id": "568b1bd76c8538ab7b1cfbcda09cc172e444f57a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c", "new_id": "d6544468f73979a531d5ce139e9a396ca433699b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c" }, { "type": "modify", "old_id": "f0187b1688223276d7101b9b5fc5d82c320cb658", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c", "new_id": "8256cdef42912b25c01bc9aed90cb813a20cff9f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c" }, { "type": "modify", "old_id": "38a3f6ab538419b7fde8f2187936b7d8f9307e27", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c", "new_id": "c28d81f80d01dcbf1effe4a8b07391a85779b44f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c" }, { "type": "modify", "old_id": "b2cbf4aae9c7710fc15552b9cc97bb143d1334cb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c", "new_id": "f6b335269f49e15e753da2bbba528fbec6c70aed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c" }, { "type": "modify", "old_id": "5789cd339f838828cb6ea847b5b974f0eebcf707", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c", "new_id": "d179a51cf200d8cd18c59908ced0d19ae939133f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c" }, { "type": "modify", "old_id": "1bae94ca1fd9703bc8a9729cf4e70ca5c188e6a0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/UnifyEq.c", "new_id": "025c640c6f602046c8abf55738f6fe7a836d0410", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/UnifyEq.c" }, { "type": "modify", "old_id": "91699077a0a94ac328dd8bdfc96bd81c7ac508b9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "ff0e6b6ad7346af3ec218f71a907078291ed8fe1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "3f36a5ee25dbbbc9385c9b0cefad503858f518a9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c", "new_id": "06438dac0304220e8ef447c717a1ac624cda4594", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c" }, { "type": "modify", "old_id": "52320d5a2e7007caa393a70851e419598d60cbc0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/WHNF.c", "new_id": "680f9aad431706c373a346b3bad2200bcb55e73a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/WHNF.c" }, { "type": "modify", "old_id": "d3a810371b56cb3cc0d3f3c85ee9ccf98e0880a0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "a77dd95847c3f8acd4c5e6896919425088281ef6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "b93d25280a91907fc60b669b1ac6f024afcb4a82", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Basic.c", "new_id": "3171bf15acd60137d2ef143de5a96cc513156bc6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Basic.c" }, { "type": "modify", "old_id": "99a0d6c9ac0286a2e1a6499af4fff1398b732302", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extension.c", "new_id": "0ef94616d9e39eee503b3c3a582a1b4179bfa7e9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extension.c" }, { "type": "modify", "old_id": "243f3de35f9c27629952ea1950c096b360a742f6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c", "new_id": "cfef83bca39af0c022ec8339613275f33c8d0238", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c" }, { "type": "modify", "old_id": "c2479451c426561a3d2431ef09f8ce55f10bc8e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Types.c", "new_id": "a10dfeb0d7aa8c7f7297007c2e9857ad99dd1733", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Types.c" }, { "type": "modify", "old_id": "dc482afe9785075a98c8763149599130d775ecbe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler.c", "new_id": "f265acc31a34a23f222fc86d431e3fb2697bcdef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler.c" }, { "type": "modify", "old_id": "0363e2990cb6c2295f131c18911c8a1d1d154629", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c", "new_id": "babd9cd50aacceb73b86f00d0f241de14fa3f618", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c" }, { "type": "modify", "old_id": "b0e3c3a7718ccaf74e32ee610cb733b0a6b33488", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c", "new_id": "26c16546b40a391b99bdee687b7b0e4d36c70d13", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c" }, { "type": "modify", "old_id": "6d90281884b6854fdb995c44f9dc4aaa08bbe2a3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Options.c", "new_id": "b7f1dd0fc73ca9af39c8f7c7fd87e215820f1f33", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Options.c" }, { "type": "modify", "old_id": "ebdc6489305fea85f61b7bd70e532d758cfda7e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/SubExpr.c", "new_id": "2a77a8497d6404f093d94bcebf24aaece03bd3c0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/SubExpr.c" }, { "type": "modify", "old_id": "238fcfe5afd90fd1d2fdabbc79dbfd3c2b3a184b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c", "new_id": "23d7ce0074ebb5aa1a0bbed02e946b4e760c3525", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c" }, { "type": "modify", "old_id": "1a327adceb47754592c8461de28101ec2f1d6ae4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/SetupFile.c", "new_id": "82a7a760d5f10b90ba6015e57e15bbd45e657501", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/SetupFile.c" }, { "type": "modify", "old_id": "51662ff7b6fbd7f410d676ea638dbd9e11d352c7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/ImportCompletion.c", "new_id": "4912347085a2e4ef1c419dd50d012d28e540faef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/ImportCompletion.c" }, { "type": "modify", "old_id": "34496cfbf4088ba0e60c03c667fac7864694098d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c", "new_id": "7205d7ec3e2bfd9c997ef7bb1c681f76f81b02c9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c" }, { "type": "modify", "old_id": "0cc043f0f5e4c0dbf638a2e1f8d8556433c37b0f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/References.c", "new_id": "1ab55955c74b35b21a0542996df7b492cbc213a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/References.c" }, { "type": "modify", "old_id": "c368c9e2d2a6d951aa62cefcaebd3987a01ac26d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ToExpr.c", "new_id": "0d0d6df5bf4f59978042f4d2588df885efbe8abd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ToExpr.c" }, { "type": "modify", "old_id": "b536bafbef86e0a0cd4b738c5d767217f9cb54f5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Path.c", "new_id": "c44e3956dc71010dbb4fba3ca2370fa0fb0d656a", "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": "b760dc0bd4784f95d6a7f1429fc876f96c4e60b5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Recognizers.c" }, { "type": "modify", "old_id": "8dd4910cf718b5108e5633eae2544d000aad256e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/SCC.c", "new_id": "d564cf969ed4b4d8d6d91d3067f75ead6a5bd883", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/SCC.c" }, { "type": "modify", "old_id": "35a156fd8295b810f540fa831c18eadd176236d5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Trace.c", "new_id": "342ed888ee7c3efa5777ef5da195e6a2eb6e8b78", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Trace.c" }, { "type": "modify", "old_id": "1cc5bb4384f2b820729321ce7f1ec6f5c3d5e29c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c", "new_id": "0b316e7dd2af57779a2394b4cd4e1ca63c94e443", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c" }, { "type": "modify", "old_id": "4221795c36c2297ea082f0b73fc2b7e9ef81f4ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c", "new_id": "a313feedad5454e976c291dccee9b2dbbe109547", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c" }, { "type": "modify", "old_id": "f3264297113a5991d4df1f08744c8f990c283e3d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c", "new_id": "a69be5b64d2ff166fbbd5fb2d4fa47ce06dbb631", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c" } ] }