)]}' { "commit": "2bc58502611555fc2d155626bf5a31226245fbb1", "tree": "9aea3722d7b78b07a3fe8033052016e06471cf49", "parents": [ "4d690059e21ca252ab54eafe95a6293fea3c821e" ], "author": { "name": "Kim Morrison", "email": "kim@tqft.net", "time": "Mon Oct 20 19:45:02 2025 +1100" }, "committer": { "name": "Kim Morrison", "email": "kim@tqft.net", "time": "Mon Oct 20 19:45:02 2025 +1100" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "8f3ffb4fa63c2ac8ac240b017cc88baf7b28bd48", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/Monadic.c", "new_id": "5ae4cab137b15a294b6995ad52ed640d2fd43a9a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Monadic.c" }, { "type": "modify", "old_id": "7190b31e8c159eed53666f0e0ec070082c392dd5", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/String/Basic.c", "new_id": "1335cbb19aa1481af9153a9df5086cdf344e9841", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/String/Basic.c" }, { "type": "modify", "old_id": "2f070cb4250e2efd0a7e12d90677345f291d3f7c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/String/Slice.c", "new_id": "35c615325b894cee8b07e4e1bc5d85627c10b7ce", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/String/Slice.c" }, { "type": "modify", "old_id": "4618a533e8a8d530f5528f22e146affcd32dab65", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Grind/Interactive.c", "new_id": "782d3614c3cf8706cb3195ed056ae321ef138f97", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Grind/Interactive.c" }, { "type": "modify", "old_id": "55f0253eca123aa63e59f78cd3c80982618b4ec2", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Grind/Ordered/Linarith.c", "new_id": "fe8f2c8020c6e01ca4eec9f2a3be7895d9b6e09c", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Grind/Ordered/Linarith.c" }, { "type": "modify", "old_id": "16df331e957f5705c1e1fa21a0deb86b16e66f37", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Grind/Ring/CommSolver.c", "new_id": "6c9991deb3be5bb9327df2c3bb3f9e82e6b4ded5", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Grind/Ring/CommSolver.c" }, { "type": "modify", "old_id": "54839a6b74c21be510388e9b6d6a6574b9be3eda", "old_mode": 33188, "old_path": "stage0/stdlib/Init/NotationExtra.c", "new_id": "5431859576065ce76c08ad7342382de7fa7dbebc", "new_mode": 33188, "new_path": "stage0/stdlib/Init/NotationExtra.c" }, { "type": "modify", "old_id": "01a426e597c8067dbbbb796bc62f4300e30a09d0", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IO.c", "new_id": "793356075a53294d05d29bbf2c0eb0430a4e7a9e", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IO.c" }, { "type": "modify", "old_id": "df1978d6e7fc0b45ef9524d89fd8b853ff482da7", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Build/Common.c", "new_id": "3575da5f210713a5aa9aa3c1b65fe88be66a9866", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Build/Common.c" }, { "type": "modify", "old_id": "09312bc696548f172dd775b3fe1a0a0ba349aacb", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/CLI/Init.c", "new_id": "f28ecf3e8e175f7505cd3086517adb09360748e5", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/CLI/Init.c" }, { "type": "modify", "old_id": "f0e58cafbd5ecbbcf67bf66c9b251b95a1328775", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Config/Cache.c", "new_id": "ff14376b1e3007b21e42f33096c96b3afdb05ff8", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Config/Cache.c" }, { "type": "modify", "old_id": "ed263bc787992b6e78a9db5cf28814209b63b051", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Config/Pattern.c", "new_id": "9cade7113d0c133ca46f6e0ed14c9a60b06a62a4", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Config/Pattern.c" }, { "type": "modify", "old_id": "749654ffa3210116d07d9fe62a5c66ae0c203d75", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Load/Manifest.c", "new_id": "f08552656c42624af683594fa7a7a0df68995100", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Load/Manifest.c" }, { "type": "modify", "old_id": "5c5857c95878c872204052d07f2ec7f2115b2dd0", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Load/Materialize.c", "new_id": "65611c2595096776c65b1a5c41f667ddd192123a", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Load/Materialize.c" }, { "type": "modify", "old_id": "da0b19b0383a3abda0287d4bac8116396c74adaa", "old_mode": 33188, "old_path": "stage0/stdlib/Lake/Util/Log.c", "new_id": "42e92ed4d0ead2ddb7b85e1897def8f5d04ab0f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lake/Util/Log.c" }, { "type": "modify", "old_id": "56322b26e7974bc10e168b178415dd19ca2daa2b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c", "new_id": "2478867c1fbb35ce5502c757e93eb9a135a2ffd9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c" }, { "type": "modify", "old_id": "caebb6fb9116d01819dde4d5e90326a70c6fb2db", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c", "new_id": "89c6aca229bfec875eddccb85dea17524e62c7fd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c" }, { "type": "modify", "old_id": "639e46c3768ec7934ddb8c862b2079cc3b7c447b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c", "new_id": "6b5aefd784b5bf932b24cdd9aa15a23c069d874f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c" }, { "type": "modify", "old_id": "eb15a49c56ae872d64a521bc4004b1d67e9237fe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c", "new_id": "5416b9664c1d622fa5615489e659f701eef01afb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c" }, { "type": "modify", "old_id": "fa09ba9bbc745c023c489919f0c9d60089cac0cb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ToIRType.c", "new_id": "ba593b1005ce1cce9cc919524264e5e5256251e0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ToIRType.c" }, { "type": "modify", "old_id": "4662fec38b7d0b413d152fbf79fe62332566c843", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/UnboxResult.c", "new_id": "2400c9aebfffb5be1f193a035a93795d509f1888", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/UnboxResult.c" }, { "type": "modify", "old_id": "a486a616ba6b6e9a00f8b404be405a0a354d4123", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c", "new_id": "aba9c7c0449c3dd603238113399ddeee63440da6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c" }, { "type": "modify", "old_id": "666d1952e0366af6018ea3be686aaed14934634c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InitAttr.c", "new_id": "cee0783f0b045f84c57f24310c1eddfcf59e6ec0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InitAttr.c" }, { "type": "modify", "old_id": "97af066cf9fd46d6b677853affb4d43da7eac7b0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c", "new_id": "22eb518054f1816d7d2155a127df5dc311e6f253", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c" }, { "type": "modify", "old_id": "b321659386b06d125fb8b2c256a8edd5faa8ebe6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c", "new_id": "83409086d0af75818a6bbd8b2617b40e00b42798", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Basic.c" }, { "type": "modify", "old_id": "3e7de74b471f2919b4cb97afb4ecfc6d40354039", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c", "new_id": "c9c7c3664fcc19551edc61ec363fa9a619e23aa7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ElimDeadBranches.c" }, { "type": "modify", "old_id": "bf71cd0b8b1e8e04fd3a4ca3f8dca2cff1db16a1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c", "new_id": "18e9bf4e055b3f0d64a205dd8fe0f73fc1e5e83e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c" }, { "type": "modify", "old_id": "b135a6c2e8d5bef865680629fa10c856232cb516", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/NeverExtractAttr.c", "new_id": "f3d4c7f16431b126f811e96d5357982540aa3e82", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/NeverExtractAttr.c" }, { "type": "modify", "old_id": "1c7452982395f3466c4cfe9cd5d8c66bec22adeb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Specialize.c", "new_id": "305fe675b9c5fcdb742cd806d6905ba87c40fbd9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Specialize.c" }, { "type": "modify", "old_id": "03faf272d17edc119f3f980344aec39a56ec2bb3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Basic.c", "new_id": "bfdb7a5a630d180c95f9a6880d609cf8f1dedec4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Basic.c" }, { "type": "modify", "old_id": "34d2fe7ce0bbd9a2b18809194946a89f1c1f00e5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/JsonRpc.c", "new_id": "57cbb9a7925b6568077f4180092247ca2b8ec598", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/JsonRpc.c" }, { "type": "modify", "old_id": "f8d4d4eda7abdc81ff2882ed8374e333f0b54cdf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c", "new_id": "eca0f6c09b5445ba0a48d76b84a215c2e7ea8124", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Internal.c" }, { "type": "modify", "old_id": "ce56de50bf3c8ea1d632febdc0ef63f7419acced", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c", "new_id": "438948b64b2b3788588c0fcd9154bc7686ef8427", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Ipc.c" }, { "type": "modify", "old_id": "66a857e927b8265a735e44006cb6e4a40ab20eeb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/NameTrie.c", "new_id": "c45157f386d2eb95d7988acf9dc121d8b293c1eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/NameTrie.c" }, { "type": "modify", "old_id": "29c5f753589d28d05600325f3ab6504cb5649194", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Options.c", "new_id": "e14b930a87c58e4bc2841fcb06baff8e48c4ec79", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Options.c" }, { "type": "modify", "old_id": "a72e6411fb42043eb8b62a648a6e4c139907149c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/RBMap.c", "new_id": "7071599b4ab73ff5bf1ceace77365287d361dc13", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/RBMap.c" }, { "type": "modify", "old_id": "2242a5bb90ad51048a5bfe4e438aa4f8fb5bc717", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DefEqAttrib.c", "new_id": "96ce8a46f331071e86eaf34716e4f3cf61785c0a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DefEqAttrib.c" }, { "type": "modify", "old_id": "cd68ce4698a7c49e1ef73c4ecefe9144477f9261", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString/Syntax.c", "new_id": "32b4c4fb69ecb8f9aa6a9a629498439dde7899cc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString/Syntax.c" }, { "type": "modify", "old_id": "2321dac6ea55b42ea7b3ca45d894721d89407cea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/DocString/Types.c", "new_id": "0875a974997c0f2807c4f94cce734d7844ab553f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/DocString/Types.c" }, { "type": "modify", "old_id": "09510a4a4ddb185208101383fc95d3492602fb5d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "dcf7953dfe7be427ed59bdce41ffc70593115a3a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "8470df3f349577fda9e8c739a754d63aeb6af614", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/AuxDef.c", "new_id": "725d6f593bc233119ab4cfae1719a1fde2451c0f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/AuxDef.c" }, { "type": "modify", "old_id": "896f00148c7fa48b24114e8c37c0872e4ffe6c35", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BinderPredicates.c", "new_id": "57d7bfa59ed27427d067e1f5f3e73e8ac0881228", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BinderPredicates.c" }, { "type": "modify", "old_id": "dd596e4dc45f4ecca1f1b98c81d373212c645652", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "58fbb3569e096a2631d7c33153f061dcb73cf331", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "cf3134a179ad3907923682aece46893b0b505461", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c", "new_id": "a7e879644f5bb4e76c540ac5da26140670c26f49", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c" }, { "type": "modify", "old_id": "83f363540f0e4cb3653c33721cf29c607671900a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinEvalCommand.c", "new_id": "4ad524e8b0ad6490f645141c5f31c61734f7f440", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinEvalCommand.c" }, { "type": "modify", "old_id": "f81640b061120bcd0e69cecfe28bc9bdf5711fa0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c", "new_id": "663bf44223e1c2c2507c22916d20a842af1ec0c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c" }, { "type": "modify", "old_id": "807214522830364dae72982efc85796b7687d355", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c", "new_id": "f4079bbdbaa62a101fb9531f31bc436708978b2a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c" }, { "type": "modify", "old_id": "36368bf3bfaf6b471c61cc9538f4514384ed524f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Calc.c", "new_id": "e32ecc898eb50c8c90707b7c01c5f81d68bb0df5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Calc.c" }, { "type": "modify", "old_id": "1064224ac08123e84f9af52fe6288e67385ac1fb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/CheckTactic.c", "new_id": "d33254e33be380b1f0663ac5ae8d1bed882b3234", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/CheckTactic.c" }, { "type": "modify", "old_id": "780181d11209242e375006f08325604c4ba7e597", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Command.c", "new_id": "08ed77f3f6f1f3f60596230e131dc73c2073d667", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Command.c" }, { "type": "modify", "old_id": "e7f5a9e96214914a9711596f42e7aadf8f91454e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ComputedFields.c", "new_id": "911db816acdff2133ab93c2d1208e5307f612108", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ComputedFields.c" }, { "type": "modify", "old_id": "5d3ed1b2cf20d64a2312c79047fd635a8dd20495", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Declaration.c", "new_id": "6468e2607a70244ed01151d0c5ec637c02df7a5c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Declaration.c" }, { "type": "modify", "old_id": "b09458d9d437ffc6283fffb40c9ef955838d545a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c", "new_id": "42fbc96ecc3dfeb1b66669e6bdc6e50dee935977", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c" }, { "type": "modify", "old_id": "a2440a3fbf0c496b4abff008e6b35e7936c6e3c6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Do.c", "new_id": "9d48c672e7c0ba2e29e255f1169946fe8daad432", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Do.c" }, { "type": "modify", "old_id": "cd1f61088fb888a9ba2eda0deced4a7a3c3a89f1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString.c", "new_id": "a8277dcbc4fad1fabf724b9da50454a2eecc9a37", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString.c" }, { "type": "modify", "old_id": "2f13a6fa60c9a01e87d62b01cde79ab3ddc5d36e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString/Builtin.c", "new_id": "4fbab3d9151ba343c9d40b41bbc7d4cbe2d0848b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString/Builtin.c" }, { "type": "modify", "old_id": "1acaedb1b228f0e627fe4f5cc714b3b2d8383d3f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Keywords.c", "new_id": "4b500aa29857f2d35c9e4ff9c8ac56fb4f0f26d3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DocString/Builtin/Keywords.c" }, { "type": "modify", "old_id": "61b7c2f69608fcf65cba18f57d723bf36b0fbbab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ElabRules.c", "new_id": "8ce20bc88343fcf6fc9f8ce4c72021a3b160f2c4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ElabRules.c" }, { "type": "modify", "old_id": "8894fc27ef567e3d348810f72a7fb9ec2911fa72", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/ErrorExplanation.c", "new_id": "a689e0b98ae7b7e27edc384d66017a8aae5075ae", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/ErrorExplanation.c" }, { "type": "modify", "old_id": "ebb121a2fc656451d3acfd4b5d17873f194d8da7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Extra.c", "new_id": "916c0f093749c7cfdae8ca79abaecf12d032e934", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Extra.c" }, { "type": "modify", "old_id": "877112034e6e9d2d73af28cb6469ccd4779d948b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/GuardMsgs.c", "new_id": "9d7b4c3e8f8bee89a9dbf29953cfb4fd75ea1904", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/GuardMsgs.c" }, { "type": "modify", "old_id": "13b238525d1875b0e8c88535365fb48d67865a38", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "fb46a673f2966f7648dbd745c4d59f4998333faa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "c6aabca48653f51b8f8dc156286a909d46584e82", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InfoTrees.c", "new_id": "c8ec37b85f2afe6ec9e7d0e23be3abb1bdc820c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InfoTrees.c" }, { "type": "modify", "old_id": "c5beedb0a2c7a6d06bcf152207f4625940e2a83c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/LetRec.c", "new_id": "feb2321e957aa4e675802dd05354a5fc1772c470", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/LetRec.c" }, { "type": "modify", "old_id": "6c137557bcbab034c2b53b794ef9de793886e3e7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Macro.c", "new_id": "1ba2a3065b9ac2eea6387bf0ba744b94e78443be", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Macro.c" }, { "type": "modify", "old_id": "439d6dffa73c12f45c51962d77b7c278c7ac5eaf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MacroRules.c", "new_id": "30a18b32c6e1b93803638d571c877cca3c592708", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MacroRules.c" }, { "type": "modify", "old_id": "fb8099a4067924b1aeaa1f6cfe02115f085f37d9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "d0a932367cbfeef85882c1eafcd5b7d49290f304", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "d327ebd39629d9363705a10b2cf1e47687a79278", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MatchExpr.c", "new_id": "26c1ade1d3be6517e6f1769c29cc11621471e53c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MatchExpr.c" }, { "type": "modify", "old_id": "0bc7507325af1ed088dd953f853248b362ecf9b0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Mixfix.c", "new_id": "ac0c08e58529e47768592e0e632d61b9ec108347", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Mixfix.c" }, { "type": "modify", "old_id": "7ce3fc42d2356096306859e5fa8976c1c3b6cc4c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualInductive.c", "new_id": "f0a6be190a6153672b9a3e5871a8c7895828d527", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualInductive.c" }, { "type": "modify", "old_id": "b75ab4cf210504a24da7de3aad986ae4dc9f4363", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Notation.c", "new_id": "157d3a9f80da5907a6dc74d50d3577f978f175d7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Notation.c" }, { "type": "modify", "old_id": "eceda59a51ca0dbd77024e945e338d1d5fb6652a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Preprocess.c", "new_id": "9724f095aedb5b0e25e3a6d503ba80d3ecb98f44", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Preprocess.c" }, { "type": "modify", "old_id": "2677eb24ea11485dace484e0dadcc30ac850ff83", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Print.c", "new_id": "2c3f4f3548ced0d70d60b2f6fcc67800ca5d9d7d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Print.c" }, { "type": "modify", "old_id": "01af94b782a40828d35fe9fd62b8878662d6b5fa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "e3c7220a5050f5e863ac8228e9fef7ebbc2c08da", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "de859c3887eccace3d14dab9e7557816778f6393", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c", "new_id": "3dda295035d5f75fe24c1053a46278fc62c724f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation/Precheck.c" }, { "type": "modify", "old_id": "5f0960b8ac559d7714e1c916faf811691ce0f900", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/RecommendedSpelling.c", "new_id": "06996a6e21b1e82ea9d2aa908c47ae41d4657cdd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/RecommendedSpelling.c" }, { "type": "modify", "old_id": "c2a4a4bfd128407c876a8b6bd53f291cc19aa88c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "5c0a422d9a9bc98cd129df60e5cc0db393093dfe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "ca629bc8437f0d1996934f153f037bcf94faf173", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "4055196b3ffecb3c94cc7e99cbb390f6f87dccc1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "3c367219e0d50eb08eadff9b9006501fbd461fac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Syntax.c", "new_id": "5c50dc0279aa2e6ee58c2e87a90ce7d081b9ad50", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Syntax.c" }, { "type": "modify", "old_id": "12118aa5ab61d6f6a11e0b0edc766e35ba1917a0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/AsAuxLemma.c", "new_id": "3655e5741bdf26a4467c0c208fa1cb1a6479110e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/AsAuxLemma.c" }, { "type": "modify", "old_id": "a8850e8dbba9b0900cc8a72bb38583f92507f071", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.c", "new_id": "6cc5dd79111f2acd664b67a05be3fd6d07414523", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.c" }, { "type": "modify", "old_id": "733f5d9befedc9f80595b886aa33e8b22c7a4242", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c", "new_id": "2dc0ce6e775e4017d31caaefc29de2d82369227a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c" }, { "type": "modify", "old_id": "8d1b69a5efa8f0c8c1c353905e5aed6b982faf04", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVTrace.c", "new_id": "523e645fa822789ffa0d2e44346947bd45020a09", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVTrace.c" }, { "type": "modify", "old_id": "5e908a62862fe40f1af488f8d9d2d43dbfe92e16", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.c", "new_id": "09af6dfe96b9467faabc2aa53f517457ff84c2fd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.c" }, { "type": "modify", "old_id": "ef202f474df1f7508550bd5898a474604508afae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/AC.c", "new_id": "93cadb884e9b7c165c44ae3b8e0daec2477ba7c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/AC.c" }, { "type": "modify", "old_id": "93f4e9639ffc527a1603d297a7ee3c31ccf647be", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Basic.c", "new_id": "a6798a69be9e45dfb5a5210fcffc572cccaa27ef", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Basic.c" }, { "type": "modify", "old_id": "f6f8863d24a47f58a1ecd6b7a6a8c61c845f130c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Simproc.c", "new_id": "451599ee02201e88b1f65d02ae9fe2128f4c45ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Simproc.c" }, { "type": "modify", "old_id": "4c7a5936ed5b41add0e89151a56273ae69f3ef92", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c", "new_id": "443649b446af8a049906e01be1f673351b677199", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c" }, { "type": "modify", "old_id": "3abeb503186139ea74067fb9c19a9c5cfd53f77f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c", "new_id": "3a5f2eda9f16438ac42f36cbf3cf99e286724a00", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c" }, { "type": "modify", "old_id": "0008a84841f671c9c2c973431422407bd5ca8ea9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Calc.c", "new_id": "f383e237f333a299e4c617bd6c39a4bd647354d6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Calc.c" }, { "type": "modify", "old_id": "20ab8c828cfbfde5de62309fe9c49687cea000f6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Change.c", "new_id": "56945ac04b7e2affa8358ae638e2a0417d5d1f52", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Change.c" }, { "type": "modify", "old_id": "9649e86808e559a2f5abed1d06dc394d2e99cedd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Classical.c", "new_id": "95d4eddf285bbdd5b98863b33582e926b69243b7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Classical.c" }, { "type": "modify", "old_id": "a8548e2f4792e84733cf090a25035799cd52ada8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Congr.c", "new_id": "be2111edd0497ad2f86f8d1da0bba51ab9afc393", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Congr.c" }, { "type": "modify", "old_id": "b7bffb20a28eafbe33495354f8dad7fbefba0d6a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c", "new_id": "99674a341add106681d7a2fd6b3c45699c325e22", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c" }, { "type": "modify", "old_id": "3f2b28daea40f93007ff3a9c7250027d29e3d274", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Change.c", "new_id": "09b1f76a8d6383867c9aed5500b28d522058eaf0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Change.c" }, { "type": "modify", "old_id": "2a1d0d4e2d480f09d3cbc729fdcc5ff036668a60", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c", "new_id": "2b615ba53ef1c739146f35be0fc916381eda9181", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c" }, { "type": "modify", "old_id": "63b8c71ccdcb57e5af365fd3c4ff5cc4eb83b8ec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Delta.c", "new_id": "624408a927fd2802ff8c3be88d12ac6f327d9dbd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Delta.c" }, { "type": "modify", "old_id": "07b9be997449a4660695688cf12d52f2f511679a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Lets.c", "new_id": "a834a81d9de014ed7531934cc38c9a762159aa53", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Lets.c" }, { "type": "modify", "old_id": "0fc012c43ce8ae8c61e0af886a53a218fef8e743", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c", "new_id": "d3d681200adb0037665aec80b9a1eb61cd51df75", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c" }, { "type": "modify", "old_id": "347eaabb1bf5f684c5bc07f57d3e277ac21773ef", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Rewrite.c", "new_id": "188c939abee53daed41fd52bd2debfd6c748f49e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Rewrite.c" }, { "type": "modify", "old_id": "1e03fc8ba172bb26d742aec0b2cf64503bb41dab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Simp.c", "new_id": "c4c4db04ec2430df01e46dda15108255d36fe405", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Simp.c" }, { "type": "modify", "old_id": "041f038b58085910fb9b23f7c0d8bcd291b0002c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Unfold.c", "new_id": "3bad0eed3a74f0066d93d89be02ba84096e02198", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Unfold.c" }, { "type": "modify", "old_id": "e6e88edee53e1768df9558419b06c7608e5223b2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Delta.c", "new_id": "4bff85fa07046725113493b26ddd3218139af48e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Delta.c" }, { "type": "modify", "old_id": "9088fb9312163904cdc7f201a5ec5480bc94cc53", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/DiscrTreeKey.c", "new_id": "fe61cddf87461f5ba56ede3f1abc2cea0b86ac80", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/DiscrTreeKey.c" }, { "type": "modify", "old_id": "b5494cb13db8e58d94c27dbffff24fa63c706503", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c", "new_id": "2b0b78b9dfcf47fb2320ce9c9b98fb3ec776adbf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c" }, { "type": "modify", "old_id": "e0f7d0dda5390c5c262fead7df1c4cd9d0740a1b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/LetElim.c", "new_id": "e1577ebe748ef54bacfd8967bd9a31acd8a751bc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/LetElim.c" }, { "type": "modify", "old_id": "7283af579095123c52eec824bafb5388e561da26", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Assumption.c", "new_id": "1a8f9dc3ee8232ea40ad386c8843901dc929d1af", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Assumption.c" }, { "type": "modify", "old_id": "f5073f48a48fa1565c691a06dd6f2af66baa3fe9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Basic.c", "new_id": "c7a6147684a0e7e3605b00b89ff98ef8e1598565", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Basic.c" }, { "type": "modify", "old_id": "6429f4dbd1620310c78f0b581049ae844dce2069", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Cases.c", "new_id": "5df1e4344c44d9e5d89b2426ea0ec2519b6e8003", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Cases.c" }, { "type": "modify", "old_id": "1c7159bf38a4e12a3722a3bacf62568bfbdb7855", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Clear.c", "new_id": "2580df0fc4763e22356682f4622b6c136ed0aca1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Clear.c" }, { "type": "modify", "old_id": "6473de304a9d407bf96a23e5fd382c079b18dd0d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Constructor.c", "new_id": "0544862ca21b64459c9042a2cccdc3b1dd1e5d48", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Constructor.c" }, { "type": "modify", "old_id": "b1bf80a98b6494060c6d88735333cd9f117c37c0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Exact.c", "new_id": "e67aa3f79d410b3479b156055788689322dec17b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Exact.c" }, { "type": "modify", "old_id": "30a9ecb631a190ffb0872aaa4f871abf1d849ecd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Exfalso.c", "new_id": "d8d6e51b8aaf682c0ab7f8e2611684615c78ba20", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Exfalso.c" }, { "type": "modify", "old_id": "41a5b0897008fc26d6c98f1144f5778f1fba5940", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Frame.c", "new_id": "ff47362e73626478e98e857ca4e4784a2ce4da37", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Frame.c" }, { "type": "modify", "old_id": "3d72e4a58d0b61cca9f97e812f577ea315bcc1f8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Have.c", "new_id": "01d0da8f4712e6d7d741bc202f2cd2a9683e3a39", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Have.c" }, { "type": "modify", "old_id": "b8b2cbb699e2a41b1dc7593505365a534547da7a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Intro.c", "new_id": "809eb1a3f31660c80f5f306cffe222239e86f924", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Intro.c" }, { "type": "modify", "old_id": "e92b2c19fd90fced91d8e0b13f4fe7f586624e47", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/LeftRight.c", "new_id": "617aa2c29256bbf9629c3e9630d8ea57e99b5f18", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/LeftRight.c" }, { "type": "modify", "old_id": "d2521e1209c7f6deddc6d8601148c692dc6d57f3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Pure.c", "new_id": "5f23ac06de5099848331cfda29160a3bbc837756", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Pure.c" }, { "type": "modify", "old_id": "987626aa9627415df6870ccb065988c5c87e5fe9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Refine.c", "new_id": "d44ce88fd3acc6e95fac1798307c399c268f2e6c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Refine.c" }, { "type": "modify", "old_id": "9c4247a3974538c2683fb2fd9d031ba3f6ffe249", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Revert.c", "new_id": "88aab2e272928cf281db119d13745710ddf844e2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Revert.c" }, { "type": "modify", "old_id": "e9ba53e16fcb605c63fbb1f7ca2f264fbffbc3d0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Specialize.c", "new_id": "7c8a0c1677928bed3be890fc8e4b2ea248b6b42b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/ProofMode/Specialize.c" }, { "type": "modify", "old_id": "fce87cc9f67b356ef6ad773c4130dd02746d41f6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c", "new_id": "0f35cce0179545eb5928a42858cbb6d51c18b1f3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c" }, { "type": "modify", "old_id": "7ae2d3365984b94c278edef5a3e5a6edfd7b6593", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c", "new_id": "3d17f6501aa29f54cb793c9eeaf1100f9239d893", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c" }, { "type": "modify", "old_id": "4ca567661a79ed6e170539fbf86c6ee2e6ec7d1d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Split.c", "new_id": "1c90bb312fb004dfac94b4f3e22352ca90bb448b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Split.c" }, { "type": "modify", "old_id": "188d52db8364eb7b2bbbcf387b953543926c1703", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/SuggestInvariant.c", "new_id": "cb7925fbca61867ea5b1f3dce6f5371b42560fdf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/SuggestInvariant.c" }, { "type": "modify", "old_id": "9200218fd968abf907048944b4695749169828df", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Doc.c", "new_id": "0f0196291420a98d5abc403aefa944b3b32fac24", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Doc.c" }, { "type": "modify", "old_id": "c5457feeee6f04a69c7a674e6d646be2e6d5b724", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c", "new_id": "d1448d9f598116425cb9b73b048787317508296a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c" }, { "type": "modify", "old_id": "92f495e3f2aeb7956975dcdb9f662394eac669c2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ExposeNames.c", "new_id": "0f9b924eb8aa94e10cf6eb6f7bd56fd503e1f3ac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ExposeNames.c" }, { "type": "modify", "old_id": "e70e36a4f4e32fc36d6d1f13017f8ecddb042896", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/FalseOrByContra.c", "new_id": "34966023146d2be056d6bc5e95b154fccc32a722", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/FalseOrByContra.c" }, { "type": "modify", "old_id": "7673f2b15bb4a89d146cbfd7592841c7eb6a3aaa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Generalize.c", "new_id": "6f704ea03045ea4dc0a3dcb903dcdbef85ebe920", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Generalize.c" }, { "type": "modify", "old_id": "3170ff382d98289ae2bbbaf53e0876a9a59ab648", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Basic.c", "new_id": "1a04f362196b7a71f25a3b51a6dd7f5f0ed8859e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Basic.c" }, { "type": "modify", "old_id": "3b6a6e46594b34335678491b6c69f88d0228c695", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/BuiltinTactic.c", "new_id": "2ce5ebc0f08e88dc5ce26bade060a112213bba3f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/BuiltinTactic.c" }, { "type": "modify", "old_id": "672927d47908bedd8dd2716b9f558b7dd913ca6d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c", "new_id": "b15a07ef117e30f3470efcee41f85d2c9dad2627", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c" }, { "type": "modify", "old_id": "1a9dc50d3df87f3feb0f66074c677c56a556f2db", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/ShowState.c", "new_id": "fe460f7e79548e8b62288ac120f5e8b96fae34d7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind/ShowState.c" }, { "type": "modify", "old_id": "4df38e850aff04c6a5693814418f6fd46ac5ad04", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Guard.c", "new_id": "ac2b6465f1b208eb7aca8b99a91479bfc509e9d1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Guard.c" }, { "type": "modify", "old_id": "134c1768319a740987eb27793275b5f944d2d5b1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Injection.c", "new_id": "9421a3a06d31382df0c0ef6c242821efb9c6038d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Injection.c" }, { "type": "modify", "old_id": "15439846c7fa3dfbb621dd02dad9b0c62adfaecf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Lets.c", "new_id": "4ef4291ab72f7222d5802c26add15f28e137f574", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Lets.c" }, { "type": "modify", "old_id": "a68951ec60ebccc588b985bed1473a6f6e4b4b8a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/LibrarySearch.c", "new_id": "30b8d8e2b07dc006aa964d8363f9547c7cbdb7d8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/LibrarySearch.c" }, { "type": "modify", "old_id": "a40c8749cefdff82fcfcac8852d17337d3e21d36", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c", "new_id": "c7515359b96949d2fac1d93c7971f0252f588fcc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c" }, { "type": "modify", "old_id": "3acf22a21b8e07e9c77fe336834ec48a9b5dcd1f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Monotonicity.c", "new_id": "bca83149b388a82b8bd7866b236776ec5b94c825", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Monotonicity.c" }, { "type": "modify", "old_id": "049abcab810407d6060e6c15bacdb2c0f6e9ad5d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c", "new_id": "9f4ab0e68ea15e10eff412c3a3c377db9a540ae9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c" }, { "type": "modify", "old_id": "1cd1999b49a270089310ea4c246f5ad9099c7f86", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c", "new_id": "1d037d872d8918395d38bc75049061fc629448de", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Core.c" }, { "type": "modify", "old_id": "2f4ccf9b4feaea02a73c4019245dfe70f30c14b2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Frontend.c", "new_id": "da721531a84c1b00426c42bd2cc48ac9e2033d2f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Omega/Frontend.c" }, { "type": "modify", "old_id": "2e2610d5a0d1246a68dd61e233239fad57df50eb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c", "new_id": "f1ecc550a8e616859bfb4ff07fea392a1b5d3b4c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/RCases.c" }, { "type": "modify", "old_id": "9eb5abd371447292402ecdfea4e378a8457d237b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Repeat.c", "new_id": "697db540975e8a37288d233922846b1892d8a542", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Repeat.c" }, { "type": "modify", "old_id": "d7e2035d1fc80b32a1da66cf674beaeeda7270eb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c", "new_id": "88e9c9aefd58671c02016afca8d80b1261426d35", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "5853140d86ccc9eb8ecbb2b8cf18cd1b13b42876", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrites.c", "new_id": "5a6ac90e4d193e113dbbe029f2ec3cc6663b541e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrites.c" }, { "type": "modify", "old_id": "ba833c4bcdb4f65295c82b0a6c795c6ac39d8879", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rfl.c", "new_id": "882514f6b1bc2128f19ce1ef57855b49f0a0cd17", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rfl.c" }, { "type": "modify", "old_id": "292c44e4971b54297a3eb8e071b5f20cac08ca2f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Show.c", "new_id": "6157ec8743340658388183c3a45d1c4d90a40f2f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Show.c" }, { "type": "modify", "old_id": "4690ed0b6653e4b9a9aec042e4ceeacb532d6339", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ShowTerm.c", "new_id": "4d87fcbf6ee082fc0a5c440943658b53f7d8ac78", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ShowTerm.c" }, { "type": "modify", "old_id": "92cc13182cc9dc14b8c5d422712cbe12ec2de729", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c", "new_id": "da803c7eff092c9248c17458bc100b8698df451f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c" }, { "type": "modify", "old_id": "8f5dccf9332d553be74cca40ba55a66f8522e200", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/SimpArith.c", "new_id": "d3c90d03ec6c48b0f8e3425f73369c1e6d5e0722", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/SimpArith.c" }, { "type": "modify", "old_id": "6b0b1a5b78d8cf6ceed15023248a4d8e8974f308", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c", "new_id": "2398138a98f9e7f2e2125e66dbf73682c4199ada", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c" }, { "type": "modify", "old_id": "08248af72e40a2bed8c42f28a7eb5caa563d151b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c", "new_id": "7a83803edfd062368e0830d5e32dbf41e1318e7a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simpa.c" }, { "type": "modify", "old_id": "3fb27f2667bb921950a4e9789cd1242b8ccea65b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simproc.c", "new_id": "cc90eab3e99b92aa977e5282d7b954d2d7ebe64e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simproc.c" }, { "type": "modify", "old_id": "1ba118d0ae4f6f9a0356d4135643698b130c75bf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/SolveByElim.c", "new_id": "a68ef537ec8ca7d893ede71c6414cbc2bcf9c80b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/SolveByElim.c" }, { "type": "modify", "old_id": "541eccb37f36cfc48c434e32c920302d94f56f03", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c", "new_id": "1295a7f20cb0c92388d9291ef5a61fbb1f505a65", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Split.c" }, { "type": "modify", "old_id": "b08e2820a72e709b675b983cf13ab65ec3c6f09a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Symm.c", "new_id": "30eb5c2ee325dbe3e3264563084f81ba897514ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Symm.c" }, { "type": "modify", "old_id": "093481854590680110e60ea96332a5783e9be25f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Try.c", "new_id": "68221ba0e555684c0dbc6f69cf179a9f4f344d5f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Try.c" }, { "type": "modify", "old_id": "be249b8f68dac0f5dacb8fd08a37751d7d3f86d3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Unfold.c", "new_id": "c65fa5e6becb258464ec91571f585df9fe94674e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Unfold.c" }, { "type": "modify", "old_id": "3e58da613815e567eabcd967f7fe7eb14c8e6b8c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term.c", "new_id": "125b17349ef53a3d45479c183714fc256185232b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term.c" }, { "type": "modify", "old_id": "b127368871acd1aaa293bcd588ec602f6611ef44", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term/TermElabM.c", "new_id": "f86410c11a54daec7e56f7967266e0fb8554d7c3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term/TermElabM.c" }, { "type": "modify", "old_id": "7f6a1fb1d7a238c81f40b4d33291c20ed5ab2ecc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Time.c", "new_id": "f45d84d09ba6d2af960be26cf74c1bf67823bdcc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Time.c" }, { "type": "modify", "old_id": "762510f61ed2a3cec1413b4d134b150160f6dfe7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Util.c", "new_id": "59e6238c180783b408545f92280333626a5b2d5c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Util.c" }, { "type": "modify", "old_id": "2d6f8c02ba1e3884f18f4bc5526b681604d2abbd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Environment.c", "new_id": "de21891248c1775d28e383ae6baa07d7662246f7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Environment.c" }, { "type": "modify", "old_id": "05e9264341faec8741d792491055019e39d8da58", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "9f9d0035e9c4c7ecbc7c81a88bca57f06d80bf12", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "55a0f85d582a06eeea446b163d52a4e3d35648ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Language/Basic.c", "new_id": "bbd994d51fe4314dda6d396456b2c690edcf26ed", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Basic.c" }, { "type": "modify", "old_id": "136df0601a95e08ca5d01f806966821ab61088d8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Language/Lean.c", "new_id": "cbba043339cfd2ffe6d4a8d344f093d5b1aa0702", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Language/Lean.c" }, { "type": "modify", "old_id": "71258cd19657c223b1c3b6502858d89dfddaadad", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Level.c", "new_id": "a8fc5cb7c65ba49bcd7be27a726920cd2707fbd9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Level.c" }, { "type": "modify", "old_id": "8ce99d3ae16dc0268905b5c24c84e4c5e40aff20", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Linter/MissingDocs.c", "new_id": "2d44a0da3bfa3c39046e4470765cc5f15cd3ee92", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Linter/MissingDocs.c" }, { "type": "modify", "old_id": "c97943744462e0c90c081a9ca6a818e12f9cb700", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LocalContext.c", "new_id": "4aff51d9d52ea7b8dbfe830fad2dc8032beab228", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LocalContext.c" }, { "type": "modify", "old_id": "3d88a204b9efb3967e002e16766b9f2143f093b7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Message.c", "new_id": "880a11311238e55a98a0f451905b49e344863092", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Message.c" }, { "type": "modify", "old_id": "8d38ce22f40cd8f7813905305010a412fbfa01b3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "12513bdcf62e28b744163a3f4bc338140957e5bf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "modify", "old_id": "339b62d8b22f385e2d977311ea946922f6c21c8a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Coe.c", "new_id": "2a481cb15e7d965d1b1e25bd1495378b350166b5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Coe.c" }, { "type": "modify", "old_id": "086a65d7d9c7128c6fbfb405caab1a437fbb790f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c", "new_id": "eb81a68c9b6f186e5080d85e716d6dab5844588b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c" }, { "type": "modify", "old_id": "1e0f11043e8006e12f160b76f49395cf897f7ed5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c", "new_id": "6a79ecc386c4b5c3d3faa5fd799ecffd92c73741", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c" }, { "type": "modify", "old_id": "a0b85fbcd01a541bb857dbfb01884aa1f0ab42ff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c", "new_id": "ec6144ef1723e08c45f8dad5d2d1520b7c3d9125", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c" }, { "type": "modify", "old_id": "32c30590307b14092dad76800645c3bdcee45698", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c", "new_id": "ef0c0cdd2225d6c67062b66ab6309731604b0033", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LazyDiscrTree.c" }, { "type": "modify", "old_id": "a7861b7caaff968989929fe96df3f64821e5082d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c", "new_id": "7d6d080bfe60ecd249a0b67f04aefca3dfa2a9ca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c" }, { "type": "modify", "old_id": "f5860fa79d1b06b704ff582a631424a2acf405ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchPatternAttr.c", "new_id": "d3fa9114f67b5ca1003b9f5ca723d78b31460ec1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchPatternAttr.c" }, { "type": "modify", "old_id": "612ffb1788caa0e4c51c6bc107efc2e6a8334f65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c", "new_id": "d64c1654dad147a387a3d0fac5363a73f4c85449", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c" }, { "type": "modify", "old_id": "0d9d48198a2cccbb16749d3a563c19142ef42a13", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c", "new_id": "254f53dd6ea240b458670757d215db4824423af6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c" }, { "type": "modify", "old_id": "e524bfa44405403e82522e17f8fde323683f3d7b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind.c", "new_id": "1b80fe25d428d98d0c953316159a8de7241b06a2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind.c" }, { "type": "modify", "old_id": "9c3f6004f4780bc2599b7aaf478f2c10cefaa8b6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Action.c", "new_id": "2ea7217d017349a10552267f56f798f8c898f9dc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Action.c" }, { "type": "modify", "old_id": "2ca7bb2ae0b92ca62865e9a415e6397baa7bff72", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.c", "new_id": "cd747fa37e8e0936255ddfcd6752b76db4760f16", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.c" }, { "type": "modify", "old_id": "5c07d3e6e7f00259d35cd8df2d442762f7184e67", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Proof.c", "new_id": "befaa3eb97cc7a22a6db89c37f8151bf506eeb67", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Proof.c" }, { "type": "modify", "old_id": "44f1bb836323d77b3e5000571dc4276da5de9273", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.c", "new_id": "44c17c9088521af255463ea7c7bfa8c7373a894d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.c" }, { "type": "modify", "old_id": "57b2df03e28f2d0045b86e8723d28310cc8ca7ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Main.c", "new_id": "42812a2aa6922716dea4297ccb5effa1bc41ec36", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Main.c" }, { "type": "modify", "old_id": "051b2fa78ea7fdaf975b04f0edd0bad1365807d5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatch.c", "new_id": "9e757702ce457e97db258194ff2a5fd8d6509acf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatch.c" }, { "type": "modify", "old_id": "57375a26cfd795f9b2530d7ce9b7392f32c4a632", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchAction.c", "new_id": "f67c1651c88c952e34fd2532b87eeb367506e0c3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchAction.c" }, { "type": "modify", "old_id": "5df4f08858c246ec0238f61ae0a2e42986805e99", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c", "new_id": "a3b9815f986a35aaca3913065f2f7fbf5c67cc21", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "97416514196bd53d0d4c2ac99d86f3161739d64f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheoremParam.c" }, { "type": "modify", "old_id": "afb7ee05285ae33e0777d9a14df2b6b6cb2f4b67", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/ForallProp.c", "new_id": "097ec4e659c299e963424be7dee0af4336eba8f1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/ForallProp.c" }, { "type": "modify", "old_id": "b98c4a944f0be0bfbf727d2d179b38a02172de58", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Intro.c", "new_id": "759b465aab6858b888176c8990d312346b7c7b73", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Intro.c" }, { "type": "modify", "old_id": "4cbccd01bbc78dbb43b9573deb143a3495cc1e05", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Lookahead.c", "new_id": "578f8a8803a414bb7092ce1577e4616fe4ca313c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Lookahead.c" }, { "type": "modify", "old_id": "0096ffaa6b85b544758754f491f48036000dfebd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MatchCond.c", "new_id": "37e7dbf79fa56ff6f27cfbcc620b9f0e68439d24", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/MatchCond.c" }, { "type": "modify", "old_id": "100f961152566070750b1b5e02bd087e9642eb04", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Parser.c", "new_id": "f88118f27bcb8ac763557752eb6c8c3ab6ada64a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Parser.c" }, { "type": "modify", "old_id": "a2798a6d0208fe24bf96e697c99b886bec1909d9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Propagate.c", "new_id": "2aae14d67f9e76ecc33b9e9f72147f9fc79f40fe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Propagate.c" }, { "type": "modify", "old_id": "961a4f7aff95c20ee6e1299d419f4cd0a813e292", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Solve.c", "new_id": "7b0f3f23cbdb20ced9f1b2b7ea76642fc0c4fc73", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Solve.c" }, { "type": "modify", "old_id": "5e2191b21bf3f464b6889cef3ef9085970e06b9b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Split.c", "new_id": "11c319117de7551526260131511e58a0865892fd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Split.c" }, { "type": "modify", "old_id": "d99c36bb64f1045fd419b98d38e6595944339ef8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Types.c", "new_id": "e55be2468d1e365b4f2a0dfffa96a680d7f23a28", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Types.c" }, { "type": "modify", "old_id": "d1aa8dd31b1d246d9867980f8b817792f13e0e0f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Array.c", "new_id": "aad18c2be9a5d193c4b2a1d62dce74622ad72f7d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Array.c" }, { "type": "modify", "old_id": "d80e118f082ea8e4f8f9fc2de209da3b081142bd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.c", "new_id": "88c6005d160e498f8340503022d142031567fc53", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.c" }, { "type": "modify", "old_id": "dd66920d1bb1074fa4c755871376847ddfbbe0c1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.c", "new_id": "1bf7bfd5a8dab9feb408209a8f9b0e8e80203142", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.c" }, { "type": "modify", "old_id": "6f1a6bef056eb67ddf44482cffe67522218d55bb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c", "new_id": "e27cbf3723939e620d6a0fca4a8e6c6e6607742b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c" }, { "type": "modify", "old_id": "df70325d3b7b2d5625d0503f3fd855ac310e60df", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c", "new_id": "2854b5a33cce254898ebdef5ed1bb447687f6255", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c" }, { "type": "modify", "old_id": "b20e7fbf0e31fc3e9e7b49880344c3e5d9f901f7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c", "new_id": "a020147b7440629899695e7b06412899dfc4cd79", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c" }, { "type": "modify", "old_id": "45e7b0c77fb3112b10e26ec581dd9fa32a02a1ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/List.c", "new_id": "61268c6db667e3362919d7b452c20b347e2d2d68", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/List.c" }, { "type": "modify", "old_id": "2b4f11d2583edafc48035a7947a0a43620cf74a6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c", "new_id": "26f5ebc551b73e04bb037567325986723395dd20", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c" }, { "type": "modify", "old_id": "651b6aa68bc92b490a739e07ab570297b169160b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/SInt.c", "new_id": "8dc26e7735e90da73edefac4e92bda3496ad2e64", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/SInt.c" }, { "type": "modify", "old_id": "13e94869d8fa293a67c4e92a55b3e20e1e8ba4f8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.c", "new_id": "bdf63f6874cd852589b18cc3748bce417416f9b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.c" }, { "type": "modify", "old_id": "665aab621963f2fb4235f92f415a26d2149c2d47", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c", "new_id": "62c81fd3226296b0fa13e04eb5f9f8f94e3da1f1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c" }, { "type": "modify", "old_id": "7813dec650c3a060bc5b667ee4fe9632f8f9bb7a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c", "new_id": "e98749e4e26243cb738d9fe3aae039d662abe3c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c" }, { "type": "modify", "old_id": "ff16e53da9586ef224b7dcdbd497b8a64f71cde8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c", "new_id": "523951967b8cf73d145fcc86d0077fdc78a8cb94", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c" }, { "type": "modify", "old_id": "7a8235c308b71c176b3e0b50a436e41ec6712899", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c", "new_id": "078f0d264f7c8470b886be0a56f69a1a5266353a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/TryThis.c" }, { "type": "modify", "old_id": "c982208989381e2390db690978dbe5e091b5530d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c", "new_id": "4567614e678fc7a5e51ab5f70abd9417499236eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c" }, { "type": "modify", "old_id": "d445cfe608e3c58ba071da30dd4727c96e438189", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "7c1ea8007efb4409cae5b028014558f66e4a3cc0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "6ce442e4a8e848f15478641761f27985de54ed33", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/TryThis.c", "new_id": "b1215d32c81bf5eefb12ad5073f63dc7014d8436", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/TryThis.c" }, { "type": "modify", "old_id": "bdefc80044f7ce5603ff5dcd14beb4ee3a9f886f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/WHNF.c", "new_id": "8f296c2f28421251f2fd1d797220b7bda2b08891", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/WHNF.c" }, { "type": "modify", "old_id": "c1630108ff33cd956e83d4bb0115b981be63c2e4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "9eca441889cae366e8fdfc09309bea07aff9f5bf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "dbad46a92eccc96666e715c5c13b06c8fece719c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser.c", "new_id": "fdb5a19edcb17d8f2909c65494c2c8c43b3e1cb7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser.c" }, { "type": "modify", "old_id": "3efe3f4ae9f0f58dddeaacd59d36870e73917a10", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Attr.c", "new_id": "6cdd369b796b8859327bb9adad41c52851d5992c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Attr.c" }, { "type": "modify", "old_id": "a7d053ce8fd297840c8f794f1d3de5a45cfa619f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Basic.c", "new_id": "dae9b0bab09d2afcf7975683ce79b03d605dd950", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Basic.c" }, { "type": "modify", "old_id": "13ad7ea14c16ab4c642f75e03c34416ca60df42d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Command.c", "new_id": "0a33b0b42573ff9cc2ddf7c7cc7ef3e52787678b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Command.c" }, { "type": "modify", "old_id": "66dafeb2c52908c220cf3fa69144966f78da87d6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Do.c", "new_id": "f32264529c9814ce1945f19015643a937750b7ea", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Do.c" }, { "type": "modify", "old_id": "acbdac9dc7432349326fd1eb75d82122d49d2b0b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extra.c", "new_id": "4901019f67ac1fd74a85e029111ceac15cb2f896", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extra.c" }, { "type": "modify", "old_id": "1ad23777cd352555d9747805349cc4a336946b9b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Level.c", "new_id": "6e7e74bfaeddcdd93975ce429d7d8f51e5e9d855", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Level.c" }, { "type": "modify", "old_id": "448bfbd6f80cf6388c765975e1ffed91bff6332d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Module.c", "new_id": "32929b6c1d11e0fa4a2f504ea1e715cc89021aaf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Module.c" }, { "type": "modify", "old_id": "1d51c855c5f3213fe90a0e03b5d3469f09b46c59", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c", "new_id": "4fe9f528989fa16a79075adb8574661a8825b54f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c" }, { "type": "modify", "old_id": "671182b8e019f9f52c1a3ac8e5629abbe037ab87", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Syntax.c", "new_id": "53ce26c045a858f9c7348a8e5cf3a38ada677ab0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Syntax.c" }, { "type": "modify", "old_id": "b4d061774cd76952fa36411ac57f741169549644", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Tactic.c", "new_id": "32e242e5a18ae024165fad8ad8bc49e258ff5bf5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Tactic.c" }, { "type": "modify", "old_id": "e11ac37520bc36252605ac7e9201e2d45e4881ea", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Term.c", "new_id": "79170001bf437e8f5c441a01eb75aa1ec8ed8bbc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Term.c" }, { "type": "modify", "old_id": "56f207ee159a91b6a2fe80d5e6269323fcd187af", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Term/Basic.c", "new_id": "720c74b6ae8401a7a32bb775311daa3557cb8261", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Term/Basic.c" }, { "type": "modify", "old_id": "a9a8010e3dc85fb31728a232148b336e854c0c65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Types.c", "new_id": "d195d4d07ba45762ab65fe57c7fc0452c4eac9f8", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Types.c" }, { "type": "modify", "old_id": "5a366979e4708aa333d90029d9a65b1a826fb7d3", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PremiseSelection/Basic.c", "new_id": "bf9569a634138d725b22f4ee4f2149740487b176", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PremiseSelection/Basic.c" }, { "type": "modify", "old_id": "a1951b3f96329dc928f199062c38d4c5838d224f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PremiseSelection/MePo.c", "new_id": "6ffd300537ebbd5ce844ddd15ee26c2151515fda", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PremiseSelection/MePo.c" }, { "type": "modify", "old_id": "81f8cf0f63e4e9711ad3f0e12bec71b0be27cda6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Attributes.c", "new_id": "c3bb20033ab3e8c3355fbd15bb6fe55fe1c74657", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Attributes.c" }, { "type": "modify", "old_id": "f6ecbd3ebd990efc16c43672109605754fbd35be", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c", "new_id": "9695b0ebb65b291680f3fa140088755b4fa8f017", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c" }, { "type": "modify", "old_id": "87748f3b2886702e0ce666b3c6add3b05a69facd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c", "new_id": "de1eec14261fabd04bd135f94b4b6ed35824210f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c" }, { "type": "modify", "old_id": "55448bd9dacf198d91fb4f421daeae5614970f4f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c", "new_id": "aa9940b27b5ba7e787829d522adffdcc95b48ba4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c" }, { "type": "modify", "old_id": "33247020a5cd9b38b10200473d78cc511fc28eb7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c", "new_id": "2aab8e0775222ad2405915f265a71c6a72ee19ab", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c" }, { "type": "modify", "old_id": "8d913ccf9a3db5b2d224165dea59b708693b34fc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/CodeActions/Provider.c", "new_id": "9efaa90ae0b66fa3e2f3c85467f3650488602dc9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/CodeActions/Provider.c" }, { "type": "modify", "old_id": "b7c743cb99ed05763f098e58fdca574f6e0fb1aa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Completion/CompletionUtils.c", "new_id": "f42b8a93458fd7c0242d33590d103b63f6168e57", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Completion/CompletionUtils.c" }, { "type": "modify", "old_id": "ecb299a4e2d76ba241007768226f47ec89dc9225", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Test/Runner.c", "new_id": "972ba0759c4cb3a535c3ab9de5753092847b74e3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Test/Runner.c" }, { "type": "modify", "old_id": "f5263d2aea35510ebdb8e9ebfe067698d6ac3bf7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Watchdog.c", "new_id": "6b676910d7ff64d44747cdcc651e4ffad79ac00b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Watchdog.c" }, { "type": "modify", "old_id": "69ce4333266004c0c8c4fc04f2c6c702324278b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Setup.c", "new_id": "c4cb0a411a6dc1c784811e458409d485edf15fd0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Setup.c" }, { "type": "modify", "old_id": "560af11fcd911b818c42181e80bd23353a7fc1de", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/LeanOptions.c", "new_id": "d9c40bf4c04961349832a17ff5952272b9637e04", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/LeanOptions.c" }, { "type": "modify", "old_id": "bc5add5d757524ebf5063ddd7da420ee4318fdb2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Trace.c", "new_id": "479433319f8bc56246368e79af28987876b01c0b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Trace.c" }, { "type": "modify", "old_id": "0f3829f25c2e04417ddefc32529a6051e0602b9e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c", "new_id": "74f8719306a34b0739df6e70f059b077d7007474", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c" }, { "type": "modify", "old_id": "01d48fc90c93ebd7976a1176da94ab81b2566e6c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Widget/UserWidget.c", "new_id": "92f8dbe5e494ed1e96ae9dd2b792370df12c18cc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Widget/UserWidget.c" }, { "type": "modify", "old_id": "f070287e1d09164ac585928e0c20bcb565a14de0", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/DTreeMap/Internal/Operations.c", "new_id": "6a28f07881977a4f49592660f5cadffdbcc46b5d", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/DTreeMap/Internal/Operations.c" }, { "type": "modify", "old_id": "081e982e60af9fe74220b0958be7b707c91a4c8b", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/ExtTreeSet/Basic.c", "new_id": "9f1843268ddfff95f63881990fe993c742bd9111", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/ExtTreeSet/Basic.c" }, { "type": "modify", "old_id": "3583805e9e2843b7a7453df796bda25b7e210b13", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/TreeSet/Basic.c", "new_id": "1c556e20c3bca41da591d2b737eed353b28c4b57", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/TreeSet/Basic.c" }, { "type": "modify", "old_id": "a8291c3c464586631eae2cf8aa3ae5c0f23041f6", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Sat/AIG/Basic.c", "new_id": "f423d135f1d1efd24865b9f52f2c3c3fef42f4dd", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Sat/AIG/Basic.c" }, { "type": "modify", "old_id": "aff76a1cf09bf048316eb2a577080048304674fe", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Basic.c", "new_id": "e39d7f4985e32015e83c513eca88fdc921017990", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Tactic/BVDecide/Bitblast/BVExpr/Basic.c" }, { "type": "modify", "old_id": "0db3d767ff036efd462004f094bbb0955256a923", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Tactic/Do/Syntax.c", "new_id": "8367aa970377079ed6037260f7513bdb8b330e5a", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Tactic/Do/Syntax.c" }, { "type": "modify", "old_id": "59b7e07e7621522b4cc800e0b9c8c73b2986a5a0", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Time/Format/Basic.c", "new_id": "b1cbb02b81f84d1cd7c0ee2e8050967d9e32c82e", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Time/Format/Basic.c" }, { "type": "modify", "old_id": "d82bc644b76690a605e4c65bba9bf80f43010a41", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Time/Zoned/Offset.c", "new_id": "9da3cbb6cce13f6a50371f8a531cc89ecdf35153", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Time/Zoned/Offset.c" } ] }