)]}' { "commit": "e83f78d5af8887d2d384e2405adf85e3ee72fec4", "tree": "156a3a820cb4d220e630fa59adfebfe79fd4c371", "parents": [ "32b9de8c7736f5dc08c113a81adff662bb39ae01" ], "author": { "name": "Lean stage0 autoupdater", "email": "", "time": "Thu Aug 01 06:54:29 2024 +0000" }, "committer": { "name": "Lean stage0 autoupdater", "email": "", "time": "Thu Aug 01 06:54:29 2024 +0000" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "7757a90a55e033193d28508e4fe0df52656e92bc", "old_mode": 33188, "old_path": "stage0/src/kernel/environment.cpp", "new_id": "57e0a0358ec42b30f9b51fc8a4bbacdcfbc90a78", "new_mode": 33188, "new_path": "stage0/src/kernel/environment.cpp" }, { "type": "modify", "old_id": "647bbec2d318dfba0257343559431e800ff4ae6c", "old_mode": 33188, "old_path": "stage0/src/kernel/expr_eq_fn.cpp", "new_id": "875b4e2dc196a13537d3d1cc6c6a7a41922d694c", "new_mode": 33188, "new_path": "stage0/src/kernel/expr_eq_fn.cpp" }, { "type": "modify", "old_id": "65b9a07dc2fe3e0ce5cfd46cf7fd4300551d5abb", "old_mode": 33188, "old_path": "stage0/src/kernel/replace_fn.cpp", "new_id": "0dde49600eb5acf085986723be60f9f69465d748", "new_mode": 33188, "new_path": "stage0/src/kernel/replace_fn.cpp" }, { "type": "modify", "old_id": "413c1d49b69291e48c1b0a2143670d84c0df4eaa", "old_mode": 33188, "old_path": "stage0/src/runtime/sharecommon.cpp", "new_id": "53305df97d60b0986ddb61fe9e3e2dafa6553c9b", "new_mode": 33188, "new_path": "stage0/src/runtime/sharecommon.cpp" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "c88d632c9a0ce0714ffcd93fe5e93fcf6a2fd989", "new_mode": 33188, "new_path": "stage0/src/runtime/sharecommon.h" }, { "type": "modify", "old_id": "20df56fd46e4c30c8842e4b34af554e2766dd632", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data.c", "new_id": "9a9f21363284029dbf35e489e9398679ea28ace4", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data.c" }, { "type": "modify", "old_id": "06d50c3817e38f3f00eabc7aa6a666abc4b0f127", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/Lemmas.c", "new_id": "b162ac2ef258618f0dc7f33282c7b653e1cc7b93", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/Lemmas.c" }, { "type": "modify", "old_id": "3ed6f7d5654ba037e2681f186970587fda4c31c6", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/TakeDrop.c", "new_id": "fd2f75d2849de80032f64dab5c67d9b9f7f98c9b", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/TakeDrop.c" }, { "type": "modify", "old_id": "fead0c245a98b2fca2de6428e5f343efd788ec88", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/BitVec/Bitblast.c", "new_id": "498fabb4428e832b9d1b1211140d56748d553ed4", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/BitVec/Bitblast.c" }, { "type": "modify", "old_id": "2ad9241e19f8ffb7cc6a0861517aba45e7ef8242", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List.c", "new_id": "93b185a599dbc36019b44f99cbda53d7a9879859", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List.c" }, { "type": "modify", "old_id": "cf5d9afa7efe7c38cd49014ab6550b8d50b4ac4d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/Attach.c", "new_id": "0d016afd06e74f774335df489b36e47678107e50", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Attach.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "64f141d92b4046952a6121591106a766405bc186", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Count.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "f03f5d3a8e620c0cd3fde86f90ddea7fe1411796", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Erase.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "32d3b8921adf1c0af8089d6d75cdcd17ba133b62", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Find.c" }, { "type": "modify", "old_id": "bf30e4bbd3356c5a79113fc15e9eb6dab380a3bb", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/Lemmas.c", "new_id": "84400c38d0c16675f06640a99d0ea79d69baf82f", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Lemmas.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "1588cd18a859bcf78a614427baa074bfef457a8f", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/MinMax.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "5f119f02a9c83b91afd7ae9fea2360cfab50367f", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Monadic.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "c3f260b9f4fed88d1d2b38b29f1a7ce12bae126c", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Nat.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "951215e306ed4fa2bd42f7467038872e761c31b9", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Nat/Basic.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "cddf0f4fe7056b2548f141fe92591aacdfc91281", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Nat/Pairwise.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "0fe47b2918b7ce690bdc1848468bc9f15bafd753", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Nat/Range.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "4acd5f210a54b8ccbe1fbac3d8e770b032bc9e59", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Nat/TakeDrop.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "127b60556a5a96fc8fbb5c884fd1db8527e3feeb", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Pairwise.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "ec8b107f5bea6376a5a1d21f7ab8a917398f8214", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Sublist.c" }, { "type": "modify", "old_id": "c672d63c8707d15fcfde8ca675f86dd4075522a6", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/TakeDrop.c", "new_id": "49d26dbe995f410a00040827dfc8399e08d79187", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/TakeDrop.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "b056ff518edcbc7839f140415698e2fb536364a6", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Zip.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "b59d8de9c1884f44280ebbd45f1b1555d94704da", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Subtype.c" }, { "type": "modify", "old_id": "1b85789c30e8fda5856647fada5647621d3c08f1", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Meta.c", "new_id": "b2a6144feda6c3857607cdb02330d8e3800ccc35", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Meta.c" }, { "type": "modify", "old_id": "a23f404eec28ddd01bb14ef22d4639af4402b66c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/MetaTypes.c", "new_id": "8ad3af049dd303c2c1809b5567d2f54425e44697", "new_mode": 33188, "new_path": "stage0/stdlib/Init/MetaTypes.c" }, { "type": "modify", "old_id": "f8de89171dccbace2fa47bf1f20dfd39d8dc74db", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Omega/Constraint.c", "new_id": "58919b7f6ad2743174bcabe9a2084109efb9f729", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Omega/Constraint.c" }, { "type": "modify", "old_id": "ccc6b970e3f50c3c9f838ff23884b2fea33750f0", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Omega/IntList.c", "new_id": "d78d14fb7294f2a10c6812cfd9b5a51dc17807ff", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Omega/IntList.c" }, { "type": "modify", "old_id": "5a30419caf8a88d8d703606b65a5d843444dbbe7", "old_mode": 33188, "old_path": "stage0/stdlib/Init/ShareCommon.c", "new_id": "39f0e0962d2cac39ee0072277cd88458d1af5843", "new_mode": 33188, "new_path": "stage0/stdlib/Init/ShareCommon.c" }, { "type": "modify", "old_id": "1d904aa8d4e766430f53f9d27b0fcfdab578a83d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IO.c", "new_id": "c80e71db49b0a613a89ec2c472ead0b7d76deb74", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IO.c" }, { "type": "modify", "old_id": "30c2d4375874e5c8fb866d493980a3fdb9b15cbb", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Module.c", "new_id": "532f294f28a041a7537fdd70e95bcf19af06aa1b", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Module.c" }, { "type": "modify", "old_id": "4f67f5dfe00f3acdf1b8604227b7f02aeed612bd", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Trace.c", "new_id": "5b111d2177bd0b21a0d1e4a9f81efd9f77aab8d1", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Trace.c" }, { "type": "modify", "old_id": "e44f7020e093984c5a8252ec7ff8a4055124686c", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Load/Lean/Elab.c", "new_id": "4c7ff7b965f9381821af173e235bb801c7599110", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Load/Lean/Elab.c" }, { "type": "modify", "old_id": "b4d77caa895c29832a7029461152aa30b6c4ebe6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Class.c", "new_id": "5d2cb1f795833ea2ca497ad943597f13c039b4dd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Class.c" }, { "type": "modify", "old_id": "ce238e4d671e98c6ab32191a8131c991e192a0d1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c", "new_id": "cf3609c7e544d490c4594177d868e995c358a31c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/CSimpAttr.c" }, { "type": "modify", "old_id": "08198f0ddb7ab102c8878aa8d3a47e8146a1d30f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c", "new_id": "b4fa4f1c531ea1e3cfb3b56ff45298eb4bda0e5e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c" }, { "type": "modify", "old_id": "13e84b4e12b92b77b8eff312f252fd69554038d2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c", "new_id": "8c9bba9a0ff8d18ffd6ba68a721bbf2c0ef7a6c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c" }, { "type": "modify", "old_id": "fa115ee61a62d9530555549a7d9137d8f80219e3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c", "new_id": "c74ade265e339f19ca12772ae17eb3f1bde0ce71", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/AuxDeclCache.c" }, { "type": "modify", "old_id": "6f28ac9c97539608fc8233e63fe5ae6d91c22782", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c", "new_id": "82af2b800041762060db21b08a87caade6ebea01", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c" }, { "type": "modify", "old_id": "6e33965c6959a69859832745b684eb19efeb34e2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c", "new_id": "802d279eaec51f59b1599c4d7751c362b9631ceb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Check.c" }, { "type": "modify", "old_id": "ef0ae9b15b95e7376d57fa63dc68b308b8ac3271", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c", "new_id": "5dfdde8fbc8af2bb8d59d02bbcd5f4f9d825ee1d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/CompilerM.c" }, { "type": "modify", "old_id": "fb1bd82bcffc0443ff5b7e3cfe3f9cee3266fd2a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c", "new_id": "3a8b7ba32237d03fc2f0799fa3f040d10e2930c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/DeclHash.c" }, { "type": "modify", "old_id": "b20e6942b3d7bf82b2e56d4413dd2eb483426245", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c", "new_id": "facb95f7b5f39e0bf228616d158fd3c9d2a71a05", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDead.c" }, { "type": "modify", "old_id": "741e1f322e420c1248bd3f209cf6b451ef8a215d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c", "new_id": "7e5889756d8a72accd32aee4b5f26cedddda8554", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c" }, { "type": "modify", "old_id": "5668a1e2f2d7c71c2496f7b5e40272dc41c312eb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c", "new_id": "9f1fc6d38e4bbf280764655839514332515c400a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c" }, { "type": "modify", "old_id": "99270e77649ccd03a1692d3a279e0a4d811b11c2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c", "new_id": "dd12c143bb21b7b5ad69838e058931ade0984f05", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FixedParams.c" }, { "type": "modify", "old_id": "2cee1c6f6bd76ba3f34860381bbd044a7081a667", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c", "new_id": "1f34f850df4eb535b4d9208b77c725510dfc4679", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FloatLetIn.c" }, { "type": "modify", "old_id": "fd4d2fad5e6b90768a28fadc42a7e5e60e061067", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c", "new_id": "773b790e05e411289cdb4e2306344c1f630f36ef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/JoinPoints.c" }, { "type": "modify", "old_id": "bc9e85bea4f7e0a25b886a70f90e23eaf970b930", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c", "new_id": "d001dadbf696d756a23f4eebd358d2ab4a3bcc25", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/LCtx.c" }, { "type": "modify", "old_id": "de8ca18c2e88730da92b3e8ef5ef865c37543481", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c", "new_id": "fdcc9e5f327e97fe96845d4f6ad7f70156e67407", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Level.c" }, { "type": "modify", "old_id": "c9e8826c953f992d58a28cca062b9bfb2e381847", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c", "new_id": "912eb337596122a152a4039dc45ea00451d63e8c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/FunDeclInfo.c" }, { "type": "modify", "old_id": "e4d16bc25b8dd92f9784e8a2cde34850af158975", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c", "new_id": "43c9127d4b711b2d7df5fef9a4e38d095db2742f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c" }, { "type": "modify", "old_id": "4f808427265d78c397aa5bfc996bde2e92a4e10c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c", "new_id": "dd3a88472d787bc6a8e6f5abb457f0d64ca9a442", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Specialize.c" }, { "type": "modify", "old_id": "5651adbf7faea4e211651c674b2721801d74900a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c", "new_id": "931649d393fc5eafb0c213823ef173e849a9edff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Testing.c" }, { "type": "modify", "old_id": "340bd6f2b9edcb0bc86acad1ad9e048c9c6c9685", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c", "new_id": "549681b2fdf0c17717f18290ab59b2f27992db56", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c" }, { "type": "modify", "old_id": "f9323a525c6ef9130ebce6aeb87da00ebe3e4f8d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/CoreM.c", "new_id": "59400eb37934d37125cb1d8997db85a776443c5a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/CoreM.c" }, { "type": "modify", "old_id": "cd8ca7dd0cdbafef34284c6656f565ff7451228d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/JsonRpc.c", "new_id": "9503e2c04d127c4e31b29a83d4684ea4f54044e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/JsonRpc.c" }, { "type": "modify", "old_id": "08572c1ae69cd3a6c806be06d955f3901dce7882", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/KVMap.c", "new_id": "9c48a5794a59d64c5ece785fb4a7334258f8e6ff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/KVMap.c" }, { "type": "modify", "old_id": "548101eb4243351c87390c16c3c26b7037f6739c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c", "new_id": "4ebb0526d01d5befdebde6609d6eb5b5a2a3bc1a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c" }, { "type": "modify", "old_id": "ef4230b872c1ff4f0ee5d79cccffdc4c86dbe8ff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c", "new_id": "871de3f3f6ba851c5ecda925565756655e72e2e4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c" }, { "type": "modify", "old_id": "25e8499ff29e23b009c525540c1bbe54e2987bbb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/CodeActions.c", "new_id": "6a5dcb61b2c654b3432fd36aeb32c888fb510d67", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/CodeActions.c" }, { "type": "modify", "old_id": "11bcaac6e700ccb1404e0742a660ec3f00778c1d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c", "new_id": "5cb1cabe4db08d72bc14410df7f775582d95497d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c" }, { "type": "modify", "old_id": "685c70c57c371c39c7bbc48a9d4c73d781066996", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Extra.c", "new_id": "fd5e89c9aa3f890f9b1f8fbeb4c7991372729615", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Extra.c" }, { "type": "modify", "old_id": "8bc8d66cea38f1261ce0edda4816c3baac602ace", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/InitShutdown.c", "new_id": "fcb36741da18d485283ddde345e1172851667ec2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/InitShutdown.c" }, { "type": "modify", "old_id": "f81932a7c55d82e605f0f596911f06b8daf962fe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c", "new_id": "dc415eec5d3215d9c399e5eab372151406c38b45", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c" }, { "type": "modify", "old_id": "5d61fd3847f1330018356dfdd7aa1280e0aff6f2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c", "new_id": "61462d0adfacbf74f6b8d7b2acefded57d4b448f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c" }, { "type": "modify", "old_id": "a1c0125ba08350e330d706bc2e1faf187037aa07", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c", "new_id": "7434b5af8948ba3ca59732a5604636ee5457701d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c" }, { "type": "modify", "old_id": "ece99139496a9bdd64bb7af227b8082d7cc1a9b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c", "new_id": "8941924791e340674ce24c92149efdffb55c191d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c" }, { "type": "modify", "old_id": "4b99fcfaf9ed0144abe97a3401b9d07b9f4ac2f3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Workspace.c", "new_id": "f117030b046f3e5aa9f73e14bfdabaf588d697c4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Workspace.c" }, { "type": "modify", "old_id": "29033c65e2e6b6da5fa6373cc01fa30ae9077b85", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Rat.c", "new_id": "439841a40e4ebb0925b449b31b4ae61fb52a498b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Rat.c" }, { "type": "modify", "old_id": "56e0bcd1a760c38e5795620fbe810c72ee11a383", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Declaration.c", "new_id": "a31eaa2fad32aebf122a0fd9451ae2463aa7baf7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Declaration.c" }, { "type": "modify", "old_id": "feb270d589fd227b735378147a682c869f5e8609", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "92c72b59e6a6d41f41f31fbc1dc0c3374aadb175", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "3ab1f8daf5901bd42aa119e07f78c7e538c0ddff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "2d1b7e46397df104f9dfecc15a1748396c8d4681", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "df083f70bca405eebeb03be795df78b4ead9dd70", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Calc.c", "new_id": "48f9e516d0e987e7ed8a8f1e79deeb04c6ebe7e6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Calc.c" }, { "type": "modify", "old_id": "dbaf5207773925595d4f8305d492a5c42efdc7d7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclUtil.c", "new_id": "cb03441a657ad7af16f766a5cb10f4936f87f090", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclUtil.c" }, { "type": "modify", "old_id": "58c7bfbc76ac1b04ef71b7c81f5eb8760430b741", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c", "new_id": "649c570666fa85a6890f6431f55d93c91fd3ad45", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c" }, { "type": "modify", "old_id": "ff8f6f6d5985303a69887416001252ef21ff5769", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Import.c", "new_id": "2c7c97f5ee90f747623bcc92e24ce4d4d5240a6c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Import.c" }, { "type": "modify", "old_id": "2fab8b1528be56e582a0ed96b2a7ebdc24a569da", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "cb14832b71f6ee6bca2595582e7251afd445a637", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "b27c4730685c62248ac55aaf972ede7794b2f3a7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c", "new_id": "aa87f4f523a027b3760bd61307321f8af2533496", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c" }, { "type": "modify", "old_id": "1e0c3a060e6fa0e2b0c9c04c258bdda7875d2783", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c", "new_id": "0d3c4325a93cd0019b7edc038c89860a7f7c3982", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c" }, { "type": "modify", "old_id": "06b60c635d98e5c6684012ba076b583486dd1497", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c", "new_id": "9626501a4da52787aba796a9c1121e4dce2272f6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c" }, { "type": "modify", "old_id": "b36ac956e299790ce616fb09e2b3a7dae039e538", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c", "new_id": "1fd9185d41281aaeae6ba09319b6f5d849360523", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c" }, { "type": "modify", "old_id": "aa10b8e655545846a1cc59ef3263bc39ec4fc432", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c", "new_id": "682a21429b9050a11761c66a5ed8e559ca4ee90e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Main.c" }, { "type": "modify", "old_id": "1f711d4f78573cac823a938f59cd0afcd813e558", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c", "new_id": "ad1eb49ffbd3149b0fff5d8a0cb646b8ad747b00", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Main.c" }, { "type": "modify", "old_id": "7bed36bf923d6e1ae93ae9d8a64a4447f0a6436c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "57502f9cc02eed33b0d9debc4d5c71481df41709", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "42a0eb33e0275ef3bd43af18ebb6fa6755a1bb45", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "225a0f2f3b2435f4458f4fd9f3667f35618f6ace", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "d60887159562355ff46bcdd5dc5548ce1b4462c4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Syntax.c", "new_id": "7ba2b9f61af85bbaaed42f3ddbc8e56ca138aeee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Syntax.c" }, { "type": "modify", "old_id": "04f2619bcce4f794c654221b195457197d96e0c7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c", "new_id": "b79e18e3956e65094c5d2d39946a8aed4241c6ac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c" }, { "type": "modify", "old_id": "34553252227ef02939ff4f304a9f729dca47ff83", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Cache.c", "new_id": "ec295d2f2a47fad00ddf67b7e8acc5066bb83b3b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Cache.c" }, { "type": "modify", "old_id": "f42aad8f5d4bfa9d55a5969098521e74eec05d62", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c", "new_id": "269855341db9d661b50423308dd669465ea07ed3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c" }, { "type": "modify", "old_id": "c1d3f68b8eda4f9da019100f84c22299e9b69d25", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c", "new_id": "414458fbf62c16972bea9ee5f68f23ca7b69534f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c" }, { "type": "modify", "old_id": "8a7f010b9dd4fed1a70e9054bff151c1083f0d1c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/MinNatAbs.c", "new_id": "5a1b7fa4499a76a6cd78ef2f09fcd5f2fd62522c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/MinNatAbs.c" }, { "type": "modify", "old_id": "78594c475cbbeebab63bac0cfdc00108b0042a9d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c", "new_id": "48169383327c750df67565641a0ec06f80291a46", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c" }, { "type": "modify", "old_id": "4fef17b5d38c7f4dda90be2273ce2d40ee751cc3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c", "new_id": "df4521119379b67001f4ee3817279e4af3e9084b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c" }, { "type": "modify", "old_id": "e8ae706df98678ebfa05012027786880d052f158", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term.c", "new_id": "eab52347e3a93141203f9407caafcd5bb9a5710c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term.c" }, { "type": "modify", "old_id": "1212f07f93bb05a4c038296cbed2503faeeb8220", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Environment.c", "new_id": "0575544247f3153756826de06c20bcc293e30f2d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Environment.c" }, { "type": "modify", "old_id": "28fb0b0b0e155106442a9548c94d23f67b8c1e18", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "0bbaeb3deca4a63d6630a9aaac3d295c0ff8d546", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "e07cee68eed505aa2e6e8f184735403e6c97c0f0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/HeadIndex.c", "new_id": "32beab3f13c64d2620a808a839fea90178e20cbb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/HeadIndex.c" }, { "type": "modify", "old_id": "51504738c4f498a9567eec2eb526e0178b554cb5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/InternalExceptionId.c", "new_id": "2235f81f64c4e9dc82dfc195bd13c36a23be8829", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/InternalExceptionId.c" }, { "type": "modify", "old_id": "8b85f0c668ca0c3ee4c8f58d50148f717f1f0c00", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Language/Lean.c", "new_id": "72c31a349dc7957cc0227e2a4fe3cc77c65ac722", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Lean.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "187362e8e82a40aa9bf55ad1f1d68d7488861753", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Lean/Types.c" }, { "type": "modify", "old_id": "f26326aaa87a525c4a2ac965446c31ce9ff5cc4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Level.c", "new_id": "94c31dc3310584930ed4efd75aab62082efc859e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Level.c" }, { "type": "modify", "old_id": "19cb9e63165f7f4e815aaf559ae28cd0a703a79c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/ConstructorAsVariable.c", "new_id": "f325c1566711d96d84584449ecef1e64d5edab38", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/ConstructorAsVariable.c" }, { "type": "modify", "old_id": "824f364f16be1dd43fbf0dd7cc0fa26c8fa3f6d1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c", "new_id": "5ca2698b3052186033fba096090cc8dc5ba8414f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c" }, { "type": "modify", "old_id": "d78365fb539855bfb0eef94f823ac2bba79d35b0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LocalContext.c", "new_id": "5adcbf3f84b03264ab1d80e51d287bb37fe8ada6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LocalContext.c" }, { "type": "modify", "old_id": "e459a58563d952f59a474df3b03e66df057d89d9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c", "new_id": "2df7a10df4f624e827d2d0fc1053e28f202117f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c" }, { "type": "modify", "old_id": "b1558b00a612e4fc56f99d55a97eec6cbb7a6147", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "c58954d0247043b3f839425e10e191c9c266ce40", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "modify", "old_id": "635d25042301e5f22de9e042a2ed1ab43727fff2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Closure.c", "new_id": "d1a65f0e164efb59098b30befec096452642bd9f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Closure.c" }, { "type": "modify", "old_id": "431c46b7aae7effc09a54216371c86f0030ba135", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CollectMVars.c", "new_id": "ce5ccde7041464d39eb1b9bb2923561e4269b8a6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CollectMVars.c" }, { "type": "modify", "old_id": "e1f0c837fd210ec30349d40051eafe940bc08eb0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c", "new_id": "8a120a06f3433946c282c01cd941bb2383ba4a02", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c" }, { "type": "modify", "old_id": "823029706995cddea1d6310dad6e0b6ff950c4e5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c", "new_id": "f5619349a07a79e3c854dfd49e619f71a96010a1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c" }, { "type": "modify", "old_id": "00a23493da42d1e45e31cb654df566918f09f4e4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprLens.c", "new_id": "05aa0d65a2925e635f10fc335a5faa9b60e1eab6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprLens.c" }, { "type": "modify", "old_id": "ce04d6a4a87d1fcf6bf4d073ad073281396a9c22", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/FunInfo.c", "new_id": "fc9551b879f1fcb13b982f33f68ddf9a845db4a2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/FunInfo.c" }, { "type": "modify", "old_id": "989b34e37022e5490affae70de435bd80edae559", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/InferType.c", "new_id": "35d75e7cbc4bda08a2e343115b702a402c386210", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/InferType.c" }, { "type": "modify", "old_id": "7ddc27f2e2d1752dd4603cae55ff6bc62fa8f2fa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Instances.c", "new_id": "ab3239ebe0ff7e5d72529665fe96f72572845619", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Instances.c" }, { "type": "modify", "old_id": "58726b618e01fdec459e098ffce0998ad8af7c12", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/KAbstract.c", "new_id": "7975344653a19290cac78a050ed22fbf9800e6df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/KAbstract.c" }, { "type": "modify", "old_id": "073df433afe8ce7b7fe7eaa9b237b62e951689f5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c", "new_id": "2b3c4fbc76cbf203d7ee22dd7092e78790b81325", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c" }, { "type": "modify", "old_id": "c4ac8371bb959534cc7d90e95013c47196b0729f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c", "new_id": "d4aa06bf356e7809a4e690fa33661b18d03387cc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c" }, { "type": "modify", "old_id": "1309f95dc37a1d664fa1d6a0b7181a8468bb5e00", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c", "new_id": "1cb64cf2633165b0ffd036abcdaad1fb29819235", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c" }, { "type": "modify", "old_id": "6a3696ef57c2c9e6786712c5100373c56d2b6dfc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c", "new_id": "a3640ff927e1ed335c7b5523687336562eecf03d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c" }, { "type": "modify", "old_id": "66618c64dd6b6407cb31300a6f7861b7d90aa272", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Util.c", "new_id": "08b99ee85061fd02fe833f1d84a91723ca557fd7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Util.c" }, { "type": "modify", "old_id": "43dff444cdf131e20cc57d990e2bfbeb54657224", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/IndependentOf.c", "new_id": "cc1233214ca0842f2f203d39635e04c46a661d86", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/IndependentOf.c" }, { "type": "modify", "old_id": "3342e81aaaf3708786f2a60822759c170ec0f886", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Solver.c", "new_id": "5de66a8271d09e8c2f6d27ec986ab32538dc0de4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Solver.c" }, { "type": "modify", "old_id": "1cea848096b33d8aff6418306040be5ad3c1d4bb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c", "new_id": "c8282b3b60c81d27deadaf576df7bf5e98789002", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c" }, { "type": "modify", "old_id": "6e8a8434b1053c39410c6ac5d9a9f33aa1663275", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c", "new_id": "cf41a3b88fe978dead6faefc5937d68769170eb7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c" }, { "type": "modify", "old_id": "42f80c4ad5ac20a79509ac679c49474bdb1830f9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c", "new_id": "9d5ea510492d48b2d15ebec0eeaa5a0d3afdb273", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c" }, { "type": "modify", "old_id": "a82f05854f92e10f9bcc0253594b971447cb8f78", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c", "new_id": "ff0459eb7f7813692ac4751a1bfee3c53c4290cf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c" }, { "type": "modify", "old_id": "dbca4bd60d7f6625a47a6c3f28e08610ae426061", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c", "new_id": "968d8e588a56b227f5583a84ef54bcae258f6d97", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c" }, { "type": "modify", "old_id": "bdb50bd18fb6cf1adaa8e4031c892ed3a21a5d07", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "58d44ec4ee4025ae3f6ce5c8e5d73149dce8647e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "02c3e2810bb8432cef4dbac0f06bac78e3533e48", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c", "new_id": "395f112a1028932b961ad78be76c10d0a99de736", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c" }, { "type": "modify", "old_id": "3b499fbfdeb50f7d9d171dcd4809a9c96bf6c2e4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "f97162a2a9eb6f777c600228800dcc4422ebf75c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "c677fcc22ae8d003ac6ea28477a97b5784386693", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Basic.c", "new_id": "5d5006dfb76e4eb9d9a5d25fae051b2767b0f579", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Basic.c" }, { "type": "modify", "old_id": "11dce96b78fccc188f62d5547e32a3f3bb38e416", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Command.c", "new_id": "aff5efaccaa2f44f9e6f386714d771acf37b1e96", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Command.c" }, { "type": "modify", "old_id": "f3a636e5a90ab0fa097f1d3397feb044d28400b5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Types.c", "new_id": "4205b66c78ae974a8ca575fdfac9ed00f881402e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Types.c" }, { "type": "modify", "old_id": "026df8449d0787fc2ee449783bbfed9bfca6dcd6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c", "new_id": "14d427b785c5807f86c8cbba889611c008a6b9af", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c" }, { "type": "modify", "old_id": "3e168e74f643f94a98b55031c0dc891291a53bbf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c", "new_id": "09a0e0cef460b9aa93390a8dfcc1101944526699", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c" }, { "type": "modify", "old_id": "28cb1932a97d03fb1c98e6caea6e79b7ae54d816", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Replay.c", "new_id": "b6459085ebdb670d2a91fa119fa813e5b084e8d6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Replay.c" }, { "type": "modify", "old_id": "60abbae53a5548e4d0bc35aff6f81ebfcae584e9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/Basic.c", "new_id": "c484f0ba635b7e2b6abf0243dfdf9a1c0bc1b49b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/Basic.c" }, { "type": "modify", "old_id": "5acf6df5f1f651220baf14b777b1129b2221eb8a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion.c", "new_id": "582344f47cf571d487b77943e250a86ccfe3b510", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion.c" }, { "type": "modify", "old_id": "fc8ced771e19159ddf28a635f5cb7544060974fe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker.c", "new_id": "d7c07155c89e442d5fe91f746de329ab44a4d314", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker.c" }, { "type": "modify", "old_id": "958acc4913dc07f3c985c9971e104fab04af9633", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c", "new_id": "d629b637623911dd284deab09225d8449e6b9490", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c" }, { "type": "modify", "old_id": "4babbd1f9d5012bd25080a1657357f54e75b8d87", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/Utils.c", "new_id": "28f8210d6ce90e821ff940d18d79f82a37b81c6f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/Utils.c" }, { "type": "modify", "old_id": "4574498e99e6d685f43c7315d7f6c77f7ef69eea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c", "new_id": "75493e8f69173472ac7758fd2e0dadf84477652e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c" }, { "type": "modify", "old_id": "658084707138caa2738fc0f72fc808317af8e9e1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/References.c", "new_id": "a413989e6386c5a334549c7a2b1ff8d91703091e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/References.c" }, { "type": "modify", "old_id": "22559b0a873ef64d038ff0eae6a03c6721cf01c8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Rpc/Basic.c", "new_id": "7964f70d044022acd8d2c5bc5dd308353f54a705", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Rpc/Basic.c" }, { "type": "modify", "old_id": "c8b592683ef1df4c809b7f90041ae687f4cae9c3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Snapshots.c", "new_id": "4e8bb3f846e8bece70b9055ba132107c0d52aa3e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Snapshots.c" }, { "type": "modify", "old_id": "05c7602963e470286469171921a0f6999eb8884e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Watchdog.c", "new_id": "d72530a049a3ca1e1abe36ec867d86aecafd69ca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Watchdog.c" }, { "type": "modify", "old_id": "bee3957984a8df004564a22354cf39df5e29c1db", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Structure.c", "new_id": "0862296107d5a06a5a3d983a12ee527c900e646a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Structure.c" }, { "type": "modify", "old_id": "21b5a944dabd972aee2ec494329af94a2c70ba21", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Syntax.c", "new_id": "fe188a5848530613291302d26851d43167d14c4d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Syntax.c" }, { "type": "modify", "old_id": "19cb7e9d718f72c3dc2512a476af16e29e6c1f25", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/FindExpr.c", "new_id": "46b7434ddf2898679dc05ba4da540dbb510c5fa5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/FindExpr.c" }, { "type": "modify", "old_id": "490bfda7a78556d627d93629db6a4240473419c4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/FoldConsts.c", "new_id": "09ab8af454d43134255acb54e4a2d0ae1ea2d2f4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/FoldConsts.c" }, { "type": "modify", "old_id": "7f7ce432dff940638ba1fe8bf04f54a3ba538a3d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/InstantiateLevelParams.c", "new_id": "ecaf2d52400f605e2ef99d744ef9a7f350c8fd68", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/InstantiateLevelParams.c" }, { "type": "modify", "old_id": "2b7ae1c952291601099ad35a4be930f091d31c84", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Path.c", "new_id": "aaae09a0e0cf05b31b0809f7b1b4c052787d9ce2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Path.c" }, { "type": "modify", "old_id": "5b93dfd9b58af67b4ffc3583027f9ae39afd0815", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/ReplaceExpr.c", "new_id": "ae12da98b29b5747682ed79208410489e33a904b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/ReplaceExpr.c" }, { "type": "modify", "old_id": "0decb1b4993b422d1132e1bbb10efa40258a965d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/ReplaceLevel.c", "new_id": "38ad2bf10c1dac85cb86aba283ce3f798900967a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/ReplaceLevel.c" }, { "type": "modify", "old_id": "761862c164886363ec33691998740c792abdfc4f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/Diff.c", "new_id": "dda7680822130ead01ce8efdec9419ee30ed1941", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/Diff.c" }, { "type": "modify", "old_id": "c2796f79225ad2a3efdf0bf948eed3e83667e68a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c", "new_id": "65d5c69a455862f64601f6091ac5eb690448fba0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c" }, { "type": "modify", "old_id": "d559152e5c6fa83cfab1872434b1ff2441de5988", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c", "new_id": "e59aa470c4a2eb9d4b5d565f64742cbf0d8b3511", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c" }, { "type": "modify", "old_id": "c96d3c1343158e65e586b61552539a0485091eae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/TaggedText.c", "new_id": "ccb9104df551c704ddc6fb354fb8850df98c2d80", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/TaggedText.c" }, { "type": "modify", "old_id": "4461e4a2aa4f5dd0324c64cb7c71ea24459d5b0f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/UserWidget.c", "new_id": "17dc544e4090f8921d0da273304606e6512ceb60", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/UserWidget.c" } ] }