)]}' { "commit": "3e59802ae4159e18601a183e2eb805d97d4ad2f0", "tree": "bc41b6ea967e8237f6c0bd6aadb2ada514d4c4c3", "parents": [ "9637af07dbf6c4d963f49ba26af7fcf9785a8241" ], "author": { "name": "Sebastian Ullrich", "email": "sebasti@nullri.ch", "time": "Tue Oct 13 11:36:36 2020 +0200" }, "committer": { "name": "Sebastian Ullrich", "email": "sebasti@nullri.ch", "time": "Tue Oct 13 11:36:36 2020 +0200" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "dd41eb932c71850fdae22cefbac8435193d47b9e", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Coe.c", "new_id": "defb0f12c7a0c1462ce4ae968feb2d0881124296", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Coe.c" }, { "type": "modify", "old_id": "865c8db632b477102f2954e938d23dd0aa509557", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/Alternative.c", "new_id": "11c55c0179de0f3fe81dea8c70582b95ac40b145", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/Alternative.c" }, { "type": "modify", "old_id": "200dcb2bf3504e4e566e0ed8bd1953b797080620", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/Conditional.c", "new_id": "bffa755524a6f96b91d63c6d68bd543c9123eb10", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/Conditional.c" }, { "type": "modify", "old_id": "1c986102824bfbcd0d78db7ad0e4a815f3b77037", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/EState.c", "new_id": "16af7ff433344b813ed8e0ce38fa472efb9b3cb6", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/EState.c" }, { "type": "modify", "old_id": "4cd198d2c96a1010a58f173704860b2d7bb17cf1", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/Except.c", "new_id": "ccf14b40cc9d33f06a9f9b59088455c6378b3a9e", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/Except.c" }, { "type": "modify", "old_id": "edc2105f2ee035c334943abeb3a4b5ebaaa49a49", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/Id.c", "new_id": "ec575d7703bc66bcfd0267dc87c2138a9e3763d6", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/Id.c" }, { "type": "modify", "old_id": "64f5b4899fefceb98512a57b5131eb8669d059ff", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/MonadControl.c", "new_id": "1214009b84dd58674ab364f752979aa1b734d756", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/MonadControl.c" }, { "type": "modify", "old_id": "388f40daac74496f95be05de3e4e181e0c5118fb", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Control/Reader.c", "new_id": "cf44875c2427c2701ec0c6b218a9dc2bc2be716f", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Control/Reader.c" }, { "type": "modify", "old_id": "46075ae64b64f68b199139e16704c924f804d29e", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Core.c", "new_id": "199d267eaab447257af1f21025f17824517350e4", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Core.c" }, { "type": "modify", "old_id": "5d2ae99ff03e0bc2183393f38c73c5b77b3dc869", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/Basic.c", "new_id": "5646bb876c9441c90912d749dcde3f9c09f1fb00", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/Basic.c" }, { "type": "modify", "old_id": "9dcdd790363461f891f9685ceb02ff0963ad2619", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/Macros.c", "new_id": "f9abe4c031c6ba409227aacdbf9342d01b7eff10", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/Macros.c" }, { "type": "modify", "old_id": "0b9dea7e1c38076f893b15444e9ccd3018c0752d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Array/Subarray.c", "new_id": "2918ce570163ec2e6492eb748eb092bbb218adb4", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Array/Subarray.c" }, { "type": "modify", "old_id": "08c434c1cd3fac914439607e181c936da159cc6c", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/ByteArray/Basic.c", "new_id": "5e63413525b676263fdb43860447b5434d391f46", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/ByteArray/Basic.c" }, { "type": "modify", "old_id": "ea40e44d2941ebb7920d3cb7b3faccd4ea29956a", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Char/Basic.c", "new_id": "31b080fdef6d2717159594b4ffb0948d696aceb2", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Char/Basic.c" }, { "type": "modify", "old_id": "236bec9d3bb149212a4542f8632b20fcadef1c5d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Float.c", "new_id": "49bf0533ff1cfbb0c96064581e4b5bf030510060", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Float.c" }, { "type": "modify", "old_id": "3a457f31b8ef21be8a8f0bc337b4847987aa141b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/FloatArray/Basic.c", "new_id": "869cd7698477f8737068ce533fe54f872e0a5961", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/FloatArray/Basic.c" }, { "type": "modify", "old_id": "c0047a22bc6442a5da14309544f41c10f6873a8f", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Hashable.c", "new_id": "2f14dc6ab34fa3d9ca7341f583d87bd0c60df01f", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Hashable.c" }, { "type": "modify", "old_id": "742a6fd878fcfbdffbb33fac19cecf0b73835893", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Int/Basic.c", "new_id": "87a3f1bc85593861e095cf751bed57d2ea971946", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Int/Basic.c" }, { "type": "modify", "old_id": "c87c8f02289e8632a3115dac6768ef5e175df918", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/Basic.c", "new_id": "f40a8ba8303023b136423d7ab099b82aedd6f4f2", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Basic.c" }, { "type": "modify", "old_id": "9d7b1e80b2cf0fb0843fe9cd3cf16354fa614ed1", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/BasicAux.c", "new_id": "8a706198b1468caa67c950ff3006f220c0711ace", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/BasicAux.c" }, { "type": "modify", "old_id": "340a4204943927a63f65cc5436f56557fd63b793", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/List/Control.c", "new_id": "009bb5b1fe1c6b54624baf9e6b10e330c81a0328", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/List/Control.c" }, { "type": "modify", "old_id": "1fe5b3a94884c173d7ebcf7d255ee306604acf4e", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Nat/Basic.c", "new_id": "5b85a56ec5249db935e9af058855e505b9f2daaa", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Nat/Basic.c" }, { "type": "modify", "old_id": "30fe4733d1033ba776653504ed4645a14388b96b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Nat/Div.c", "new_id": "a11dcaf10ec506893cffb0ae9a54e5b222907c38", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Nat/Div.c" }, { "type": "modify", "old_id": "7f67cb934fd9016fa8b46b574cddc1abb354fd72", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Option/Basic.c", "new_id": "9ddfdc21c9a334e51e55798aa656e385a62952ae", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Option/Basic.c" }, { "type": "modify", "old_id": "2d9f2a65ce1a81137cd7a415aae055da1fee7dae", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Option/BasicAux.c", "new_id": "5f4846be9674a3eb2c5a6c43e09450070f680fa7", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Option/BasicAux.c" }, { "type": "modify", "old_id": "6f13b06cc53c4e83ce008f13d1ab2164511749b2", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Random.c", "new_id": "e0a45ce4f9fa0e9bd70f0b7d4622ee14a9235b3f", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Random.c" }, { "type": "modify", "old_id": "6f9d3ecf9c358c986ea738ea04b94b25f554e01b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Range.c", "new_id": "d86a2400f57151bdb45bb9aaf635de0f5f912411", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Range.c" }, { "type": "modify", "old_id": "8e018ddefbae92b35881603cfd1b06c9807ff575", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/Repr.c", "new_id": "be15c8c30fb73be513e5cdb0e59cbf6d724666af", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/Repr.c" }, { "type": "modify", "old_id": "9e07512b88c97f1b78decb75bd2de639498c8533", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/String/Basic.c", "new_id": "aff0f0f51146d4980ec871befc16db3978c96f1a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/String/Basic.c" }, { "type": "modify", "old_id": "6ff107da9507581118146383afe7f343bc77add1", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/String/Extra.c", "new_id": "2f538e382dc53bb7c1d189bd1641b49b8f4f9d7a", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/String/Extra.c" }, { "type": "modify", "old_id": "8a9abadec6d97869bc115f312d70656bdd1e5f4d", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/ToString/Basic.c", "new_id": "f865623a4be04c61a7a2e876274b44bf92866413", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/ToString/Basic.c" }, { "type": "modify", "old_id": "c6014994e535234776c8fe9f8aba23199b8ce22b", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/ToString/Macro.c", "new_id": "98695c938c8a7c76ce95175d3bc8eaa71df1af5b", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/ToString/Macro.c" }, { "type": "modify", "old_id": "01a50903120a01d4b90e15e4d4b0979352c22c98", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/UInt.c", "new_id": "44828b89cf43588d70cb2be963697b0f8831d506", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/UInt.c" }, { "type": "modify", "old_id": "37aba181e55cf2ac3e2d6d408bd4f0752de43064", "old_mode": 33188, "old_path": "stage0/stdlib/Init/HasCoe.c", "new_id": "a7012a95c66fbb782387588877250c6dbd3391f1", "new_mode": 33188, "new_path": "stage0/stdlib/Init/HasCoe.c" }, { "type": "modify", "old_id": "60526e16cca062d1a8d1cc71918e936307b0f075", "old_mode": 33188, "old_path": "stage0/stdlib/Init/LeanInit.c", "new_id": "03d74a4a3edb3cefb6067c39cd835b834d2b0290", "new_mode": 33188, "new_path": "stage0/stdlib/Init/LeanInit.c" }, { "type": "modify", "old_id": "3296029de52e13b54a36439c83fbcfef82545d54", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/FilePath.c", "new_id": "941fc8e0e3e76de945de8658c7fecbf7eceb6b9b", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/FilePath.c" }, { "type": "modify", "old_id": "07b4ff82d5fa56ff34430a606711a3f5987e6908", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IO.c", "new_id": "32e18072e5ff004f86e99b93808eefbbd6100bd6", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IO.c" }, { "type": "modify", "old_id": "6a01d2f61502c5e564797e404cb4aec1ca69bd62", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IOError.c", "new_id": "154b618026c3895373d41e55dfebbe17002a05ec", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IOError.c" }, { "type": "modify", "old_id": "c7b570eead972ca7a779afe67e3062b8de24abab", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/Platform.c", "new_id": "4ff93648ba14bf21d43c2b8e4b74310ba9dd407d", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/Platform.c" }, { "type": "modify", "old_id": "bcae790e91f514f4ef7ddc8ae6a5292c3f965130", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/ST.c", "new_id": "57098f5050fcc0f2cb407e3f49e0128fdf58d591", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/ST.c" }, { "type": "modify", "old_id": "e030a845e24cff517dfbe552d7a75b75ac371ddf", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Util.c", "new_id": "2c63305962bd78e6f455118a6ff4dbe887ea746b", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Util.c" }, { "type": "modify", "old_id": "2b8bd26010805841a04e44f7ddd3032f90bca1d5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Attributes.c", "new_id": "78faea19a0dea252d9d5cfe3680d3db077daf68d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Attributes.c" }, { "type": "modify", "old_id": "d223b20886862ab11813423fe53df90ecdd24ca7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/AuxRecursor.c", "new_id": "adb52902617cddaf999140b095b3f10825dd1a64", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/AuxRecursor.c" }, { "type": "modify", "old_id": "565b941a04454e4dca90fcebf07de7cf5acceef0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Class.c", "new_id": "993e92212b17552cc6911c51f896f1934c6a7a60", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Class.c" }, { "type": "modify", "old_id": "0682ce742834cc2820789f9ff1b7af8439cbdab6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ClosedTermCache.c", "new_id": "a92e747846d91590edaa536c07ffad3303a3dcf3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ClosedTermCache.c" }, { "type": "modify", "old_id": "a9b99ae1c6d7fef14a63102390fc15527f3b9040", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ConstFolding.c", "new_id": "f628e7dcbe7edf1e121d646435528a8bf81dcfc6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ConstFolding.c" }, { "type": "modify", "old_id": "58917ff6a172081868dd552968dc86397aac1132", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c", "new_id": "0e8dc54e861b2b9850eed616bf6ade5a9e324c60", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c" }, { "type": "modify", "old_id": "2ccae631631a9147f806d7882d167b6ec406d7ac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c", "new_id": "6168f6dc29a0471c02c2015833b90673374d1dad", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c" }, { "type": "modify", "old_id": "fd9ee70d98fa34d207e4911d094649b90fb1da6e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR.c", "new_id": "818cc880116cd6ee3879555bf3c46907cca1f266", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR.c" }, { "type": "modify", "old_id": "7c010684ef9c544cdfa5e91b0b1d2deb76f9b656", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c", "new_id": "5f69aa5a7b98ad97292c494fb03c08cbad86dd91", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c" }, { "type": "modify", "old_id": "7a236b0ebdead510eeae6d63caa7fd264f8590c7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c", "new_id": "e34391b27f91ad82c15008b212e716a0521de6c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Borrow.c" }, { "type": "modify", "old_id": "6bee74e64daa3392e73e81bd98acd5bdfb178da2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Boxing.c", "new_id": "27c8153ddbe609681d4c4329e08d2d0c0d08d0b3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Boxing.c" }, { "type": "modify", "old_id": "5c8c80a6b983ca8d91871f48d89d2519b600cfbd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Checker.c", "new_id": "ed806c2558726dabf43d3bfbc0d3208c8aaac02e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Checker.c" }, { "type": "modify", "old_id": "790bb7c73ce45f7f1858feef550bb4dc5441cd65", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c", "new_id": "dd3bab23fb8f7dd8f08b29a44085cdfc29bdf4d7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c" }, { "type": "modify", "old_id": "984b50f2b2cb45aeb4ba4762d36c613a393207cb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/CtorLayout.c", "new_id": "e4357b3b1e5d9443be7c61d6588e41a81a14f048", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/CtorLayout.c" }, { "type": "modify", "old_id": "dd633717bb99890258066ea462d1dbdea8310776", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c", "new_id": "68d1626f63ff32489a5a15c51bd25521a9871b34", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c" }, { "type": "modify", "old_id": "56c29ba0f59c39220cfc3df96d0d4d4ba44deed0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c", "new_id": "6ed8376d3d9b905f001d19bf640a8d9522e4b628", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitC.c" }, { "type": "modify", "old_id": "bdd4004e815f6e3564506c0e715671e1e378be4f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/EmitUtil.c", "new_id": "36e7e850facf5b79a6b7bc515c22b24a74e41254", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/EmitUtil.c" }, { "type": "modify", "old_id": "f89a31528662706feedb556d40f2ec2435363a36", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/ExpandResetReuse.c", "new_id": "d42744bc863d01ac20403cb840326929a53e35e6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/ExpandResetReuse.c" }, { "type": "modify", "old_id": "17df4ab817efdc1123dc223bf3329b41c5cb9d34", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/Format.c", "new_id": "d023174b3b3e2bffdf0c8dc392907e90b5370281", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/Format.c" }, { "type": "modify", "old_id": "9299cced33c2a153443847bc52073189ba030590", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/FreeVars.c", "new_id": "5ff9a532ef9d3da6d36f23dfbdb035884ee19d8b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/FreeVars.c" }, { "type": "modify", "old_id": "ccdacd15fa7619bc03ff63b80838562734238a1c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/LiveVars.c", "new_id": "a15d20d32e4d1076e4223e62270b1c62e188e77d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/LiveVars.c" }, { "type": "modify", "old_id": "f12b5b041148140c92935c40c694a426f995c768", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/RC.c", "new_id": "f2104cd43e090982f2794428e56e43bdcc6dfa38", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/RC.c" }, { "type": "modify", "old_id": "347aa8f22b73a9fe36733bc0380925d3955deff0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/IR/UnboxResult.c", "new_id": "e4a0d0baeeb42ad75450bfb1011e8bccf2b3701b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/IR/UnboxResult.c" }, { "type": "modify", "old_id": "42839f53eccd397f7c713d2eb50f286af315b02f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c", "new_id": "e4bdcb5df5b01c21285fa9831dae5d1a1869fe4b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c" }, { "type": "modify", "old_id": "f728ce8f4adfa450e05f26558ab22169c96c77e7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InitAttr.c", "new_id": "aafef049a9534c8b8998f79f8eb217ec1fdfa164", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InitAttr.c" }, { "type": "modify", "old_id": "55f9da84c129586c1971d5208fb6ce92d56d56b5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c", "new_id": "21b640c191a942a330187ad19af05ee0ec825df4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c" }, { "type": "modify", "old_id": "ca529a1013252923c46c3ea2c163ea478db1cbd1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/NameMangling.c", "new_id": "449bdc14afa53b523c37c38e363a64f4bd07741f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/NameMangling.c" }, { "type": "modify", "old_id": "386222accc93d52fe034aba843f6e825a654c881", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/NeverExtractAttr.c", "new_id": "b1deca63b97fed1f89be0b10af937eca11cce5bf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/NeverExtractAttr.c" }, { "type": "modify", "old_id": "cb63bc232296d37288fa64e018fd5d05eb458b77", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Specialize.c", "new_id": "f1a62eae826a92a404a06bd5230ff31b4ab10ecb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Specialize.c" }, { "type": "modify", "old_id": "8a993377e736175f2f3049854c4de56f944ac417", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/Util.c", "new_id": "2edfdbd1e3bc79e21a50c44dd90c77a86ffff86c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/Util.c" }, { "type": "modify", "old_id": "5f761f56a190a0a9788011c2c9a0046fe2328dec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/CoreM.c", "new_id": "5e4ce5987cf32cf5a944fbbfbb93788c4ac8fbff", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/CoreM.c" }, { "type": "modify", "old_id": "b1b1c7d3d37a66f0c0a0a75caa9892c9f1657970", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Format.c", "new_id": "d032dd130656f5560df90ee26b0b21303429ed68", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Format.c" }, { "type": "modify", "old_id": "e04dfde9cd7c5d22895b92c59ac2fa30ee6d9508", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Basic.c", "new_id": "136a14eab5c680d03d4fad7d5538abb6402c7f30", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Basic.c" }, { "type": "modify", "old_id": "e7a0916f5fbd0472c57fe65c46a9ab251d943419", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/FromToJson.c", "new_id": "f631f8719c8c0d8e8915a494556b0e7c6796cc27", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/FromToJson.c" }, { "type": "modify", "old_id": "7c31ee5b7073d8f3aa7d469ab73f70c22fc4fa63", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Parser.c", "new_id": "e1a9457d80f9a11e5f76d2e751dba195207c21c2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Parser.c" }, { "type": "modify", "old_id": "d3c656bbd4d0304e20d11d45eb752c9792a65fbd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Json/Printer.c", "new_id": "15d69f7a55530d3dce82b7fd186bfca39a6a2d76", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Json/Printer.c" }, { "type": "modify", "old_id": "6cee4d9ac0378f6483d2f11c887049ac7821ec8f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/JsonRpc.c", "new_id": "65069b1140995e1d03b506dd3d7bba63bb743b5e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/JsonRpc.c" }, { "type": "modify", "old_id": "5106c877bac77d9c77484db1479f708870976e9c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/KVMap.c", "new_id": "91ddfe64266032652427e91e11f22c08020c4ef5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/KVMap.c" }, { "type": "modify", "old_id": "dff0cfff4744d59714d952ac20b6584f3987fc0c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/LBool.c", "new_id": "8abdf15c1fd9d0184d5c9ad25b87b839181c0463", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/LBool.c" }, { "type": "modify", "old_id": "5540bdca2ce5c885519c20845080e3018d2cc0df", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/LOption.c", "new_id": "1a387ccd711dda78846823da143ba5e4fca05194", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/LOption.c" }, { "type": "modify", "old_id": "cf829a8a4d6b82d776ccea42a7b9f23b9076e319", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c", "new_id": "5c5596270573b3362a1dff67a19753a989dcc312", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Basic.c" }, { "type": "modify", "old_id": "596001a07112055b915ad8f5e7ace8f2e45ffeaf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c", "new_id": "ccc70ca76dd5fa4207e59c35dd47d3ad914f9f5c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c" }, { "type": "modify", "old_id": "b3a1d3c6908558dc6fc60669519fa9ec1af21d0c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Communication.c", "new_id": "81672dd0ab025b434b1856ced080b6f40ea842fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Communication.c" }, { "type": "modify", "old_id": "5708b9daaa6f1c6016d461022bc15fae359b3eff", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c", "new_id": "5c80019791e065eb081a24e38b520848b3608d03", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Diagnostics.c" }, { "type": "modify", "old_id": "22966052acd4d6489b6ddfe731631ed10fdef2bc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Hover.c", "new_id": "70e1d99c3eeabe7dbc73383eac2e91f2f9f038f1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Hover.c" }, { "type": "modify", "old_id": "85b396c619de9790cb1d08c5710cb0a8b5c914a5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/InitShutdown.c", "new_id": "efd33159271807daea2bf632cde15cd88bf3bd1d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/InitShutdown.c" }, { "type": "modify", "old_id": "547d20566ae69ab68624084e7e87252c2119e194", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c", "new_id": "745560bfb19dc0eb7a89cb80ef604506b1f184f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c" }, { "type": "modify", "old_id": "6c7f061f2f4cb7e997e0e7e13a3975f4cb75da8a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Lsp/Workspace.c", "new_id": "82e5c14c7d997a3c728d5b4533fa61e3c9592fcc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Lsp/Workspace.c" }, { "type": "modify", "old_id": "a47ff48ef6b41b0f06b37905e0c0feb18fba0487", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Name.c", "new_id": "de8a9c3bfde346d9c25cc6b99cd60b6a50efb470", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Name.c" }, { "type": "modify", "old_id": "867d3128b37b4739cd182be95665f8decbc196ab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Occurrences.c", "new_id": "d54456f491b698d8e9262b02b54505d2e78d59d3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Occurrences.c" }, { "type": "modify", "old_id": "18eb7d116d1a2f77f3e9912165b1de4e55d8ed8b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/OpenDecl.c", "new_id": "590c983cae534ba6d6b7e3d5010e2c408f539daf", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/OpenDecl.c" }, { "type": "modify", "old_id": "6bb68fc925378608561953cd05b3d89cb04ffbbb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Options.c", "new_id": "44154b36e736d84c895e01f8286999ea61731f56", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Options.c" }, { "type": "modify", "old_id": "3dc49bceefc37f3eb79cd8914ab052e6dfcfef80", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Position.c", "new_id": "c647128a410db1fb61eaa32a260e1800a62af7eb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Position.c" }, { "type": "modify", "old_id": "da74337ddf95982c43160a55d63708451fc4d630", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/SMap.c", "new_id": "c81c42ab190c60ce917e7e0472f78a819d0b64f2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/SMap.c" }, { "type": "modify", "old_id": "ec0d1ffadc70d3ab971036f190353645d3fcc52c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Data/Trie.c", "new_id": "cdcb359d61f71356d9b6ac2b1052820440a60101", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Data/Trie.c" }, { "type": "modify", "old_id": "a90a505606af248807dd3447d517c43b221c1c18", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Declaration.c", "new_id": "64767a6eb14e645893ee9a986761275edb899bca", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Declaration.c" }, { "type": "modify", "old_id": "5769f5dda4f572afc15eb49b9fb548dc05138fa8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Delaborator.c", "new_id": "9a6daaeab10f71da204a139d23293f21b497dd9d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Delaborator.c" }, { "type": "modify", "old_id": "aedc4923b4bd9042fce5eab932d4ca3231375a9a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "42bbeee051f27867503f6a2600b87fabfba73687", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "448d11a728462ba59854e1fcccc287b429f5e59d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Attributes.c", "new_id": "8088f616a8ed6cca09fb4b0f57902df86bfd9f58", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Attributes.c" }, { "type": "modify", "old_id": "61331a5e41863b3642b740c87748dde8ae76f036", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "b4e24455b7d097adee6bf7f37445ddccae9d86f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "0573d13dda2d46de3cc98c92cb5850e1eb93edd8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c", "new_id": "eaef535c8b02477fee8063fe967626b74914bec5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c" }, { "type": "modify", "old_id": "eefb40ceb44ae272a89b1a63395c2c57d24e1e90", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Command.c", "new_id": "3a4fa4b6cfcef14e97215dae1e35f9ee7beec0d1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Command.c" }, { "type": "modify", "old_id": "b540af3e3110a418b0323d515225d88973ea73ba", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c", "new_id": "c343faa5e7fc0fd74ca83c4fa8401b797a6ef461", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclModifiers.c" }, { "type": "modify", "old_id": "b78a8305101dd9bb7218a4014b8eb3b10a886430", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DeclUtil.c", "new_id": "2df74635ebba1f3f5135603975169d5213b4da38", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DeclUtil.c" }, { "type": "modify", "old_id": "84677a824fbb4c453a9c42c68bfeefe5cc39cfc8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Declaration.c", "new_id": "d81e99b8c241acaab1cf85fa580d8abe02456570", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Declaration.c" }, { "type": "modify", "old_id": "f8db3725ae0d55dcd0e6bf5d9e6eb1cb1803c02d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/DefView.c", "new_id": "aeddb5f588bff1a853d1db7fec1b763db488394d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/DefView.c" }, { "type": "modify", "old_id": "53fe2547881715a3f31df59a555d737529c38f95", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Do.c", "new_id": "db56ae99d6289f72ca627b857fd1298fb6d6b100", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Do.c" }, { "type": "modify", "old_id": "97afa66df2125d2bc0dc595124e187a5f838eae8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Exception.c", "new_id": "d9a108f8997a0c30712b5a30f40eec8fa11b0b45", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Exception.c" }, { "type": "modify", "old_id": "c186d6b052660c2be206d59c6f1214dd5119e59b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Import.c", "new_id": "b56e7cfd00e4850e874f638f72fcd3af020f6e64", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Import.c" }, { "type": "modify", "old_id": "a0696776d26b8a9d0793c2d67b5f0f91b78b070b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Inductive.c", "new_id": "76e232007665147699c5ca97a93a8b36389e4618", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Inductive.c" }, { "type": "modify", "old_id": "af1904449d926a6e2c9b3b8c8111af918ac55812", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/LetRec.c", "new_id": "acb2ec27e0db624b6aff68af6cddad5ffb159220", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/LetRec.c" }, { "type": "modify", "old_id": "0a3426ffa57338b45b4ae4af92473be4c113b66a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Level.c", "new_id": "980468fba12430294dedffdab2af2f3084bc97ba", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Level.c" }, { "type": "modify", "old_id": "097216e192e806ce19971cf4cb61b11589d8f577", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Log.c", "new_id": "fcd38a34d13f8c1bccfbb49829d2c5c60ddb1aeb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Log.c" }, { "type": "modify", "old_id": "8cf4b41dbd532ab989602f16472d69263bc83d8d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "12140e42b94c450626cf0419ca1cb74ed632a051", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "fe86cf9f3e47580cb85798a11ca10f561d988925", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c", "new_id": "630e3e635f9a01976cb58022a632405af4223b24", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c" }, { "type": "modify", "old_id": "2fefb90bc9a4f5b93a13f2aacc6fd103a218ff29", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c", "new_id": "3aad8cd854067e9a82885305bf6bc9598fcc2624", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c" }, { "type": "modify", "old_id": "5f698a1e35a33ff05dda0cf981315c324523c821", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c", "new_id": "0b11f55aea54d777118edafcc853a39aecb2cd5e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c" }, { "type": "modify", "old_id": "50d99547fa26ed3cc37d5d9b526542c8235c14e8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/MkInhabitant.c", "new_id": "e997784da06e1494a70dffbf80964b398e7b7343", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/MkInhabitant.c" }, { "type": "modify", "old_id": "b20716f75d7c6da0a5ee31477b2cabad82ccfa77", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural.c", "new_id": "0d87385207cb1ceb0e9668b538eec88ed6de5b7a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural.c" }, { "type": "modify", "old_id": "8342a0ceac21575ba39f2b1bf71fb143bc416265", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF.c", "new_id": "75e9d8517feb8b20a5892448e68c44fa9a13107b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF.c" }, { "type": "modify", "old_id": "fde486c86b5b64734828413091fdd8661d6ccbac", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Print.c", "new_id": "867db600dba2ebeaa2e71f3d3512e993d8721e9f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Print.c" }, { "type": "modify", "old_id": "b5cbb9a6bf84aed44447f3807b182d1dbbfc62a9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "e910e52dc99a03057b6b433099e1e6f4da23d6ac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "3345e9f5904b161fa1f0d40dbec46255963a7623", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StrategyAttrs.c", "new_id": "a9e46f97a711822426eb6e2693fb9809d0f858d2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StrategyAttrs.c" }, { "type": "modify", "old_id": "5d40bdc923f82c502738b3d852ea88a0cd93831f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "f68a73e057fb961fbc39df0f87c90b62f58f0a09", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "cbb4f090ff937081225142e765413cfe75dccefc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Structure.c", "new_id": "f65716a6ea1c877c20d99c79769f2aafae399091", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Structure.c" }, { "type": "modify", "old_id": "648510b3ae2f063cf9d06ceef4693b06defd732e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Syntax.c", "new_id": "d6c4e2351c1a224313cab049aedcda3be3ff2968", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Syntax.c" }, { "type": "modify", "old_id": "aad6a82a5f0e170499e9d0322dda380740057cab", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c", "new_id": "b0da0957d853e2091380dc7cad015eea301f62e6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c" }, { "type": "modify", "old_id": "5f420eec60697048c3ec673322d753276139e25f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c", "new_id": "12cec8e0b41811ab349831d215df27932b001187", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c" }, { "type": "modify", "old_id": "3006fd48cd39c649b6b43ffa13ae138d33dabed6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Binders.c", "new_id": "8e56e3e55c6aa581ab3e42624e45b6b695a469a4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Binders.c" }, { "type": "modify", "old_id": "47efc5de6445c35c641e72e349392a823b8c2e36", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c", "new_id": "daaf61e93b136a828dfcb87b3dc0369dc8861246", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c" }, { "type": "modify", "old_id": "1496d05dca2ba70adac4861a9352cabb020d103f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Generalize.c", "new_id": "803be20e84e95bff9ba6747a0846be25c776ab39", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Generalize.c" }, { "type": "modify", "old_id": "e33e31a6143c33d494c8f9ab59d7f19c566fdbd6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c", "new_id": "5e1ab7daffe7869b8760dc94f44bf090f04baefe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c" }, { "type": "modify", "old_id": "f93a023c48d4014dbf78f56b3bf0551d8f0e2b67", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Injection.c", "new_id": "9d4cd81a642e708756f49fcdbc80fccf90fdc5b1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Injection.c" }, { "type": "modify", "old_id": "175f5388cc7dfe7d70424b99c9e7bfe011d4af89", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Location.c", "new_id": "5bcb5e5368ac39522606a7642c6d3369e95547a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Location.c" }, { "type": "modify", "old_id": "839e8e3a1510dc6a6ab3bab4a36b33d0a5eb9d9c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c", "new_id": "13be6c4b43ab916bbf0e39ab24f4190ac600edd5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Match.c" }, { "type": "modify", "old_id": "91f4335c4b7b45d3f0a48891b69fe7cf3f93731b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c", "new_id": "689d4d56a921fbfafe5e04062e1f0f299759f491", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "1beb9861fd34628c8507a70843576a9d9ad55c1c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term.c", "new_id": "d62aec69ceb13785f356fe0b10871b179d39972e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term.c" }, { "type": "modify", "old_id": "8179baaec40bb85989dda17e70bc7550cd2f8fed", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Util.c", "new_id": "882c1771566f32bdef99bbae771b0572f1e82d13", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Util.c" }, { "type": "modify", "old_id": "f43fb5d1799ac76a36dbbf9cc575edf0475cd0ad", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Environment.c", "new_id": "118941360990be53546be79dbf519fae38b25081", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Environment.c" }, { "type": "modify", "old_id": "b0eab1ede2d17742399aff73edafec5f0f77667c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Exception.c", "new_id": "db01bf8f1785defaf8d3c68bee9d9ffdaf2ace11", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Exception.c" }, { "type": "modify", "old_id": "36de0891727d590c3656afc17466e0c7219f2a9f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "9749d1faf2159d26bbb8b899665c6c5a39c9c37b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "1330a0163d17f065251a158a1123d6e051797234", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/HeadIndex.c", "new_id": "4e45b4f9e32a0e0e8eabc4e293f96f0f24cdf9af", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/HeadIndex.c" }, { "type": "modify", "old_id": "5f2de94343c6628738d378cec25ff8c0d024db4a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Hygiene.c", "new_id": "c8fb7690c1bf8a0ead55b4bb0ae4ca05dc1298e9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Hygiene.c" }, { "type": "modify", "old_id": "483e280044b893158cfd565f7f5a58d53a667925", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/InternalExceptionId.c", "new_id": "110b9d7c8095577fa9183faf5fa01f8da670c9da", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/InternalExceptionId.c" }, { "type": "modify", "old_id": "098f0ae5e4440ff289ff37443db1b8696d90231a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c", "new_id": "92dd38949df58510d9e8c5998c7ea78b3f7dd440", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c" }, { "type": "modify", "old_id": "b119c8ad72b59256e79c1cf19d50b977df205fd1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Level.c", "new_id": "2c43987fc36a6d0c3620576670b9f7f38adf2af5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Level.c" }, { "type": "modify", "old_id": "7e315bb99464f16e95aa42806ec02d9f422c293f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/LocalContext.c", "new_id": "22d5075621e7ae0c3e64e87740a6d3a3b866d12a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/LocalContext.c" }, { "type": "modify", "old_id": "1ea6d937fd4a8f25384a52df288d233db8dd43e8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Message.c", "new_id": "ee8296161e1f1066a3bc341438594d36f562fa12", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Message.c" }, { "type": "modify", "old_id": "278a82e1bda29ee4fba85bcb9b5f9d7347299f04", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c", "new_id": "049266443628d384126bfc6e1888420418686aaa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c" }, { "type": "modify", "old_id": "5c595b2e259d584f47fef913bf6a40922bcdcf53", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AbstractNestedProofs.c", "new_id": "40b573cca8cc8c162d5179922f64e5d8fa6b8388", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AbstractNestedProofs.c" }, { "type": "modify", "old_id": "5c8800740e64b07ad19b0f665d574b613a66439a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c", "new_id": "b010fe5e0b65e86da293d350dca0a7977c76e119", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c" }, { "type": "modify", "old_id": "8ec689980382138ec839d9514afda3edcbd1f349", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Basic.c", "new_id": "4550dbe0054bea3abd72fe6aab38d1f759d0b84a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Basic.c" }, { "type": "modify", "old_id": "7c5c62297ce75eba69e35dad923bca51c411d894", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Check.c", "new_id": "5c4317c3f43888640f51dbb7e24bbe2778d5ed32", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Check.c" }, { "type": "modify", "old_id": "3d3e7455dd8eb3ab6508a8b54ccd96eb23af78bc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Closure.c", "new_id": "ae3a2b418ad42c35cbc02f815d541b7041ab98d0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Closure.c" }, { "type": "modify", "old_id": "7d86333b522bb86ac53f6e2b3e71310a2d8011aa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/CollectMVars.c", "new_id": "8b582e1c1e0c2c109e4525136d1038404da64f30", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/CollectMVars.c" }, { "type": "modify", "old_id": "ec2a9bd1177c9a877b0ed1ef2b6a49bee539c753", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTree.c", "new_id": "6045cfb6526ba0dfa97026cd561037a98422ab00", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTree.c" }, { "type": "modify", "old_id": "8f957261208c98361510563a5f7dec9ccd6b4aa9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c", "new_id": "8026bfab196c660fdfc82d7169c5f4741fb7a0fd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/DiscrTreeTypes.c" }, { "type": "modify", "old_id": "ddde955e764ceddf59a6b4f66411735d6b13ecc8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Exception.c", "new_id": "2ba1385a7ce2bcf197c771f595038bd822409bee", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Exception.c" }, { "type": "modify", "old_id": "3887346e0f71035b7be4ef7a3ce9ada5043be289", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c", "new_id": "458c2386c2ca27ef3394a3b54aa3b5ba668ca79d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c" }, { "type": "modify", "old_id": "4e7be6f8c2675b5bff426bb65d56f774b6eb14fd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ForEachExpr.c", "new_id": "afb85f9830f2bda5f6a114159f843bea8ec77b56", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ForEachExpr.c" }, { "type": "modify", "old_id": "5d3f2e6e51565fa2ae59a8a9cd0f494477c4a372", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/FunInfo.c", "new_id": "ca2576ef6765672feed81c847308495656a981bd", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/FunInfo.c" }, { "type": "modify", "old_id": "1ef56d6f7ed30be7649ff8e9e7937f5aa998a72a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c", "new_id": "afce472ce60f96934a4581d1f34f2dfe55ab71a1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c" }, { "type": "modify", "old_id": "0dbba32f7869c977109f0c7b65581e8e42080906", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/InferType.c", "new_id": "7b6bf1aab20aeee221823708aa02a42c826fc583", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/InferType.c" }, { "type": "modify", "old_id": "afe0cbe5593ed50984385896f1435d3b41c18479", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Instances.c", "new_id": "72f2864559735cd2ae1a3f8901215461146722c1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Instances.c" }, { "type": "modify", "old_id": "2bdc8befd17d31272914f7f32e1f0150b52f824c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/KAbstract.c", "new_id": "2cfee08d167ea31d047bbad085be4d8a4ba957a0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/KAbstract.c" }, { "type": "modify", "old_id": "d9c22af1bc15cc6ec9ce453054e75dc308460645", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c", "new_id": "80a1339c01b077601acb3a174d83c9076ec7589a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c" }, { "type": "modify", "old_id": "8bd585827662eb41429a1321a7e3452c1324f9aa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/CaseArraySizes.c", "new_id": "46034b4c62b53a66693951d856af3e711586adac", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/CaseArraySizes.c" }, { "type": "modify", "old_id": "33709b3d7d080cf75156a8d096158fb33e618286", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/CaseValues.c", "new_id": "183e1fb6709d3a7c25e22ea6ba7c0a4ff15734a7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/CaseValues.c" }, { "type": "modify", "old_id": "57bc828470421a9281a9b5a67aaf138cc19eb5fe", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c", "new_id": "cd16bf55f1a5e885ed19243d2d9474b20e62c680", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c" }, { "type": "modify", "old_id": "fc3222912019741349051c318c6e77f9096d1ec1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Match/MatchPatternAttr.c", "new_id": "6246eaaa72abb204761c314a2bbe6f4aac3b7616", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Match/MatchPatternAttr.c" }, { "type": "modify", "old_id": "9a54a97a0f6e658dc8fbaf6df01fb843d2e7c2ce", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Offset.c", "new_id": "5625478814489462ac8c8c9a1abfdc37421499d2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Offset.c" }, { "type": "modify", "old_id": "f31c872300067146e435ac77d35ff59e3ec59044", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c", "new_id": "7ed92b6bd92d1ed39943c4b69e167e7768cf0dfc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c" }, { "type": "modify", "old_id": "d6e7a8338298905a5fd2620c73b743094594389d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/ReduceEval.c", "new_id": "1bbf1fb5419a49236c9cc48000d8920e38c3569c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/ReduceEval.c" }, { "type": "modify", "old_id": "9b21e6cd47ab3e8e4cc30203ffc9f7a94d518034", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c", "new_id": "2e40ae8246a821b0883aa44f86b4888428a5a27f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c" }, { "type": "modify", "old_id": "cd7a00d57ef4e0f13949765e78e5d33eb6254608", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c", "new_id": "7850928ec74bbfc6e91c4e8bc47a5f5edd9b4456", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c" }, { "type": "modify", "old_id": "bfd086b1c543307bb67b7f410169070715caa99f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c", "new_id": "b26a36b6d1319e60110ae75880038ce4557cc31c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c" }, { "type": "modify", "old_id": "0dc0d8524118872856d5592aa42599d899aac8f2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Assumption.c", "new_id": "19920faca3907d1c8ff55a34d82f4c0775f50ed0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Assumption.c" }, { "type": "modify", "old_id": "b268c8de9f95168ecfda6dfb658a5828ee3f924b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c", "new_id": "bec7bfcb93a0ecfa332dc6953aa618c3422d1620", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c" }, { "type": "modify", "old_id": "25888e602c266254b374a841b8a9123ac7b009b7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c", "new_id": "32c5ed560af40de04774674283c5a75f630fd4b7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c" }, { "type": "modify", "old_id": "38cdb2d2530459bad9954c9cabc4c3139db80720", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/FVarSubst.c", "new_id": "3b418870ab93dddec50b9e923df947d2cf01a427", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/FVarSubst.c" }, { "type": "modify", "old_id": "a679028a83047f0538d2dd84bdb49ffbc56c29b4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c", "new_id": "2034ce0d1d7f5542eb34daea00d54035b2c5ba0c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c" }, { "type": "modify", "old_id": "de1eab06505127837b992a1e3006969cdcdddd37", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c", "new_id": "7da4e065efbd7176810471d8c1722a03c18972a9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c" }, { "type": "modify", "old_id": "af94a4c877c0a709ea4cc6086f55298548851cf4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c", "new_id": "f5add05fde4483994a3030fc93309023d9d72d7f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c" }, { "type": "modify", "old_id": "bc1a1c9781a4b7a53909e216a1d552a8564b447b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c", "new_id": "ed850683fc7dabfcef7e73e696716f5d68ff29be", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c" }, { "type": "modify", "old_id": "db83000dedbca973d47cab1b93b368f355022f23", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c", "new_id": "e8c01442820c496bcc10d4a7b5d05b3f73692b6e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c" }, { "type": "modify", "old_id": "c85bde2931aff8658e5797e9c7e1641a06eb9876", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Revert.c", "new_id": "77f75fced17b5bd47be0ec6edb8006d5c5cab55f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Revert.c" }, { "type": "modify", "old_id": "5105694203ef7c1d9ca0edb1537e98f7a7c67a29", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c", "new_id": "9178e64fa3d4f26d666f8c73e458074a398e8fe0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c" }, { "type": "modify", "old_id": "898f2ebd91bcc30abf1a90b95dbe2e07f6f322a7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c", "new_id": "7eba0d4b5d03cd31863e902bf6f1b5925eaeed76", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c" }, { "type": "modify", "old_id": "719a5c8035385e419658831cf7dff5b6fba664cd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c", "new_id": "47445927bc76f3e28204ba526659041a2f958652", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c" }, { "type": "modify", "old_id": "8da44e81b43531c8f1e760f773d3b2eb4c4af64b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/TransparencyMode.c", "new_id": "16101e2d947dbd4d569006dd338d56651e1d9c52", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/TransparencyMode.c" }, { "type": "modify", "old_id": "a124baf1d8dedb4504c6dc60a5fedfcbf37068c1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/WHNF.c", "new_id": "aa92e209ad38f4cace709ea5a6fa2cb9dc0bd47d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/WHNF.c" }, { "type": "modify", "old_id": "a40548d15187c463f45e31a3060559c29e791ed5", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MetavarContext.c", "new_id": "c09efe8a1f194d4332234aa73263d6f44e65bdf7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MetavarContext.c" }, { "type": "modify", "old_id": "7a4c43d96922e3e1aff231daf49ee214851f6d83", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Modifiers.c", "new_id": "57afcf4395d2eab03176b51b19654abea77a1bd4", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Modifiers.c" }, { "type": "modify", "old_id": "6ce1cfdde2bba18d291abe044d8b2208125abb7a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MonadEnv.c", "new_id": "f5da7d5b613fc0d19eb7240b8b188b08c0491b8c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MonadEnv.c" }, { "type": "modify", "old_id": "2b4a56318814e7e5a7b0774232808986c9dc5903", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser.c", "new_id": "0e37a658cf0401d5dfaa1d52fa45389c0e1d844e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser.c" }, { "type": "modify", "old_id": "1255339e4e6346e5f05c1dffe234e70ec958adf7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Basic.c", "new_id": "cf5ea7b496d42c87cca07c59b648c512b0a870da", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Basic.c" }, { "type": "modify", "old_id": "659ed3a537990cd760c64182da3f1766f13b8fd7", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Command.c", "new_id": "74877a98a99f00f7035930f8d894542030d8db66", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Command.c" }, { "type": "modify", "old_id": "dfdf0c209531a47fe36f7f147e540b2c6d8448bc", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Do.c", "new_id": "f1afe388d7b76e31d67b798ebf34835e7fa9e1f0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Do.c" }, { "type": "modify", "old_id": "49b962e190de8e254ecef3e3a2bf1ee5f0cd16c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Extension.c", "new_id": "e42e894ac1f78676bc5dd150e4dd4b5ef96c3ead", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Extension.c" }, { "type": "modify", "old_id": "4f72bd348c7d082dcf2ffd8480b9f25e4fe6b0d2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Level.c", "new_id": "7e8c24e584e7dde3de5f977013581c718088e768", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Level.c" }, { "type": "modify", "old_id": "fc8d1325d3232edea39a2abec4ff43d1772bca5f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Module.c", "new_id": "961e60ac5770b684457cb5eb77aa5d4171e31f89", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Module.c" }, { "type": "modify", "old_id": "f7bb21cc5c4ceca5e6f049438f3b62e67268a079", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c", "new_id": "ad0889ffbfb0dbde7871af74b2a879c4ee201f0a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/StrInterpolation.c" }, { "type": "modify", "old_id": "55675aa4dc6bc64835ad95de33519aea355c2edd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Syntax.c", "new_id": "324152fead2320a9f24fbfaac8bf44156ca1d2bb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Syntax.c" }, { "type": "modify", "old_id": "102187dc951b2252eff9ebbff48fee53dada6c5a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Tactic.c", "new_id": "310f34b3038e5fd26665ba1ffd7157df299b089a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Tactic.c" }, { "type": "modify", "old_id": "3c3f58dae9f6287ffffcd9d818dfbc3f12e18007", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Term.c", "new_id": "7833f5c635a71289aab435d318a632e24327b6af", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Parser/Term.c" }, { "type": "modify", "old_id": "861f8291e12bb36f1886c591d853bcc4614e9c00", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler.c", "new_id": "c4a3f672e50eb903ccb126c809dfd11be75092d7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler.c" }, { "type": "modify", "old_id": "611105a612bff134d0439e9f84159f1e7d3cab43", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c", "new_id": "4267ccb08d4425c0ee282d7a7540a281719b46f5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c" }, { "type": "modify", "old_id": "47fe203b3271eebd896d66844c4aec9f1186db41", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter.c", "new_id": "c6bdc59d4ba36e68f4762b22aecc02f263e05487", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter.c" }, { "type": "modify", "old_id": "1b7a15eaaafc3e567fdcabb2af0628e8ff103072", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Backtrack.c", "new_id": "be095318140c1d8203a5fcf32425d1cba5ce779e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Backtrack.c" }, { "type": "modify", "old_id": "2c73705a5a8268e1a52220c17b8550ba1941451e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c", "new_id": "2ed86b03e0ce1d296f76442958074631a6ad7814", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c" }, { "type": "modify", "old_id": "e281010faedd733348560dcc5d62fdb0eba25a35", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Meta.c", "new_id": "1dba6d0b58fee82bbb03beaec6610bdc2e48f1a6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Meta.c" }, { "type": "modify", "old_id": "d384db4d92fd870bfb6985b49f5422f6beb91179", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c", "new_id": "713f8745b5d365c57fab9afaba2b851711c16fc5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c" }, { "type": "modify", "old_id": "c2e02621bd555e59d013a6307d476f4207bc57b8", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ProjFns.c", "new_id": "316729c4a903229f7bb61dd1b9147a8e46a5af46", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ProjFns.c" }, { "type": "modify", "old_id": "ee07a5e9074891ef9d8693f26343727837846c11", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ReducibilityAttrs.c", "new_id": "effcd2afce0d56b6e71e6d33c9a2e71ee43c6cc9", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ReducibilityAttrs.c" }, { "type": "modify", "old_id": "5ae2696b73dfde22ac2d465e4973c5b0b6081b8b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ResolveName.c", "new_id": "bb4a42bb35109282cd483405b680f99369cb726c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ResolveName.c" }, { "type": "modify", "old_id": "f177ff5b72e2af9696f91629bbb862022f7620e6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Runtime.c", "new_id": "a762af0dfb7b07218a69366815a46ad8c0d142e0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Runtime.c" }, { "type": "modify", "old_id": "09c4785072357084260675190c9f2142c5364c64", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Scopes.c", "new_id": "43dbe139630a8c87b568d65c1b41af46ee8a8c55", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Scopes.c" }, { "type": "modify", "old_id": "3be602709b66734a70530c56c9808c6a4b2213d1", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server.c", "new_id": "eb4e989f2a683123decc6bf5e44808fa98193fa0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server.c" }, { "type": "modify", "old_id": "9f2693a2d6bd957de2d919a644e14927e0977f71", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/ServerBin.c", "new_id": "f8f8f9f9ebad1a848a8721ce3713d81a1a3100fb", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/ServerBin.c" }, { "type": "modify", "old_id": "2913a3747435425342cc97451870a9992a07ceb9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Structure.c", "new_id": "158df714dada31a8ebd7e148c49a4eead1302b55", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Structure.c" }, { "type": "modify", "old_id": "78414a30ade5966a3cc1609862759634923bf978", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Syntax.c", "new_id": "d05e7790f848f86e2ded4ad0c6cf87bdbace0c99", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Syntax.c" }, { "type": "modify", "old_id": "fd35decd2182f01562b0fe58ff65d023c8285ac9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ToExpr.c", "new_id": "5b58c0c6a7f7cdd558589648bfe2dd3d26aa826a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ToExpr.c" }, { "type": "modify", "old_id": "eff86adee17af32ef7d43d0aa410ccaa37fd986c", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/CollectFVars.c", "new_id": "de24042a60e115a91fcde03e648dbfe88bf9f786", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/CollectFVars.c" }, { "type": "modify", "old_id": "30852ae546eaacc505b66394b8d6f1e5ab7ba926", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/CollectLevelParams.c", "new_id": "f1225b8fadfd5cace3b26d9dd423a48949bdf869", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/CollectLevelParams.c" }, { "type": "modify", "old_id": "3ba4a5964df9f6b196abeb9d747cc3feffb23443", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/CollectMVars.c", "new_id": "232888c6652e19480398b976205a77c457bf4039", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/CollectMVars.c" }, { "type": "modify", "old_id": "635a0a2dce8b873efdcb1a6c36e932a3b2ae120d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/FindExpr.c", "new_id": "1d1ee8562bfafc44c8a9e2a6d392e25a2e95da60", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/FindExpr.c" }, { "type": "modify", "old_id": "11bcd9e883442fe4897ede93905d0917d42e784d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/FoldConsts.c", "new_id": "bebeb7906e473f23d14cde6cd488503c8887bf38", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/FoldConsts.c" }, { "type": "modify", "old_id": "3f856dce5ee4c664ae5e8d5371a65f94015bccae", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/ForEachExpr.c", "new_id": "c5c440ccc080975b10a09dbce09ea6bc4c1e21fe", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/ForEachExpr.c" }, { "type": "modify", "old_id": "0bba57c00b2f2d96e580e0a392e9af7b117a1c39", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/MonadCache.c", "new_id": "6fc3e1497f49f6aba6858f679ba950071433cb07", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/MonadCache.c" }, { "type": "modify", "old_id": "e3ca4c960c4599837546a47f56c2df2effb70696", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/PPExt.c", "new_id": "6464bd13518ef2ff23183498e4fbdc100ba456fa", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/PPExt.c" }, { "type": "modify", "old_id": "da8a9720bfbc0b9bb5d8332f6e80856a08139e97", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/PPGoal.c", "new_id": "2caf86b601547ed30e41cb6324b2057b39f604d0", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/PPGoal.c" }, { "type": "modify", "old_id": "09dc4aef154f7516f810775f7d8e6e5ab4ea5e81", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Path.c", "new_id": "fe41199c26d03ea85acc1cf3b6aee843ca3338ec", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Path.c" }, { "type": "modify", "old_id": "ea578cabc2db6c670db94a94eb40c985ae093f3d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/RecDepth.c", "new_id": "c8fb4c579d0fac79acffc8aee82714d33ac81217", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/RecDepth.c" }, { "type": "modify", "old_id": "62658b19a253b7fd5a5327cf505811400722bb34", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Recognizers.c", "new_id": "243217ccb43ef4154bb3f777f9cfa9a97c2d948f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Recognizers.c" }, { "type": "modify", "old_id": "b65c454203cb8848a629f3ced2f6bd1625190cd6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/ReplaceExpr.c", "new_id": "adb6bb87a2bd0e0d36641c7eda64ccb07652f2dc", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/ReplaceExpr.c" }, { "type": "modify", "old_id": "ead4e6b58ce26901200962edeed9dfa798c3ca8e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/ReplaceLevel.c", "new_id": "a597b47c4b264b737c108f53dcb276508dc6649d", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/ReplaceLevel.c" }, { "type": "modify", "old_id": "dc6cdd94563b7a44bcd9e98dd8e78204198ff838", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/SCC.c", "new_id": "19bc1128a6de2fc3b12e27662e7cc09544c68188", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/SCC.c" }, { "type": "modify", "old_id": "3a5ccb3ca949c2298360c711a8b102b8f8660afa", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Sorry.c", "new_id": "1c8d5c207989892b70dae53f708980f344a0e3df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Sorry.c" }, { "type": "modify", "old_id": "44bb49df462c196f228edf1e52b33a7e7e43892d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Util/Trace.c", "new_id": "cde6fcf468c16c9791eb9deffbed021b984edea6", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Util/Trace.c" }, { "type": "modify", "old_id": "5711bcd7c8a871eccd1207cfab3d11befdb58446", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/DList.c", "new_id": "ca7877569ff4c3a7f5b4de6660dde8aba2ee7d6d", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/DList.c" }, { "type": "modify", "old_id": "48145f82015e8f2e32dd6907ed5ac4ec657c4a3d", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/HashMap.c", "new_id": "4dff00dc00f44742c33160d19ee2352d95c85542", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/HashMap.c" }, { "type": "modify", "old_id": "e25226b89e9aad11786bd2127c972e34c41fb1a2", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/HashSet.c", "new_id": "39afd67a521fa254898a97097d9e42f8df2b32c1", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/HashSet.c" }, { "type": "modify", "old_id": "8e1034102742d3f3ed6676f240aafbda7926fc02", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/PersistentArray.c", "new_id": "60eab8cecc4b51e6d1176ac727d8799cc6897204", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/PersistentArray.c" }, { "type": "modify", "old_id": "6977144079f8d2ee502749a6e815c0efd585b063", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/PersistentHashMap.c", "new_id": "34b9e494212cf7391bf5e0d540acab50b0aa9c41", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/PersistentHashMap.c" }, { "type": "modify", "old_id": "6008fdb3b68f94aa93c66f96d6c5f4e8294f17bb", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/Queue.c", "new_id": "c207fc0f37588583be1bc56883b0fea0305dc643", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/Queue.c" }, { "type": "modify", "old_id": "e054991e83e143e82148be50a1c56a72dabdb027", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/RBMap.c", "new_id": "cab0e2d84585eaaa6e45d79734802b779c3501c5", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/RBMap.c" }, { "type": "modify", "old_id": "52f4461198ac9129f079143abfc3ec182db7cc54", "old_mode": 33188, "old_path": "stage0/stdlib/Std/Data/RBTree.c", "new_id": "d1486c349702c8b9218ff3e69bb13e2b1188d2c7", "new_mode": 33188, "new_path": "stage0/stdlib/Std/Data/RBTree.c" }, { "type": "modify", "old_id": "add86feb7cd17c1b8f113e952f8b9cd49bf77866", "old_mode": 33188, "old_path": "stage0/stdlib/Std/ShareCommon.c", "new_id": "233a5df6adc6ec725068b61d6487d468aaa109a0", "new_mode": 33188, "new_path": "stage0/stdlib/Std/ShareCommon.c" } ] }