)]}' { "commit": "3a2ffd7d52cc05c6785fb5452baed7f275177f1a", "tree": "4afd2a86a1a171448632761eb7ccd125f2689005", "parents": [ "81481fd0a2476597b33ed0ac52a43f38f308a7cd" ], "author": { "name": "Kim Morrison", "email": "kim@tqft.net", "time": "Mon Nov 03 05:08:53 2025 +0100" }, "committer": { "name": "Kim Morrison", "email": "kim@tqft.net", "time": "Mon Nov 03 05:46:31 2025 +0100" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "7bdf77390b517e0b40fcfe39c7f0702ba20a3a81", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/BinSearch.c", "new_id": "15ef9948fe084e912b29b3f300008332a55a052e", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/BinSearch.c" }, { "type": "modify", "old_id": "a3328944df6006dd2d51f4000de01b239dea20f0", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/Lex/Basic.c", "new_id": "2c0ecdb01d9dedc25f1a8de10e2b82a745285801", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/Lex/Basic.c" }, { "type": "modify", "old_id": "73f0026e0a524f5cd3eb257e62b59d62f4741b06", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Dyadic/Basic.c", "new_id": "c071ab78e585294a1979095346b0f67f1f5e2bc2", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Dyadic/Basic.c" }, { "type": "modify", "old_id": "f9aeb92a37c1e42443d185a9cedbe20190c9c499", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Nat/Linear.c", "new_id": "cb6c1b43f38a35f0dd20e85067c44d50b1ba261a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Nat/Linear.c" }, { "type": "modify", "old_id": "ce25bad9177fc6f366f51de80947b95b44486d8b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Nat/SOM.c", "new_id": "dac8bba525054ff5e5112216a4b43156a7f3a3bb", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Nat/SOM.c" }, { "type": "modify", "old_id": "676c3a775c761f900338b140a326c103506f03c8", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Vector/Basic.c", "new_id": "c3a23576ab3f36697a64fe025603a61887403f2e", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Vector/Basic.c" }, { "type": "modify", "old_id": "7109d822dde7b7c5232963fd26fa2d228e215974", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Grind/Ring/CommSolver.c", "new_id": "a1ceb826b9351724700ae47ab272c1ee4a8c3de3", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Grind/Ring/CommSolver.c" }, { "type": "modify", "old_id": "1ca38e2e0b511e38eb9308f16f355616351591d7", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Meta/Defs.c", "new_id": "1a04a06edcb9bb0abf221a837df06c553d826648", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Meta/Defs.c" }, { "type": "modify", "old_id": "1aa6a8e6a4b80189d3f39bdf6cc7a76047107f0a", "old_mode": 33188, "old_path": "stage0/stdlib/Init/MetaTypes.c", "new_id": "ebcbc9056d050bec9cf24f819f0d7546a2cfec0a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/MetaTypes.c" }, { "type": "modify", "old_id": "06659097f0a116d11c9011458748b26f289f2aa8", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/Uri.c", "new_id": "01d8e1199e34e05797f1c9b78c65266e1534d3f7", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/Uri.c" }, { "type": "modify", "old_id": "42ba86913e0b362158a41e98c80f84bc3bc5d038", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Common.c", "new_id": "8d614e6ee38d79674f5e41ef98e27b8a4cd50ab9", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Common.c" }, { "type": "modify", "old_id": "09c54d3bbc538484d80f806f87919e177927f083", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Data.c", "new_id": "458e05ee5f49b6ebaf326e38f34d02306f1d178a", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Data.c" }, { "type": "modify", "old_id": "264c60055868f77a6ecce4675ae11181eb3dd18d", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Library.c", "new_id": "504433dd5718b4bab367c73b0f633c20f83ab8df", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Library.c" }, { "type": "modify", "old_id": "6ee1efc60a7e466acd3e1781208bf227189c73d8", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Module.c", "new_id": "7dbc5eefcfb506f5fc6c2c8c1505ff8d21b633b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Module.c" }, { "type": "modify", "old_id": "e8c80f26056248a0b5c7727b2644c8019613c299", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Package.c", "new_id": "6fd4bf5aaa0e46c22ed0b90931cba282003d08ee", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Package.c" }, { "type": "modify", "old_id": "27f596d9c6c9c85e4c685da56c4a245f256a4df7", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Run.c", "new_id": "d6fbdcf742cb1c196300b6f42bab62f231cf8455", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Run.c" }, { "type": "modify", "old_id": "a4d3e2e784da2611a0df5634848c759850515d4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/CLI/Build.c", "new_id": "65be13b62a24c1d47245f58342d0471e885c871a", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/CLI/Build.c" }, { "type": "modify", "old_id": "6aab5d3fdeac72460621d0202ad347f1f560b537", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/CLI/Init.c", "new_id": "e997358f7fdb77a98803529ff6f075fbad407900", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/CLI/Init.c" }, { "type": "modify", "old_id": "9ed33a132e99f121398326fd14ccce53694a4bf9", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/CLI/Translate/Lean.c", "new_id": "d53dbbfffdcc232e0c953e8b95a05ac80838c00e", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/CLI/Translate/Lean.c" }, { "type": "modify", "old_id": "bcfe372d434e57b99d8c311a8ec9d7e63ae4f515", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/CLI/Translate/Toml.c", "new_id": "f327444afe707261f685af543bbc36d15f6a9bc1", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/CLI/Translate/Toml.c" }, { "type": "modify", "old_id": "54d61179fca09da3d3ab73708b41aa1ebf883d88", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Config/Cache.c", "new_id": "aa134a6a2fd65b94201ff9ea96a264e867bef31e", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Config/Cache.c" }, { "type": "modify", "old_id": "f5bd9561e97818b6427cc4c70b17d7b87f6590ce", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Config/Meta.c", "new_id": "8c1d0db8daeb1b825dc82d52a67724c55fce23a1", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Config/Meta.c" }, { "type": "modify", "old_id": "d655b23072991cde29afeac3f8d11ad2dcd09b57", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/DSL/DeclUtil.c", "new_id": "8399f47687352023ec9e311e10f197491d3f8e95", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/DSL/DeclUtil.c" }, { "type": "modify", "old_id": "da091d647ec729a552a2cc38467191717d9e26c3", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/DSL/Package.c", "new_id": "a7bafcd52468ff991fe0ac924e98bcce192bf2ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/DSL/Package.c" }, { "type": "modify", "old_id": "222a335cce116418ae2739bc5bae9bfab9dd96f9", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/DSL/Targets.c", "new_id": "01c4fdd3896815eb27a831002d03ff5bc049920d", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/DSL/Targets.c" }, { "type": "modify", "old_id": "e09c0d249422b8dc77c8b885d46e46109c600db4", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Load/Lean/Elab.c", "new_id": "6b064bc135c07f26efe48f221e2a866f81a952f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Load/Lean/Elab.c" }, { "type": "modify", "old_id": "30c99128f5fe136353dff6f9095afc1b2fb7b6c5", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Load/Resolve.c", "new_id": "ae61405867fa87c9888628d8f8118a348bd45a31", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Load/Resolve.c" }, { "type": "modify", "old_id": "c29ecf64cbe27fe2df03303e480f527ffc949ea9", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Load/Toml.c", "new_id": "1b08d6e87fe8d15526bc34047a40a1da9c56846a", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Load/Toml.c" }, { "type": "modify", "old_id": "cc2b749a02573868787394e261ef71a2ec27d4b1", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Toml/Elab/Expression.c", "new_id": "67e951521185c0ef8a737b7378700cbac9874d55", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Toml/Elab/Expression.c" }, { "type": "modify", "old_id": "0014b9d1609bb53be9943919d9f68efc41831d47", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Util/OrderedTagAttribute.c", "new_id": "4125579d2e8819993ccfe420311f4bab70623c0f", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Util/OrderedTagAttribute.c" }, { "type": "modify", "old_id": "1f91d3b3adac76e687469c76b3829259f3bfac2c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/AddDecl.c", "new_id": "b2f4768e9b48b3c62d6386b687cd9fd79f7d34fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/AddDecl.c" }, { "type": "modify", "old_id": "cd6cd8d096e308d60d11de26827b888c4d9e8bc2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Attributes.c", "new_id": "33a1d421bfa1f5fd57fc4480812722642544ef4b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Attributes.c" }, { "type": "modify", "old_id": "b5117fa5ffa799e80bcc09332b45bbfe467bab61", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/BuiltinDocAttr.c", "new_id": "55f8910c49c110b9d478eabbcf2a6d443e5ed79e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/BuiltinDocAttr.c" }, { "type": "modify", "old_id": "5aa97ab921fc78135c36a7707d8e552665743124", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c", "new_id": "18baa43b03ddb45dc0a55f957a52291939cafbcd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c" }, { "type": "modify", "old_id": "0409dcc91625b665d36073a22f62eee7d9cc8ee3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c", "new_id": "d7e0b22194aeaa9349a0246991fd2fee57c77ff0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c" }, { "type": "modify", "old_id": "923c8938cc581ba0d62f52b0e8fdab42d7487341", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c", "new_id": "25eb37f6abdf281e8f80f15c7092b406298eb70c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c" }, { "type": "modify", "old_id": "ec5b02ea0515d8cdd1cad5a0c1d34281584b9db2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ExpandResetReuse.c", "new_id": "ef88fe421773e209fa44ac90afc5f371c58c2205", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ExpandResetReuse.c" }, { "type": "modify", "old_id": "6035c047c731757b79e5f4f83bc8b370eb25b568", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/PushProj.c", "new_id": "12e0e5ba270d0a93eb502a727e0561dca11b41ee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/PushProj.c" }, { "type": "modify", "old_id": "402e8190e92835b640a8c36de59a112cce479cb8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/RC.c", "new_id": "e4d468c6a49d2d25ee84cf58baa164e85d334b15", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/RC.c" }, { "type": "modify", "old_id": "29b22569db2343761732c42ee540152e80ffc4f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c", "new_id": "e6d72cfb9484590dd18b7ab1a434d4c31a7063c5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c" }, { "type": "modify", "old_id": "862d755926b36eccae1e52cccb277379917420c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c", "new_id": "c130ffbb2aaf13c14614633c313b0f967488b9cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Closure.c" }, { "type": "modify", "old_id": "4d26be75744b10bc7332fb1b5d260027cf3e8cab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c", "new_id": "2e22ce63fce98ffa82afe8cb9951d584e44ea8b8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c" }, { "type": "modify", "old_id": "28b27558c1e5e40681429e4b1a91ac810dca479b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c", "new_id": "319efde2dd73834b370ab1f9a0fc3513c59a9117", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c" }, { "type": "modify", "old_id": "89869cb15781d29444a86551a3d294d4a36096e7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c", "new_id": "16061d05d1ddde3add0a73f63d43ee51e38b9361", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c" }, { "type": "modify", "old_id": "63cc26b45311a7a43447968d7fee45c0772f1807", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c", "new_id": "bfeb02b9adf574a642aa755d9531879811d161fc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c" }, { "type": "modify", "old_id": "110c09333f25eb081b7a587f34476bc22f24549e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c", "new_id": "7fab16766297a07c57b1022b94c801e778c58b8c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineCandidate.c" }, { "type": "modify", "old_id": "191e8deb2400ad24e91e5aa705ea9c8430f4151f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c", "new_id": "5c83712e78d4b244f5ae73314bc6bc1cb58fcbce", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/JpCases.c" }, { "type": "modify", "old_id": "3426b388dfa02d076c123048c524a25231f98e53", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c", "new_id": "c7c11eb0c4f2c4d9db25a3c4bc7dfa9c686a7f13", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c" }, { "type": "modify", "old_id": "9f818a4e19d341e3c0be01fd4ab6895a964fd868", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c", "new_id": "663563df132b978914484206f4e583c9cc5febf4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c" }, { "type": "modify", "old_id": "bc34bcf678b81a5730a89a9f99515527e3289dee", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c", "new_id": "803f811b385825af34e50c51f9dc81a7fe886a20", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c" }, { "type": "modify", "old_id": "d7908ef0c5fddd70e675ae94d5a8ce095e374111", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c", "new_id": "d059b00264a0a6273efd4ddb4d616d2a013fc6ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c" }, { "type": "modify", "old_id": "70ea863ba7c954f06f6b0fd44dd5beca73e1fbb1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Types.c", "new_id": "29dd239c2c94b427dc585c31a40697d925185a21", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Types.c" }, { "type": "modify", "old_id": "111ac6dd59855a4200227e47e4c8157f61711e2d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Visibility.c", "new_id": "fa690f01706195691d7277a207e4946cec2c9761", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Visibility.c" }, { "type": "modify", "old_id": "09425a142a892a441a427852afc485d4065bdb4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Main.c", "new_id": "8657d1ac02326e46e54216842b1ac91b6e2f5093", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Main.c" }, { "type": "modify", "old_id": "82fe5a40f932c33286ce9708a25f9885a153f4b4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/CoreM.c", "new_id": "dfb4ac5779ad1c55bc194f76f846457ed467db6b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/CoreM.c" }, { "type": "modify", "old_id": "30f13498f72f97de540c7fd98ba1b0442bb66732", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/EditDistance.c", "new_id": "e686bc463180f5cf6fe0097c3ebaeebca1ed1348", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/EditDistance.c" }, { "type": "modify", "old_id": "b2601f600d3755d387519e37de522cee75365e20", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c", "new_id": "85a5d7136497e10c7eb2c098c8d8d5072cffedb5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c" }, { "type": "modify", "old_id": "df2debb85f7b3d44adf7392c0c6e31f26af73d71", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c", "new_id": "c085c10511ceda4cf3f5bd0e82a436af288ef75c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c" }, { "type": "modify", "old_id": "d4ee3fa1bd42da1106c8447aa8f516b8818b4b11", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c", "new_id": "8e107b92b8957d3d5eaa55bdf1edf9182e305130", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c" }, { "type": "modify", "old_id": "96a8473b4101c7615e14fa1dd387ce5c30084cfb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/RBMap.c", "new_id": "29233cba6c26f96c9fab8ba700fc295ea3cdfbac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/RBMap.c" }, { "type": "modify", "old_id": "9ae9ccd433341e9d90f1e5d3de0a56f881723b16", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Xml/Parser.c", "new_id": "e9e9a636c22ffd86e0efac826e6c9f41bf3860b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Xml/Parser.c" }, { "type": "modify", "old_id": "8b6c40578d34b1cb5dd6ce7d51692c596916add3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DefEqAttrib.c", "new_id": "4642b3d2709a6d8eac2ddc6de5be515cbeacd123", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DefEqAttrib.c" }, { "type": "modify", "old_id": "560f2e26c471605a486156367f53bdd834adcd9f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString/Add.c", "new_id": "833a073c23b6c2814b3625f998ee7b4c8297c30b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString/Add.c" }, { "type": "modify", "old_id": "b5177cea0523e8f5e111b3adeff5737bd243e57b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString/Links.c", "new_id": "31d014835a0830c1e75a91197bd5a26d4def24cc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString/Links.c" }, { "type": "modify", "old_id": "d8770237848239c7cb0568905442d06747a9a6d9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString/Markdown.c", "new_id": "d44946a736fc1f0140b7c01cb9fe1c5327b6ab7a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString/Markdown.c" }, { "type": "modify", "old_id": "090bf0d8e2f88587ad574cc83bbf1d698e284022", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString/Parser.c", "new_id": "f0b91d3418d08c33191cfe09b47769ce35c4f2c3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString/Parser.c" }, { "type": "modify", "old_id": "0db9fb8ab2117ac39c53bc5a9bdff394034a5cb0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString/Types.c", "new_id": "2cef3c04369703cdb2df70ebf961bdf80b8998f9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString/Types.c" }, { "type": "modify", "old_id": "3ae75955b41b7d7f83896529f36b0768a224e28e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "e280755e240d01d9ae3a5ed27acadac34236a3a3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "3743561ae41339eb95068aca7f01f962fe6a134a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BinderPredicates.c", "new_id": "793775eb730509a449c64bc7004723b1b906ff77", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BinderPredicates.c" }, { "type": "modify", "old_id": "b1215a3a751c93d6026acd9962ec2b6ffabbdd23", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "c46bc02f25b24285f61106b08b0e9dbb59652e49", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "6de36e138a93d0221b9c6842cc0410b1f94c73ae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c", "new_id": "4ec83b79fd275be0bc6acdcfe60efa36929ff9a4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c" }, { "type": "modify", "old_id": "a4c97806f98f1ba193c356859d100c6d49f84986", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinEvalCommand.c", "new_id": "0c846a16d759618495fbe018036208beab874a43", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinEvalCommand.c" }, { "type": "modify", "old_id": "83a13b5ae377835b089324af48fc8477959d7425", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c", "new_id": "cc409dd5e53315d7c08e292faef0634d5d862633", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c" }, { "type": "modify", "old_id": "d5343dd29338d29e6fd979b14aee3fcf50153d26", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c", "new_id": "ff0c771ec7f8f00607a0e22ac81893fb29330a37", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c" }, { "type": "modify", "old_id": "d406ab159395515b3ffc8431a78c795e450f5912", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Calc.c", "new_id": "155fe9d4e425476c2f75288481bf5cb9c49e443d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Calc.c" }, { "type": "modify", "old_id": "cd682dbe155ed335e53dcd1f74769e8393dc4cdc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Command.c", "new_id": "f46857299eb418c5f52c588febadbde9da5cc332", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Command.c" }, { "type": "modify", "old_id": "6b233f835edceebbd8ffdd9729a218d4d7edfa4b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c", "new_id": "b7dcbc29082b8a3e31a8e174e99837c227895613", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c" }, { "type": "modify", "old_id": "c7d25e6eb2fbc1252693a656c66f2d0105e18a23", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclNameGen.c", "new_id": "7d3902bb33089ec32095b52b02c1243bba88efe2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclNameGen.c" }, { "type": "modify", "old_id": "0e0136feaad82d6f2dff1114e68942f973edfa37", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Declaration.c", "new_id": "709a1bbe2d3935a13b6d8ecc16655103a9ac8da2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Declaration.c" }, { "type": "modify", "old_id": "8d17ff9d8990202649447ad7fbcba0618f9c66ba", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DefView.c", "new_id": "2c697ffda9cf32ac9abf659ce34ba56624bd2f5e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DefView.c" }, { "type": "modify", "old_id": "2228b1a298e007acf27196b60f8e024985fd3479", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c", "new_id": "613b618f76bcbce2f819f029a42a4eaeeae11bc1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c" }, { "type": "modify", "old_id": "7f5ae7e1453dcf285303df5c11459a8d80d3266c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c", "new_id": "42eafba4b77c6e0ecf17334dd31974ad7708f533", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c" }, { "type": "modify", "old_id": "fd04c3cb4d039addd63e9c1941b23b0b69cc9d1d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c", "new_id": "4318fa1d9d2dfc6b73563cbaa76211177d3878b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Inhabited.c" }, { "type": "modify", "old_id": "d39b5757f130f313409f56b462aef48c3cca4ce5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Do.c", "new_id": "d47be252504c799a79e7376b3aeb894305da4f05", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Do.c" }, { "type": "modify", "old_id": "e3665bc2f4cedd696b7745f67bbeb72f15a994ca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString.c", "new_id": "b422613a3c7c7014f1ca9a36f5f19e9210780c2a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString.c" }, { "type": "modify", "old_id": "e3542eb2b1c61e56c68bfbabc8ca34bcca2eb7eb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString/Builtin.c", "new_id": "615fc8fc603e81106baef4d9f62786f312e08270", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString/Builtin.c" }, { "type": "modify", "old_id": "e5fbb984ce0c037edcf6b547e4d1d2fc5df580a6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Keywords.c", "new_id": "fca036ea342d27ad4ce75b1aed71cd7289a99e15", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Keywords.c" }, { "type": "modify", "old_id": "e0a8878b1f423f7c094f45c0dff88de2c4cb5623", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Postponed.c", "new_id": "64ebe30a1eb1049ade2a933cc8368fff33782454", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Postponed.c" }, { "type": "modify", "old_id": "9e2fb8a3a8e42c9b4a3a00bfedb045e3d29f83fc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Scopes.c", "new_id": "7b16660713c39db53651123010f1bd863f197e15", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Scopes.c" }, { "type": "modify", "old_id": "9fcbb4bdfeb05ca25e7c1e7318934a865b7e7c57", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ElabRules.c", "new_id": "651b7f347710788d9c75aa5dfc1261b2cb45c25c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ElabRules.c" }, { "type": "modify", "old_id": "acf02bb8816afd61f607fb513f276807682df5f3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ErrorExplanation.c", "new_id": "9a3e7d83d3bee8bdb0f4e84db1d1c5113d75dab4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ErrorExplanation.c" }, { "type": "modify", "old_id": "bc520b86059e61ad002de6fdd517e34122636b64", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Extra.c", "new_id": "b7fd9e5fe6cd0f1afe8f3fbebce1834db3af5830", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Extra.c" }, { "type": "modify", "old_id": "e8305bbbbd4aab5f076f609cca909e241f5a8180", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "ac069f701172210da1d808ecd2e59a562b27fdf0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "43a40f14c641c6eeacb5392a69f90664279a0035", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InheritDoc.c", "new_id": "152623abc631b6d06d4b9cf832311c5fa6fa0c60", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InheritDoc.c" }, { "type": "modify", "old_id": "70048d4e6ab8565d96837a8b0abcfbfffaa204e4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/LetRec.c", "new_id": "ae18bb4b9033da83950e09328184bd0e06b44f8b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/LetRec.c" }, { "type": "modify", "old_id": "ab0aef6d39929914bcdba916bb3b1e4c3cfdad55", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Macro.c", "new_id": "e396c0eead059cc222f016201a89b18d10674ec6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Macro.c" }, { "type": "modify", "old_id": "eb637e4e852582ad353f04a4e45a63e585708e2d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c", "new_id": "d3d58d8ed3ad315229da6252f4de3d6f9c137466", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c" }, { "type": "modify", "old_id": "9689fa33c55ebbd33a2d8a2c3641806279d7d2b6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "7f07a1f78cbe2ba4e9853d6a3b0e926d38b5cf1b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "0989fcdd948d24b1ccb54c958c8e26da55709b2a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c", "new_id": "53228528397bff8f41a1dbfab58512a213abbd0e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c" }, { "type": "modify", "old_id": "07704526a791ddda59f3b82ba0eb8f2f8f34f104", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualInductive.c", "new_id": "af9cab2ef841479d29dfc0e90f83f5d22121fedf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualInductive.c" }, { "type": "modify", "old_id": "ed4619f690de69e5bf40fa3081b2748d014b51ff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Notation.c", "new_id": "b4c0ce4a9710b6efb3b7d0cbb59048b053a9fa7e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Notation.c" }, { "type": "modify", "old_id": "aaa9b4fa54784a3cc680e9b21054d70f293414a7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c", "new_id": "59bf75a7970ce098f7a12c755c11d316d558aed3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c" }, { "type": "modify", "old_id": "d23ae4fbefcf91380506096c59037d970f4039eb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PatternVar.c", "new_id": "6d61054fbcc48885d0cc26df0868c788ae674129", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PatternVar.c" }, { "type": "modify", "old_id": "2dec3c2548432ce6cab04ef04026f81f3fa1587e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c", "new_id": "1d868f94e9960fdd39afd07ee38273f295fcab2b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c" }, { "type": "modify", "old_id": "db089416240e115d7cf81820ce17f5930233280e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c", "new_id": "f7f3b1a6e76cdf05571126c44c0b9ee7ebabeb59", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c" }, { "type": "modify", "old_id": "018d9bcee7d7566d790de68d7e30cf1829679a5a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/FixedParams.c", "new_id": "9981d0767614a08a90a2ebad30006ba14844e9ac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/FixedParams.c" }, { "type": "modify", "old_id": "ea0b72a2e0545e37667eaaff65bd312726c7120f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c", "new_id": "ad12565757b6f3363fdda2117558679a2df3d6db", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c" }, { "type": "modify", "old_id": "d6a602ee4dc6cf50b7090b0dc20480d867f810cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/MkInhabitant.c", "new_id": "2f09668f60722ea1407df575a5e95609b47a81e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/MkInhabitant.c" }, { "type": "modify", "old_id": "c2d9dd3572c7dd5c757e9c6717e8980fa394bf84", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c", "new_id": "cd2d88072d92a1eb7e10143ba8a80633acd0c1e6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/BRecOn.c" }, { "type": "modify", "old_id": "c04747ff6a0bb5e0bef0f57e9c87a189b245844f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c", "new_id": "05385e80724f1538336436bf4ec4c6c633573b3b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c" }, { "type": "modify", "old_id": "900c32fe40c9a36e8d5badd01e90197b8c239c91", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c", "new_id": "0d9833431c08bb222b0c5aca00b8bf686f10c91b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c" }, { "type": "modify", "old_id": "c16426eefa7a1642840d3c8bd7dc04c0325434cf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c", "new_id": "5dd3b3fa52d0bfc8de1f72587b1272caaba8389a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/IndPred.c" }, { "type": "modify", "old_id": "e05334728d8b77d064281e97fb7c9b95659d732f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c", "new_id": "b2b6e12ce735a617e1a0126f2942d7887d7c2d8c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c" }, { "type": "modify", "old_id": "3139d70d671dff3cd008390602c61045bd901cf7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c", "new_id": "58227a7a395facc869766b933bfd1726c63ab113", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/SmartUnfolding.c" }, { "type": "modify", "old_id": "c19ca615cfe268f5e325c22f8f116e4673fb93ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/TerminationHint.c", "new_id": "94b4a698ea2a67d6702a09a77e786b902c0af429", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/TerminationHint.c" }, { "type": "modify", "old_id": "e05173381b9a4ffd8fdc854339e95f56fc85d253", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/TerminationMeasure.c", "new_id": "9d16bdba07e9d1f036ec10a256c3e8d71f8e875a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/TerminationMeasure.c" }, { "type": "modify", "old_id": "700adc9a0a42eeb12955e0ab88807ef492a8bea2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c", "new_id": "9e1dae87d1aa05959ff955bcb03497a85e31d609", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c" }, { "type": "modify", "old_id": "9ec155afafb3a9063bddc26351ea19b791c12227", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c", "new_id": "4a6a2361dccdae31804e34262ff0f5764fc28a2b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c" }, { "type": "modify", "old_id": "4201dade270e39a82f3c4ca41c5d3ef3a55ce745", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c", "new_id": "58b5599f7afb4153daf1ef02f67f239a1c1159df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c" }, { "type": "modify", "old_id": "c93c80775ff46c4a3990c0b58ab4d28158860450", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Preprocess.c", "new_id": "cf831ab006f0ab9349d858e193bd8506a3ac4fbc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Preprocess.c" }, { "type": "modify", "old_id": "7bf2603bd365d645267975491129ca94c837212c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Unfold.c", "new_id": "3ed708533059e97fcc8aa14cc915caf9f258222a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Unfold.c" }, { "type": "modify", "old_id": "00be667fa63f5e1c0cb89821be78b787d62f3d37", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Print.c", "new_id": "72e26d11f305e41235af9a69ec1e71f41e85ea92", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Print.c" }, { "type": "modify", "old_id": "d48ffc492d5d0736d3cbcce7d02c0dc96cc9dd88", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "57cfc1d884e4fe6126662a14be78bcf83ab2463a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "62cdcf50ad8a2f1cc7f0ef441b624f3523a6e909", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c", "new_id": "6ee3ede7d2b77883703c53384fcbc3cb8dd669a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c" }, { "type": "modify", "old_id": "528d93fe52bee79406db7e35a0dc5e706452da4f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c", "new_id": "b6165a3e57729d6ff4cfd3c74d2dc6e9525dcc18", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Util.c" }, { "type": "modify", "old_id": "b89ccfa91508dfc0982e70ab69d245fe145343a5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/RecommendedSpelling.c", "new_id": "c8fc76a59ce5157de60970f1b920acf536cf4b3d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/RecommendedSpelling.c" }, { "type": "modify", "old_id": "36225065900c07e1cd86201109a6d290e771fdc8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "155aab2257348c2887a1c9c1c66ba81052730c49", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "0e2af4fd308eebd829fc3ef96793626fabd72bb9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInstHint.c", "new_id": "46204faef4b302707c673793cc02af9b6f3fc1ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInstHint.c" }, { "type": "modify", "old_id": "864ee9bcfb576ce885aeda09193da447800ecf66", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "01422f9fd11dad5352de38b4887ecbd235cd3ba4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "852d268254a45466be2534db62f8897ead0436e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Syntax.c", "new_id": "359276372a2e93c6355b8d637522055ea921d394", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Syntax.c" }, { "type": "modify", "old_id": "bcd93a994d2830150246969eb7e8409536cd1136", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c", "new_id": "f337bf98a3cd33161bbc4f6706a222f974b1e9b1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c" }, { "type": "modify", "old_id": "7963d7767b159d81c869b3d8f2d3049db52757a1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Attr.c", "new_id": "fc97d296ba044107d72565b0e04eac620b834c04", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Attr.c" }, { "type": "modify", "old_id": "f8ca74d6f4962baad104ea69286caa14498c777a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.c", "new_id": "6940bd2bc8c94d43644ae6ffd078db71b4b855bd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.c" }, { "type": "modify", "old_id": "293bc5c83b81225d39ce19ef53a9c10f1d1b8cdc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c", "new_id": "4c9cb31a3195cae96ffa67b0ee65686cd2b93016", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c" }, { "type": "modify", "old_id": "1006858165cc72787ee7a3628e589d5a8658db74", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/LRAT.c", "new_id": "394b64eb5dc75e85ff742394ab771bf54ebb8f52", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/LRAT.c" }, { "type": "modify", "old_id": "b7980e7a90272c383ddb750791f80cdb5193fa44", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.c", "new_id": "01c4bd4063e7376a2bdf50ce342db60cccca67f6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.c" }, { "type": "modify", "old_id": "a8456ba79cc78af81598543dedb6e02fd738f9ca", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/AC.c", "new_id": "11f0acdce22e88900bdb7817ccf8f424193fc5df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/AC.c" }, { "type": "modify", "old_id": "b636e39eb5b21a869cca43c62b4762ba6262d9cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Basic.c", "new_id": "29fec56364c76f16f071e99caa2c3f84bdc78b0e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Basic.c" }, { "type": "modify", "old_id": "9d6157fa6b44096a85cb3275d0ff53c3af29eb65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/EmbeddedConstraint.c", "new_id": "89c8605c313a4490d999e5085c1a56cf089496f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/EmbeddedConstraint.c" }, { "type": "modify", "old_id": "56505dc446b95c7da4b57ea8b6dde5a6731b9203", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Enums.c", "new_id": "97dbdb2c1a4ded48143c4b3f3828351cad99a8c7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Enums.c" }, { "type": "modify", "old_id": "a0b05646cef75450060cf3fdc62a39d012108d56", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/IntToBitVec.c", "new_id": "6e0630f39c910a1880b6bab57c2aa4100f09ddd1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/IntToBitVec.c" }, { "type": "modify", "old_id": "8846bd11383d5af7ec0e1102303b48a4cf8a7806", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Rewrite.c", "new_id": "f3520897a2774349c5b74587aaad984f2196b851", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Rewrite.c" }, { "type": "modify", "old_id": "6d8f9eee7592c8dda8e4e24d01199f15e3fa4a71", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/ShortCircuit.c", "new_id": "ac31e436689e9f7078e7a598c6d5f0cdc74fbd2c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/ShortCircuit.c" }, { "type": "modify", "old_id": "a3144bbd662332e8e7c972110b01326ba2c13de0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Structures.c", "new_id": "72cb535cae5f09ab4317b5c53dbdf19737a1f104", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Structures.c" }, { "type": "modify", "old_id": "435cff629abe26821a62303c1126ceba5893825b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/TypeAnalysis.c", "new_id": "8a8f4b5094d388ac6e65585677c236482f67dd83", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/TypeAnalysis.c" }, { "type": "modify", "old_id": "5eddbf1ddaece8befd3c2435c4916e3d96f12fbd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c", "new_id": "68d7d0b7c2f9c6cb0bdf486f231e534cd823a68d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c" }, { "type": "modify", "old_id": "21bcbbe2c56414e8b2f0207371b3984c6cc18315", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c", "new_id": "3d0ec8a753c83e18e267da7b51e9c2f1231f5ca1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c" }, { "type": "modify", "old_id": "423c6fc536541593e6692fb12d52ed0ec63246bb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ConfigSetter.c", "new_id": "698ab585d34aa0f0b6c8ec03b89e7a781d1b52e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ConfigSetter.c" }, { "type": "modify", "old_id": "8cab17c76c7c8fbe3c55f041c67b519bc6da265d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c", "new_id": "e95c613e00346f6a81e5ea55896ab34770cd575c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c" }, { "type": "modify", "old_id": "0b8e264417511d302e3e5c9a9e0876f9f16ae309", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c", "new_id": "1bd8346baebf96f0299050595a65f13beb4d6e30", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c" }, { "type": "modify", "old_id": "69b9f25c51f159edee4a56953a7f416505719e40", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c", "new_id": "64b45608acbc0c76843917c03c11c216223f4cff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c" }, { "type": "modify", "old_id": "0761a2e947b1b73621c3712254f020a5ad248bf4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c", "new_id": "cf6391016254e7096bd528241ef60dc630a62c0c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c" }, { "type": "modify", "old_id": "2007d61518ddc37ed78b823b5490383b1f6cdb06", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/LetElim.c", "new_id": "83235b13bcf7b5c13ee35c936b469ac065d2021f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/LetElim.c" }, { "type": "modify", "old_id": "8d9ccfdede7c5e85c2053cef6cf7128c02c4d44f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Cases.c", "new_id": "1456fe585f56279c37bb9d0a9c4da73f5ffdfce8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Cases.c" }, { "type": "modify", "old_id": "2c8dcf53f0a271e8c1c89d6ccef770af8d9d5241", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Intro.c", "new_id": "91f72ef7ea9a6039db2f6254dd8adf764c3ffa1e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Intro.c" }, { "type": "modify", "old_id": "40bd4a664a89dd6b9b5bc9f05c9e88192f599575", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/MGoal.c", "new_id": "2db40bb31ba1e71c35c52fe0a9b6b2a49034c59d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/MGoal.c" }, { "type": "modify", "old_id": "c92ac5652f35703d425923e5b02448164f99a1dd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Refine.c", "new_id": "c89e94a32ac938d5967c2ce2af527eec777b2239", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Refine.c" }, { "type": "modify", "old_id": "6051567521c18352f939f5a6b7eba3f11a395f19", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Revert.c", "new_id": "928e46e456a6157e9edf0b575c49b38e8efc6d22", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Revert.c" }, { "type": "modify", "old_id": "6114e047c2614bb72eb175b681a1b25d52a37293", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/Spec.c", "new_id": "531485d88481772590892525a1ea57e87af2200f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/Spec.c" }, { "type": "modify", "old_id": "1ed33b0261cb66df475da2046a4c33fbb6145317", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c", "new_id": "ac7080da77e5f934ec575934f2107e32c85d39f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c" }, { "type": "modify", "old_id": "976983cbb5e83d2ff4d858cbc11d9bdce2817bc0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c", "new_id": "98fb8d80956684ded026dd5dcae060d94c28556f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c" }, { "type": "modify", "old_id": "1f87599ab2690528754c9f458338d9e3246b4c3f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Split.c", "new_id": "f8599b119ba59844e76180201195a94a3332d928", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Split.c" }, { "type": "modify", "old_id": "a7c9827c16a8a6fdbac22de60ebb80983de33031", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/SuggestInvariant.c", "new_id": "96192ccd1216725a84fa4ee6f0c0076ef4b748bc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/SuggestInvariant.c" }, { "type": "modify", "old_id": "34c4b0429aae1bd4bb6ed46966c76a55e64392cc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c", "new_id": "9b695105047528d6adcb6ff13bff2109c5bb6a4e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c" }, { "type": "modify", "old_id": "e209b1a0ae2c47b019df531fe74003f24a71a691", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c", "new_id": "104190d3c9a01541cf8f391d7cada93f39dd27eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c" }, { "type": "modify", "old_id": "05e9f24d4f8d0da377817d00a1b0b82b3f196b42", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Basic.c", "new_id": "3739c2a1656920967acdfbfa8cb9616323d668c3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Basic.c" }, { "type": "modify", "old_id": "fb83d0b9e138f9bf5117c1271564d5ac35a7706c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/BuiltinTactic.c", "new_id": "653abc8bd302b9909869fef15bc38b57cbd36e96", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/BuiltinTactic.c" }, { "type": "modify", "old_id": "b8666c12f9353f779715c37da791a7819dbf336b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c", "new_id": "a58c8954ad1e7a138ecd49b08ab548042ea015c0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c" }, { "type": "modify", "old_id": "a742d1eca5c1ceb7cfafe066d44472f64869ecfe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c", "new_id": "3833bb215ee769e86a374499806157dadce81df1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c" }, { "type": "modify", "old_id": "999484e7ff1c4fbd5f9bde42e67831cc6c8f1a9e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Guard.c", "new_id": "7bc8ed917fa341246273ffcb43569c4349d40e73", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Guard.c" }, { "type": "modify", "old_id": "c87c012ebf723a154fdf272f0a120fdf5ee3a627", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c", "new_id": "7a2234e74c8592f5f3769f52e7c364e688b4dfd9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c" }, { "type": "modify", "old_id": "9c0fc717495deab1661358384ed6f947c52551da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Lets.c", "new_id": "6782dabeec52a844ae05b7114040a84a5d9f1d94", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Lets.c" }, { "type": "modify", "old_id": "76ce87d7467e587c0a79b3cd7e990b54ae39dcad", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c", "new_id": "63f90a4b33bbdbd8b16d619ca6186efd87a49726", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c" }, { "type": "modify", "old_id": "174fe3cc385a351ecce54b3223abed8e5013bef3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Monotonicity.c", "new_id": "ae688556956a5dbfcc6054faa14f7d227f538633", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Monotonicity.c" }, { "type": "modify", "old_id": "84fd4dfc81339e383bb637411438d5167c2b916f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c", "new_id": "63222ebbefdbda4050008ef9a2acc1912a72e7d9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c" }, { "type": "modify", "old_id": "dc28f35914b346edc6259cccec21130f31031e1e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c", "new_id": "40df1fae3a2b36bbe448809ba9303ee341fd395a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c" }, { "type": "modify", "old_id": "5704ebf5f684492412429c815284c6556aaefcf1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Frontend.c", "new_id": "7bc52e7f1a8bc66639a96d9c5982cdd5792480f8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Frontend.c" }, { "type": "modify", "old_id": "2cc76192644a521cc0cd265feed1d8b8d33b12d2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c", "new_id": "711a470e06fb23477f82da5466969a9a202ad55f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c" }, { "type": "modify", "old_id": "02e4e99c1c01b05c712c00fa8ef19ed027fc66d1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Repeat.c", "new_id": "c924b4f774f62f0093c5d86c268299632bdf900e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Repeat.c" }, { "type": "modify", "old_id": "1cdb3851aa53db5faecc2a01aa4ad1ed65cc5935", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c", "new_id": "cff88ed133f4fe9d046b850df72102c0b917584f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "3a7e7bdf80f9279b2089eaf6526df1593fc52fea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c", "new_id": "e08d3d10597984a40ff09194117d7aa8583feffd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c" }, { "type": "modify", "old_id": "75e78de29f6faceb2a78dde7855ee6a3d09e0df8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c", "new_id": "6005d135872fd55c0bee4f9938bef65a3b876868", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c" }, { "type": "modify", "old_id": "181cc0c61c224d7392baa84e6b27aac4283d4666", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c", "new_id": "21790120897aec3e6320d184d1043d5e4bdfecff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c" }, { "type": "modify", "old_id": "4725569b0ff9b613dc5aecddf50bebda21c457c2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/SolveByElim.c", "new_id": "25af16ef1ceafcd204119d47fd367a88e3bc32d4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/SolveByElim.c" }, { "type": "modify", "old_id": "aad8018f4059f21b5f2561fa16dcc965a3bd4cce", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c", "new_id": "84d2c5cd6dc3931389b28870c3d13b08ee4b8752", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c" }, { "type": "modify", "old_id": "44696cf355f11e9230789bf3cdcd691f1fe3a91b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Try.c", "new_id": "d2af7d16d598e131ff9e6df82796ed0ba7a08bc1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Try.c" }, { "type": "modify", "old_id": "b5232b0e63ba16f79db19530f8a9e5f6749ece31", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term/TermElabM.c", "new_id": "2c038d0515bc8a1afabf354aca4dedc95d0c30ab", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term/TermElabM.c" }, { "type": "modify", "old_id": "39927b1f7d2e94d1463940bd64883669d6f1dce9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Util.c", "new_id": "9ef7289159e218defabb61b73f70c9e9098573c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Util.c" }, { "type": "modify", "old_id": "a0a47fe20024736e503731150d5448a715067501", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/EnvExtension.c", "new_id": "238735abcd777ce3ecb849279fc89f8a86c393ad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/EnvExtension.c" }, { "type": "modify", "old_id": "deb0f2b14de534663abbbac5730a148a61a5db6a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ErrorExplanation.c", "new_id": "1a3183ec832e73e192a5153857dc6d484cf2aa6f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ErrorExplanation.c" }, { "type": "modify", "old_id": "a65cb5d23f8c531dab0621fca68de9468ca210ed", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c", "new_id": "a43c3df09109ed301eed6f4affe73128d4d8e9ea", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c" }, { "type": "modify", "old_id": "3ed11548dd6b92ecb727dc6733403384e528612a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Language/Lean.c", "new_id": "feb19fc6ea33df062fbe742844b44b6b4588ef6a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Lean.c" }, { "type": "modify", "old_id": "de7400f4ec2610047a1a264db35db13b60e67744", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Language/Util.c", "new_id": "16a72a3f8467d6d3de23c4bc6797c0ff1a0d801e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Util.c" }, { "type": "modify", "old_id": "da05542cc03202211333bd0779c593e3e3ac0287", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Level.c", "new_id": "6ad6fb583fec63a9b5afbe962102ae35dd1dd2ad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Level.c" }, { "type": "modify", "old_id": "3e69cb9448adc43a33876c5d417c3c2b999d6052", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LibrarySuggestions.c", "new_id": "58ea997559a2ae5b3c8dd65dfaed5c4cd095b24c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LibrarySuggestions.c" }, { "type": "modify", "old_id": "a94af31116b088b834d2eb993d2eb275831a81e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LibrarySuggestions/Basic.c", "new_id": "26dcdc2369d56a177991932f45fdb1f65ec4a9a7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LibrarySuggestions/Basic.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "1236783e0646d665ebe8e97eb0b74435c3379c9b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LibrarySuggestions/Default.c" }, { "type": "modify", "old_id": "db6cd910b9cb9483038685f3210b792afbff3584", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/ConstructorAsVariable.c", "new_id": "f1e01535bd69b6cc1c0c7b79395b5835dfcbe463", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/ConstructorAsVariable.c" }, { "type": "modify", "old_id": "803442052a36e95da7cb8178e6a6956df279e113", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/Deprecated.c", "new_id": "c8103689f931a18b7d60bdeb43c6db8fa8e42cab", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/Deprecated.c" }, { "type": "modify", "old_id": "b96677f5b0c4d7d1247399f2bea850fe33684e43", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/DocsOnAlt.c", "new_id": "9b1c02b41bb5edb99eeae67e037b3c1f87ca4af5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/DocsOnAlt.c" }, { "type": "modify", "old_id": "b9e8ef0120de024012d6b1ec6ed844d0294e2a76", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/List.c", "new_id": "8b1a4c8b22c2a5e243c938efbc38fccf7eb37f79", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/List.c" }, { "type": "modify", "old_id": "5c9c50baf6a4d32abe87dbe311aacd664af8acc3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/MissingDocs.c", "new_id": "b7385e97e395723f32515f2332ff8ab9ee56f255", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/MissingDocs.c" }, { "type": "modify", "old_id": "e8bad30eb64f8bd0133e19cfa42d5de567fa7c34", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/UnusedSimpArgs.c", "new_id": "9abe3b78dccc861b8e110c2a471240e257edeb46", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/UnusedSimpArgs.c" }, { "type": "modify", "old_id": "1f21dc3c8144b129f27f98854287f983354e14f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c", "new_id": "684c87b01c1a0a0770c16666ebead9b4f2aa74a8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c" }, { "type": "modify", "old_id": "5792f7e8a1040c3963073c1e6645bf6904dbae6a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LocalContext.c", "new_id": "9585b96d0cacc052eb68fb9b5a70f09870dadbab", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LocalContext.c" }, { "type": "modify", "old_id": "d2f20ca87f056407ae1e4008250386bbe2d7e483", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Message.c", "new_id": "744a3704b05bd72c4910a483999be1790020406e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Message.c" }, { "type": "modify", "old_id": "ae26b4cc2826c595307e31f683eec5f475aaf541", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c", "new_id": "b0517a42ef9344a368c6043f255dc052bcec8b88", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c" }, { "type": "modify", "old_id": "7c1aa7b56cad0c8d68787ed7c0dc017f7d2d7fb7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ArgsPacker.c", "new_id": "110e3f5a0accd2645bb2b0c135f9cfeba730f0c8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ArgsPacker.c" }, { "type": "modify", "old_id": "f5d4397887f8f37106db8857f3ab36acd02b6ebc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "d1fd9be819136a7a1c992e3ddd811031151c20b0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "modify", "old_id": "44ae410a919e4c2b28c6669af2b5e947dea93e91", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Check.c", "new_id": "bea87f48e6f7af05571d36e51798233d3789b5a2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Check.c" }, { "type": "modify", "old_id": "2ee86d3eafc40613160895a4901b4f1b7edc3907", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Coe.c", "new_id": "30fc724310904518709b2b8f56acefe4a026504c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Coe.c" }, { "type": "modify", "old_id": "258a69e5785dcb8c955f1a1ccf7ab7cf60ce89c8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Constructions/BRecOn.c", "new_id": "448109a2ad72daf6b6b6a050d182da0e15192802", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Constructions/BRecOn.c" }, { "type": "modify", "old_id": "dc47eeac7192414db0ba89c6bdde089f1cc19ba9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Constructions/CasesOn.c", "new_id": "f4df5364dda3a93c707e33dcc204779930c20d46", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Constructions/CasesOn.c" }, { "type": "modify", "old_id": "963f1fab27deb69e54fe0e46607f511854d3e8f1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Constructions/CasesOnSameCtor.c", "new_id": "34632522c0015f31d35c69f01b4054d03dddc12d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Constructions/CasesOnSameCtor.c" }, { "type": "modify", "old_id": "e0d2ac944f4924a9fed50a16aa1f46d311439278", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Constructions/CtorElim.c", "new_id": "620bd5cc47e56f910f674d58af7bcb2ab41b7420", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Constructions/CtorElim.c" }, { "type": "modify", "old_id": "ba44dc85e9582abdf1b022486bf941ecaa23ef65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Constructions/NoConfusion.c", "new_id": "7ede7d24a7d1150cf3a3198ffa8bec8e2ab38628", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Constructions/NoConfusion.c" }, { "type": "modify", "old_id": "563b833f47e37a73fe77fafcaaf4997cbde3faa2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DecLevel.c", "new_id": "13d25bfeb2072296373b6351f9768fae22363afd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DecLevel.c" }, { "type": "modify", "old_id": "c5583f635df10a37f6bfaae6356784383ac93fe6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTree.c", "new_id": "5635d7cd93a1d1544be4470466d279e226433838", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTree.c" }, { "type": "modify", "old_id": "181a4105ee13f03cc07709668ab1bd939b5f1ae8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Eqns.c", "new_id": "654c85909501f8eb3dc330e0dacf9f298d7cbcdf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Eqns.c" }, { "type": "modify", "old_id": "96bf6df9c0916524fb5e4d527c6ab1d5212564d5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c", "new_id": "a432f2264b3cf729fd5674ac4a7f8d50d9c0cbd6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c" }, { "type": "modify", "old_id": "d68d3b939f7132bbfb4043b7f6dc3a3ea78e34dc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprLens.c", "new_id": "02feccf79e10612b8bbc13f391eb00b5f84f1c4a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprLens.c" }, { "type": "modify", "old_id": "4157fb312a9157d2d2b4ddcbba3a52263008a0ff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/FunInfo.c", "new_id": "0ecf2793b1fd42e87e365cae84c51133ce095565", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/FunInfo.c" }, { "type": "modify", "old_id": "2ff817a589c5d2a13ef89992d7d035a66ca7a83c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c", "new_id": "d987786b5c56d97e030c2f0c685c329330ddb48e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c" }, { "type": "modify", "old_id": "5493b7561ec4515dd52cbea9ee0eb27f8bb4e868", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Hint.c", "new_id": "943e42a08efea4552f5f72e266525901b63f9925", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Hint.c" }, { "type": "modify", "old_id": "a57b45ee092e3da8adec700d8bd1b980d14e8c4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c", "new_id": "d387407cb39561072205b7bfc22d48f4bb7468f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c" }, { "type": "modify", "old_id": "2e6dd19825399e043c2622828d40819f23a760d6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/InferType.c", "new_id": "8bef2f715359595f43b2bb1ee37597f7a803efd2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/InferType.c" }, { "type": "modify", "old_id": "51533a00c5d562ae9ff008dc68a048648e22fe0f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Injective.c", "new_id": "26d26c3c2d349edf4ec1b9eba47fa3dc9ec61d03", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Injective.c" }, { "type": "modify", "old_id": "16f35d7d1a493ea74acb5235e19614c91b57b914", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Instances.c", "new_id": "24f08ef4194184f37b5a2a84c9ceeb93e9b50d8e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Instances.c" }, { "type": "modify", "old_id": "e6e44376032656bb97bfd76387b4a8de7dcfb2c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c", "new_id": "438c9a7fb189c00ad46949a4b9c86e7dcff3cf4e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c" }, { "type": "modify", "old_id": "0c73b6e0dd2fcd7be2c6de5c8e99fd2bf2473b00", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LetToHave.c", "new_id": "977de4c421e35584fdab1a3b05aeaf43261f6ec2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LetToHave.c" }, { "type": "modify", "old_id": "8f4e6027fe75e6f3e955ca77ee7f842d6af3752b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c", "new_id": "ad8ef4e72b5ab6bd151e747032a1cf40960fcd29", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c" }, { "type": "modify", "old_id": "4dc4cace0c93ea71b0c2fd3995120ebca704cb44", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c", "new_id": "614d91f4060cbdae8b714ada324b62a4b57b3571", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c" }, { "type": "modify", "old_id": "c0094953616043999eed72496a8bd25f53c599af", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c", "new_id": "24ff004b43610e4027136f62797d1a40f77a8c89", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c" }, { "type": "modify", "old_id": "f6cc99225d2873813954c9993fdfbe4a61aeec05", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatcherApp/Transform.c", "new_id": "8b8d8c032b29f7956e57b31f93e98477b1f307a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatcherApp/Transform.c" }, { "type": "modify", "old_id": "5eae78e0648db1bf217b3521e4afd6bf16833bc1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/MethodSpecs.c", "new_id": "e567d3dfa063114f8eba76f4820ccbe7f72fb696", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/MethodSpecs.c" }, { "type": "modify", "old_id": "f9324b5e0ade5e231a7e9c566f605dc0e99d3dd1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/MkIffOfInductiveProp.c", "new_id": "d00c63c4d9c45e4c45fbcaba906a5f4cb29a8bfb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/MkIffOfInductiveProp.c" }, { "type": "modify", "old_id": "51dd28736a13b03090edb1b20734b4f541b2108f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Offset.c", "new_id": "280e655b3a85b894bb327eb17d0d92b39e105fef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Offset.c" }, { "type": "modify", "old_id": "40176583061771682bddc390330753b036e52acd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/PProdN.c", "new_id": "fe52bf045898e406b817cce64736cae7cde0a80e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/PProdN.c" }, { "type": "modify", "old_id": "1f9cefa06fe031983d89cfd738b299861d7de654", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SizeOf.c", "new_id": "14d17be2eb987d22aa2e645e3aed3b9626d131e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SizeOf.c" }, { "type": "modify", "old_id": "ed220f2a70b522cb3151972b77606cb2c96308e0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Sorry.c", "new_id": "1140369ad2cb4654f265f148bfbc8f37f0e9ff27", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Sorry.c" }, { "type": "modify", "old_id": "5918a26013f9e82b96d5b5487ca81bd40d8c3ebd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c", "new_id": "665d1093119814d937c06497fcab82daff6d9067", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c" }, { "type": "modify", "old_id": "292076f1c081b817a397330ed7b245f4bffdc99c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c", "new_id": "f71de56e14f69dff773c8a32e01f83ea9456fcef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c" }, { "type": "modify", "old_id": "d93cd3c155c9afe010b4b05b75de67b75d35d4c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c", "new_id": "99ba602e4502acf18f9a7d090f89759ab3410f8a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c" }, { "type": "modify", "old_id": "4ffe5c108fcec17c7ae8bbae7c4c3b9765d53283", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c", "new_id": "2af742d87d7fbfd004f0ecf3282a1f7336ca756c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c" }, { "type": "modify", "old_id": "a0da40b6cd9f215cd8e3bce9accc264efc6cb33d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c", "new_id": "ee3e3468cc33600c680e60df5391de2556502c70", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c" }, { "type": "modify", "old_id": "ff40eaaacd74ca8a97c6527ada3e40621aed7018", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Backtrack.c", "new_id": "32e5f5da3e7e7e4f14259a9096093f633b00bbbe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Backtrack.c" }, { "type": "modify", "old_id": "56c55bbcff9a84c0cf91511b2638863af1604982", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c", "new_id": "52a65246ce7aa500c2114a78592b4084e95baf86", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c" }, { "type": "modify", "old_id": "149c8f190a1f9f9641492b5a50816e579188674f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c", "new_id": "0c82ec07d14426c6d77683d8e4947e6d2a2768b2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c" }, { "type": "modify", "old_id": "f607adb3e65066ab3e637883234174092bb01923", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c", "new_id": "4e942cb00973774d8c9d28d7a4b11bd0c192bc92", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c" }, { "type": "modify", "old_id": "3cd496a26eacbdecde65644a84a948edc68e22b9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c", "new_id": "e055a8c84c9697cadc7c6acfccf5f08f2c9859ca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c" }, { "type": "modify", "old_id": "f22abeeda1c13a4901969cb0364f04ca1ea2da9d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Ext.c", "new_id": "19c57203ce9811acc70b77437b80dd31804be6ad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Ext.c" }, { "type": "modify", "old_id": "459720e0bafad292de43f552187fca9ce7145e80", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/FunInd.c", "new_id": "66b6600049c2dc4204f334b7fd72eb280a727a0d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/FunInd.c" }, { "type": "modify", "old_id": "8c06c5b006626555b3de3c6ed1f978d347a70fe2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/AC/Eq.c", "new_id": "21c417bf933ec75dae362a6d1f0b3df09308e1dc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/AC/Eq.c" }, { "type": "modify", "old_id": "91838484663a8540f4197360d363e9a0354b3322", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/AC/PP.c", "new_id": "fe87ca40888242bdc4e35a94f190dd024435d039", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/AC/PP.c" }, { "type": "modify", "old_id": "ddca05a796e12be43f4d321ee6ecce805395c616", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/AC/Proof.c", "new_id": "a624b778591c01f81c1624112216150bba14006a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/AC/Proof.c" }, { "type": "modify", "old_id": "a3fa1a692241709dc0063de3cd25ee7b433370ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Anchor.c", "new_id": "8bcd167ec79f9672d5c444655ea1ac04a57ae77f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Anchor.c" }, { "type": "modify", "old_id": "5bf3d3db1d08b9e1f3739eb372664ab7eb89921b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.c", "new_id": "5337d91e341ad43977be4bca404189554bf00360", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.c" }, { "type": "modify", "old_id": "513ac46b761ad034896b9391966a75b753b9a41f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Internalize.c", "new_id": "ba8eb993cac7678319c20091fdb4c23a078b7968", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Internalize.c" }, { "type": "modify", "old_id": "11fac19d66442e4ea78a64a417613d9b78903701", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/PP.c", "new_id": "0f355aa0cfd979fb1eca3ed4e3d9619f2b6a03f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/PP.c" }, { "type": "modify", "old_id": "00b68591304b0d318fa4ba43a40e56abfe680f59", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Poly.c", "new_id": "d62f22a4081350080166db727c96536cf54dfcb5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Poly.c" }, { "type": "modify", "old_id": "4f7dcfe08eaea3c77603c92e5666bd6b8a8fd623", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Power.c", "new_id": "b5d438c2ad679e759490d6dc34e89c0574bb34f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Power.c" }, { "type": "modify", "old_id": "cba2319914b17f6d1c2ec3b1929611511a0b63c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.c", "new_id": "fcb0875faed2abefb9e83d3b7c19a97c04b60389", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.c" }, { "type": "modify", "old_id": "e666cababa2b5f1c2dc90f31ae614e7e132b40ef", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Reify.c", "new_id": "ee0c7341e9ba0153fdf46d6fbf9f949ec8211b17", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Reify.c" }, { "type": "modify", "old_id": "56f3426a1a3e295584b21d58e2df0ef2c2b1e96d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/SafePoly.c", "new_id": "51f5a0bcb800aa35a687170c51d322678341fa99", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/SafePoly.c" }, { "type": "modify", "old_id": "be76972249ba9387a6e2ad89d4b7c376c2cadd8a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/SemiringM.c", "new_id": "eebf88562a76c7e1b7bcd6f2c1368379d95ec4c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/SemiringM.c" }, { "type": "modify", "old_id": "fe7870205cb0ba04e076a5a4612750c181316fb5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/CommRing.c", "new_id": "0e11487504029647229de4b7e1d526af66b3122f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/CommRing.c" }, { "type": "modify", "old_id": "71f3633b92f21bb43fcafb34e4cc51b70471df7b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.c", "new_id": "b605d256adfa217e1eb04e227c3e7aed7925310c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.c" }, { "type": "modify", "old_id": "a43f00c63627754305f8a2aa3a15569934a69286", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Proof.c", "new_id": "5df975ed7ad3b5d1441a43f6b509a22afe670f37", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Proof.c" }, { "type": "modify", "old_id": "5e344a903fde3c74c46534b3ae06941c66b68e27", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/ReorderVars.c", "new_id": "ffb4cb8bb4efe77ae5f2498848657d3377277c17", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/ReorderVars.c" }, { "type": "modify", "old_id": "3ea0c41cf82aa652f0cf94c1d1f8124ac8ea17f2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.c", "new_id": "74735ffe9c567fa6822931d46ccec88310b8f9fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.c" }, { "type": "modify", "old_id": "b91318097520d865705ef5a00acfd6611e558afe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Util.c", "new_id": "85d4ff05057de37d8c23caf335151400589733f2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Util.c" }, { "type": "modify", "old_id": "7248e1cb014c44563acb63db785b38b9a00a8a0e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/DenoteExpr.c", "new_id": "12c95558b8b27b8bca3a9cfc5a63ae1ee43e7eb5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/DenoteExpr.c" }, { "type": "modify", "old_id": "9450ea6848a3b49b8748c52fe7aafce3001079a7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/Inv.c", "new_id": "9513b9523605c26b138407528b404e60d9202a0e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/Inv.c" }, { "type": "modify", "old_id": "0625b7af871256f46ac86fdffc34e2ed1bfff6f4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/Proof.c", "new_id": "dcb50e5c2c2d7438fcedc4998e116f99e438a79b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/Proof.c" }, { "type": "modify", "old_id": "eb0b10da965d2e081a7d6f96d28f3b847d08c237", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/Search.c", "new_id": "b70380a26b821b428d8a66601ca50b15fa7629f3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/Search.c" }, { "type": "modify", "old_id": "ccb4e3ad3355b0afd49bb90a141087af9c07496c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/StructId.c", "new_id": "e9e5c8493e1e41b3a50c41e48fcbe44021b1f5e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/StructId.c" }, { "type": "modify", "old_id": "1ea8f87d4054a014237be99b30a1c4a505c3b72b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c", "new_id": "3c82f919b95949cf4a7a38107d3b687c1c481fb8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c" }, { "type": "modify", "old_id": "3a61a94d2e8dac1a5f2b26f81c26d2df4feec721", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Canon.c", "new_id": "e97351ea1bfd7d49739ead58269ab446eb7eab0a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Canon.c" }, { "type": "modify", "old_id": "257b715e3a1e0d328ab16bee590cb828fb90d43e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/CasesMatch.c", "new_id": "e52d4432ef701ab51cf2f5f0e1716aea8c62fc48", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/CasesMatch.c" }, { "type": "modify", "old_id": "d78654daa833b65b60998c040fdf138b81ab9b6b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/CheckResult.c", "new_id": "48b0034ce125454f4fc1cb55d8249eedef2c082e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/CheckResult.c" }, { "type": "modify", "old_id": "6650ed8c99011f58220aad202ea9de5413768fa3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Core.c", "new_id": "deb100b771f4cbb0e935d419b74ed87b186ce7bc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Core.c" }, { "type": "modify", "old_id": "d00f5ab43584856cf86f9a6d7532403e71ec2969", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Ctor.c", "new_id": "8f3d05e54f3848c74116a278202eb8d58eed597f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Ctor.c" }, { "type": "modify", "old_id": "59a8588c5c7abeedf03e15b8e681a1b25edaa682", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatch.c", "new_id": "43b2090f5104461bf3848d3f5ce5ad18ddfeee84", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatch.c" }, { "type": "modify", "old_id": "9d3f25408a3916d8eb0ead922909b5644d48d7b1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchAction.c", "new_id": "4f1719678d2b24104356d7d254bae0b4922adc0b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchAction.c" }, { "type": "modify", "old_id": "908cfd70fff36769f9df4b74137eec83218d48b9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c", "new_id": "1897fa6d8c103063063ea779f5bef176ddab2dad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c" }, { "type": "modify", "old_id": "76129d01f640e572c363d0e2ea65bb6d261717df", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheoremParam.c", "new_id": "d8d49478429cba09afacdb5d636fc81f04d8bab7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheoremParam.c" }, { "type": "modify", "old_id": "d201140c9a471823e1d47b7bc6f8d7a85e57b97d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/ForallProp.c", "new_id": "d8567fef135ae5df91371a58d82a9d53c3f852c6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/ForallProp.c" }, { "type": "modify", "old_id": "166eb057718164f6ac3cef24fad9e432afddada0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Internalize.c", "new_id": "73628db97b8ac0e539bda3110207eee0a840e17d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Internalize.c" }, { "type": "modify", "old_id": "d57dfa01cfcb79521d902a1acac262e28e97e605", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Inv.c", "new_id": "ca287ea29eda85c18c5093f52c3a9937be52cc34", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Inv.c" }, { "type": "modify", "old_id": "31f5eb7da2cbe939cef48f44473ad795813cc379", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/LawfulEqCmp.c", "new_id": "d633ee38e1a80ed2fc30c8f7d4ef295a07c46c0b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/LawfulEqCmp.c" }, { "type": "modify", "old_id": "4b035307f3a95b387f66529ae6fe864bfd8d3e6e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Lookahead.c", "new_id": "ae6adf1ef87f8a20e4c39d728c11f0539aa7ff67", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Lookahead.c" }, { "type": "modify", "old_id": "991a8ba2b427d9053399428e55acbce88b83752b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MBTC.c", "new_id": "23961943104ada9e1169b4f6c32b7d4ad9259ac2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MBTC.c" }, { "type": "modify", "old_id": "455e70a4e76e69992fdb11a96b95f492b5c62853", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Main.c", "new_id": "b477a1cd1c75d54e6232b1a83cbbcd93f735d7c8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Main.c" }, { "type": "modify", "old_id": "cbfb4b512ccfb386955cc79ff275581cf45b37e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MarkNestedSubsingletons.c", "new_id": "232c752eed996511fdd3c73d5a23922909e89c6f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MarkNestedSubsingletons.c" }, { "type": "modify", "old_id": "bc2931b5e259af70ce71e230f4d93042d116fbfa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MatchCond.c", "new_id": "ab0c70a0702132df57849b9a8acb26810b92d3c7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MatchCond.c" }, { "type": "modify", "old_id": "4b615072073c88ccf7c382a3cd73f43124e14f4b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Order/Assert.c", "new_id": "4bfab936ba0f8e0a3449370e868c886d59d5b856", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Order/Assert.c" }, { "type": "modify", "old_id": "adcc8a25f00bfbe9142c5e6e1f8c478a0e3726d5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Order/Internalize.c", "new_id": "3377cb3f492dbc8d3ce4da637367cb913643b1e2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Order/Internalize.c" }, { "type": "modify", "old_id": "1909a66defecb6fb734cb903d0ae64881da1f9c8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/PP.c", "new_id": "68c6749168f1b97d4b2e4b776601c1a72b5ad65d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/PP.c" }, { "type": "modify", "old_id": "56eb3b3a9869a650dc884600508053f23fd61465", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Proj.c", "new_id": "4b175af7505975343e2335d756fd4fab82217de6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Proj.c" }, { "type": "modify", "old_id": "3dbc57b793de77a32f26f6f61124b46fa1633cfa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Propagate.c", "new_id": "68d7604ae5d8d3227e29c1d987b22f661065c1b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Propagate.c" }, { "type": "modify", "old_id": "d53e8a5cbd3c424c6f424cb7f870b44b0f50bd45", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/PropagateInj.c", "new_id": "77a55179dfff985052484a4bd1f08cb4168d49a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/PropagateInj.c" }, { "type": "modify", "old_id": "f8c377f05d63c09eb6556fbdd8e01086a390daf9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/PropagatorAttr.c", "new_id": "d8a44d3628b657d82b442a62e6133cc638618ed5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/PropagatorAttr.c" }, { "type": "modify", "old_id": "c40d58bbe97fe5b178fa2b5f9e3be06938a8cf98", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/ReflCmp.c", "new_id": "b1be46d2a5098f0410c7c7f6f9eb8809e162d2d0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/ReflCmp.c" }, { "type": "modify", "old_id": "0855d738a619372ed182abbbae3a9ddc5403f440", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/SimpUtil.c", "new_id": "0e3b7186029622c897e98879616e685a68b2d5c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/SimpUtil.c" }, { "type": "modify", "old_id": "03f527d07a0fb33b6ddeca629d7dbbde3bf058cf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Split.c", "new_id": "756b9067775125014f23dd32f49e7a9c6d845b51", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Split.c" }, { "type": "modify", "old_id": "88ce24206e8098e53c19a6619cd9c3878e7a5847", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Types.c", "new_id": "dc4acda42a1c9434bf577a91aa5249a2ed09023c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Types.c" }, { "type": "modify", "old_id": "f218411b57313a86d7307bc83b367af4491bb720", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c", "new_id": "8a0c2a5b027ed3bab548d54b39dac011f709f359", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c" }, { "type": "modify", "old_id": "166e8aaaf6aa4eaf37a2322d6a96fb22ae3f879f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c", "new_id": "84c05ac4a84d3b829868886577eebd61fe4c0650", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c" }, { "type": "modify", "old_id": "a4ee1b8aa0e36ffb6efd5196f115d52ca7af88d3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LibrarySearch.c", "new_id": "8c4a941f8916063fc6cff5ec7660b77a4ee1d88c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LibrarySearch.c" }, { "type": "modify", "old_id": "352a01b5156bc6417565325670f9ea73892fc1b5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rfl.c", "new_id": "5e8f7554120c058dfd56433572a8234bc6d2c2e7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rfl.c" }, { "type": "modify", "old_id": "4c4370bacab8a0e66e969040d59c8b2a84e32b41", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Arith/Int/Simp.c", "new_id": "10a11adf9f76c8b9160d01aaef4b4e5c96716d05", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Arith/Int/Simp.c" }, { "type": "modify", "old_id": "91f9af1e79ba51d0c52c153d3a59a326113c506c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Arith/Nat/Simp.c", "new_id": "89adb1a403ceca8c8b3bb28b1051e272303c3bb3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Arith/Nat/Simp.c" }, { "type": "modify", "old_id": "9fc18728e0f3fea55470925e5786870e69e59ca3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Attr.c", "new_id": "e7bbce1f749da43fbe42d9305d9ca46a8135919b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Attr.c" }, { "type": "modify", "old_id": "f5c729499583d2e9a84b341a5d40557a2cae52f2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c", "new_id": "949ee0b978e72f2643267b80542cc67270d707ff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c" }, { "type": "modify", "old_id": "e9330eaeefb9b3c93ff904980cf9eed2ee934d2d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c", "new_id": "ed767d9d5114bebe4d712a52a54811429e7de7aa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c" }, { "type": "modify", "old_id": "dcfcc47fa575b89e194d374dd48dfb07d32e3d73", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c", "new_id": "654b319e3a778aef68f93424fdaa73b0cd4b0d9c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c" }, { "type": "modify", "old_id": "1b21a671394ac1c578b66bbddd478ef1b636dedc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c", "new_id": "466797b309eebbec4cd8b8f22bf8d2772fea1800", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c" }, { "type": "modify", "old_id": "31d93206c4c133b53697ea7cb3e34e8d7f8358b7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c", "new_id": "9de881ce0fc1b4764192bcee2d2eb9f66473377d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c" }, { "type": "modify", "old_id": "88baf4c77911f93fb40950f13c7b44fabc67231f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/SolveByElim.c", "new_id": "c57e11dd79a51f132c161888413567605f17636e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/SolveByElim.c" }, { "type": "modify", "old_id": "8dd63a79e324941e961dfc61ded894302a0bfa0e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c", "new_id": "2e74532c2cef6301ef105d82fa247320a3e8e84e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c" }, { "type": "modify", "old_id": "6cd54638b719c411b8864044b0d0f02cb9467e37", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c", "new_id": "bd49cb8966c3e39f4ce795e068fb4277dd4c05af", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c" }, { "type": "modify", "old_id": "c43181f8e823c471ac852d2d061dc1854eb11f09", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Symm.c", "new_id": "3fbffc287365826c0e396735448b0f3b68b6e73c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Symm.c" }, { "type": "modify", "old_id": "8788be61aed0c753d1375337490a91f0617dde4b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c", "new_id": "e98f5b717ad5db68b1f0783883fa224236c3438b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c" }, { "type": "modify", "old_id": "524c90c43d52521d822ced07605b2fef2f39a875", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c", "new_id": "b92bdf3db7edb2c9a84365373773223989ca7261", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c" }, { "type": "modify", "old_id": "94c6876c2178e3c5c4a1dae3f1b5f9593164963a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c", "new_id": "da1a1eb5f8b068b3a69320ac7bcf47e3b3023e17", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c" }, { "type": "modify", "old_id": "3c0139c04ed301bce9af5675d96c5f223bb49df1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "217f73f5e347a58f2f80a6fe34a6dd1d045b85ca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "090f1fc0858488f1a25f969d95d52d47d68c7a89", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c", "new_id": "25afc0044658bb38e0b1b054918fc9cb34b520c8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c" }, { "type": "modify", "old_id": "20cdeb0617420ea756af939c02dc303b40eaa3d6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/WHNF.c", "new_id": "36f6f8e9960face147846651779ee2631b8a21e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/WHNF.c" }, { "type": "modify", "old_id": "5322ef8bf588e2ac0fbce890bc2444d4b57899de", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "83e5a457f9f832ebe5eb52755b35d9e479a266ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "16cb8fc9b73edeb3c3cfb5fe4f777d661a323fb3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MonadEnv.c", "new_id": "29860107a44bf5ad41eee42884f71d2e1e199b57", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MonadEnv.c" }, { "type": "modify", "old_id": "399552bb6141601f20aed39b7abb6f737c2c0bec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Basic.c", "new_id": "ee8f4732985d98219b4764bfaebf4e8be4a4d0ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Basic.c" }, { "type": "modify", "old_id": "ccf6fc2e30e9b352932613cdf8e03af86fe43cd5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extension.c", "new_id": "4ec779dccaaf2107315c85bc64ae6d5b1c06c172", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extension.c" }, { "type": "modify", "old_id": "024345d73af4d51f1b24990878b10bd4342e5fae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extra.c", "new_id": "9fcb4f8d7595ad3f73a963fe76b3ff38fd045541", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extra.c" }, { "type": "modify", "old_id": "3153a5c46cbe313b60b44d43f6f65616ef466c87", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Module.c", "new_id": "b8ca5536847bd7b588e945dfe5eacdddf8156172", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Module.c" }, { "type": "modify", "old_id": "bbf2fa2ce20b83a891e8cd84b0c01b2c731ccb1c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c", "new_id": "2170ca8d3fe27a214e578ad434a89697ffc9aaf2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c" }, { "type": "modify", "old_id": "174bb8aa9b875281ed479623e1d10752af485af1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Tactic/Doc.c", "new_id": "847a0d45709102ba54c16642c2d24cc5b036486f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Tactic/Doc.c" }, { "type": "modify", "old_id": "e4c6f1d20055773295b631461c6487346e5888c3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler.c", "new_id": "5768c890ed976a878890430517e3d64351972d1f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler.c" }, { "type": "modify", "old_id": "36e21a0f369179e7eb59f1c9c2a3661c157d4a6a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c", "new_id": "28a9b7a3d85d07e8d1c649fc6cba65d159d68cf0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c" }, { "type": "modify", "old_id": "e8a13d22f54940de687dca19d001c7206ffc230d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c", "new_id": "e7e57a8105b1855e384d76a3df9863c5ad2dbe00", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c" }, { "type": "modify", "old_id": "c9f2b9395ab64e8d8fdcec121acf43219af9a83f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c", "new_id": "4c50ba6fefb35257ea501ed8a58456530df23039", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c" }, { "type": "modify", "old_id": "87ae6ca179f331dcff90cec7f392005e0ea5a493", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/FieldNotation.c", "new_id": "edfd25be7e2e48f0391e6df975387328b9ba22af", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/FieldNotation.c" }, { "type": "modify", "old_id": "8f9f813a55501d76ee0d7cf9ba9bbc099dd27ef8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c", "new_id": "2280b3338d20173ad0ff2ca81a428f196de69d62", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c" }, { "type": "modify", "old_id": "b8266698eb446b1b216ce8ca4017de7c53748539", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c", "new_id": "80a5b0d78b0730dc931fcae6131a253d20673d58", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c" }, { "type": "modify", "old_id": "91383e43db07acd84e3cf226e63339842269927e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c", "new_id": "22dbf2f2c20366f9ae8efa993d3d54f8497f833e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c" }, { "type": "modify", "old_id": "cba59ea7b30db242df44166c0bdca35534cccb2c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ReservedNameAction.c", "new_id": "4365b8b23b7b77f062d770ea149d800a376bef4f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ReservedNameAction.c" }, { "type": "modify", "old_id": "f9b10409ae684b9bf574071804d03923cb5adbda", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ResolveName.c", "new_id": "d5ab0ecc69cff4e0361aefc841a5d83240fd83a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ResolveName.c" }, { "type": "modify", "old_id": "4f36a812644857c107ca670de7f7aa6313c12549", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/Attr.c", "new_id": "f81bf5f9b0d192cf10e9052cd44d91f99f8059df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/Attr.c" }, { "type": "modify", "old_id": "893e7d8a19bb487637a66c3c879eefba6200bee9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/Provider.c", "new_id": "b818947736a4c5fec41488610bc37c349763089b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/Provider.c" }, { "type": "modify", "old_id": "c61b66737c99d734792af6fcfd1c553a69e6283a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/UnknownIdentifier.c", "new_id": "8d2e1d1ae4f8274f1cef0110faefd54103b0608c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/UnknownIdentifier.c" }, { "type": "modify", "old_id": "cedbe6a7398f3550e6c2ca3c439ffeb250c15fcf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion/CompletionCollectors.c", "new_id": "14a775243b11b6ff6c107b50f165423955bad5d6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion/CompletionCollectors.c" }, { "type": "modify", "old_id": "df04289872aa07a54e200990fc21ef7ba6005ae8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion/CompletionItemCompression.c", "new_id": "a787a860b01397df53c00c52a7859b78a0d609d2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion/CompletionItemCompression.c" }, { "type": "modify", "old_id": "7976781c86fc97d9529ae89ea9340ee1edd70081", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion/CompletionUtils.c", "new_id": "ab3e4f5e503b3e3e53e984afc2919196d675c23d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion/CompletionUtils.c" }, { "type": "modify", "old_id": "ca5440cfdd5a2bb6b08300e944efb6e7e59bcf29", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion/SyntheticCompletion.c", "new_id": "4208772586db37ecda4e7f8fceb4f2edb2f8d5f4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion/SyntheticCompletion.c" }, { "type": "modify", "old_id": "9ee9168805ab645ebe99d2b766a122efb554a520", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker.c", "new_id": "8c693ef1ddcc7d5914f8e0d273d6b9960fb2b847", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker.c" }, { "type": "modify", "old_id": "20a6e2fa6827eb8ef1b816c93b3b29f75be980ec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/InlayHints.c", "new_id": "b341533fed5215922d1c25434137d4a9b1b0baa2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/InlayHints.c" }, { "type": "modify", "old_id": "73278006c9abfcef1cc2150a1e87b27f831e05f1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c", "new_id": "778989543e7095980a362b2b13a45e1074a3ebfc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c" }, { "type": "modify", "old_id": "b5c4ef98d5910d4ee59c4e0fafe379d1ff1fd178", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c", "new_id": "87c176d72ee283b7b222f068c71b58630e80228a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c" }, { "type": "modify", "old_id": "a078e7be46accd198dccd7154dcf33f199c34f1b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/GoTo.c", "new_id": "85dcc8e9dc71ec2f3564a1e6b393c2eae53c7154", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/GoTo.c" }, { "type": "modify", "old_id": "b0334b93f5c6e8be122c0d43f6a6b2375e03a42d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c", "new_id": "f33789926ff27ab914e6829d61796be4ffd46d4a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c" }, { "type": "modify", "old_id": "ff8f5b3f348a2685f19fd8a2dc928f97b41ae049", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/References.c", "new_id": "eaa1bb29ffa0b8f06a0dfe0cbbf33c372158851e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/References.c" }, { "type": "modify", "old_id": "793c83a18573157505b60e05ade209f1880cbcc5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Requests.c", "new_id": "06695e6af514a77efa95c8d05255b63d154c6a91", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Requests.c" }, { "type": "modify", "old_id": "f59e6cd08f6da4aa1339cfe0503520442d2e47e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Watchdog.c", "new_id": "34739364b8f8d8ff486a2f3ffe8581d7609a9739", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Watchdog.c" }, { "type": "modify", "old_id": "85ceefa839b9940434f40bc56bf67254b54613f8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Shell.c", "new_id": "b58fa8960d75bb76e494ccba0c44d644aabce826", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Shell.c" }, { "type": "modify", "old_id": "3f7ad85844d8bef03fb1f4020fae76b08701ded1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Structure.c", "new_id": "316a16febd5c52d411bfd5ebcc13e0da1db6b256", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Structure.c" }, { "type": "modify", "old_id": "df86d6a8bdbc2bc8807e24ef050f47cb9aa5ef6d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Syntax.c", "new_id": "6b28a7c45184127d8c2c28aea2fc7ddba4ac9cb8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Syntax.c" }, { "type": "modify", "old_id": "139ebff780063c65a796c3a6f3c7234d9b82e4bc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/NumApps.c", "new_id": "6fcb2b723462f576c64f10d0d7c9ad1f84a7036a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/NumApps.c" }, { "type": "modify", "old_id": "c1db7b30f83d9b5ec23d52415762bfb0074a757d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/SCC.c", "new_id": "7c0e1f32e43d7801cfb2c3c43dd37681748b069b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/SCC.c" }, { "type": "modify", "old_id": "5bd7346a34f4cb6ab32405d49cd6f33bbe8d3ecc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/Commands.c", "new_id": "d3e8a546fac856e1f2b4976161e9f289e9330d41", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/Commands.c" }, { "type": "modify", "old_id": "bba8e850296d45e7956d537886bf5746fc720930", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/Diff.c", "new_id": "9a14f2c74e1673fbff7d677b783af2ee3f5f221d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/Diff.c" }, { "type": "modify", "old_id": "3632692e28f7562cee1692ddfa8eb55ca9c42e5c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c", "new_id": "f9ad503d29c73ccea48f4441c17b974737c12f66", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c" }, { "type": "modify", "old_id": "f41d31190bc4064685571ee0223ca255a3661210", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/DTreeMap/Internal/Operations.c", "new_id": "161372efe869aa38ec09bdb0ce5a883c380ae4b9", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/DTreeMap/Internal/Operations.c" }, { "type": "modify", "old_id": "fdb14539c182afb18fbf4bbf4966237175901741", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Do/SPred/Notation.c", "new_id": "0d44f9e66c44419f0a4310037b38c02b6144e175", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Do/SPred/Notation.c" }, { "type": "modify", "old_id": "1702fb1abe709082a1ed975caf0d80133b3e2513", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Sync/Broadcast.c", "new_id": "5c6c6815fa5076a702296b4b762a3a49a6fc1972", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Sync/Broadcast.c" }, { "type": "modify", "old_id": "8e3c1c2f188bb3c38da4dd93d19cf5cdeb99bced", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Sync/Channel.c", "new_id": "2db0ed430efb68f2427e8938d0105edd3e845824", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Sync/Channel.c" }, { "type": "modify", "old_id": "88d6db2045334535ca7af7c0868070f14dff604d", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Expr.c", "new_id": "ebb84995fc374a33974653fbc00dda707afb3913", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Expr.c" }, { "type": "modify", "old_id": "1c3cf23ac68d769d9c66c6dfcdbf1f38bba6f1c4", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Pred.c", "new_id": "41a7132e1c7a9b120f3597854327c4c3d93b5c86", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Pred.c" }, { "type": "modify", "old_id": "13cedef2b74fdc2d45b02fbf5e0736ccd31a1b4b", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Substructure.c", "new_id": "cbc6e3e14f61257c939c28b0f0911d19c266e65c", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Substructure.c" }, { "type": "modify", "old_id": "e7bbae8acdf7fd7049d630a62a6404f50cfd831f", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Tactic/BVDecide/LRAT/Actions.c", "new_id": "8e67b73b8b5e9843ff1c3eefad04ee65e269b70e", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Tactic/BVDecide/LRAT/Actions.c" }, { "type": "modify", "old_id": "1a8a54e8aa20d96025ededa393a4334b00bd47e7", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Time/Format/Basic.c", "new_id": "91e386548a4a0f7e288753d3abd6f04acae533b6", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Time/Format/Basic.c" } ] }