)]}'
{
  "commit": "0a86d2af4dd613b7a46049e73f8ca347ce283ad8",
  "tree": "a0fd07f3ec60e643172a54a037309192ffaa21e9",
  "parents": [
    "411cb485edd88ca7634a92345e47c6e09ae3e78b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 19 18:36:49 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 19 18:46:05 2024 -0700"
  },
  "message": "perf: add `replaceImpl`\n\nIt uses the kernel implementation.\nWe will replace `Expr.replace` with it after update-stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d7a364e5ca655c9f98b57ecb5807681f76dccf9e",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/ReplaceExpr.lean",
      "new_id": "deca88cc73abe8d07c8a0344668c812417c983ad",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/ReplaceExpr.lean"
    },
    {
      "type": "modify",
      "old_id": "3c37d9062bf33c56483f362c71ae1ed6c01bd3b5",
      "old_mode": 33188,
      "old_path": "src/kernel/replace_fn.cpp",
      "new_id": "23883f1d8bba6a7d7d8f3d2478619be08c38be50",
      "new_mode": 33188,
      "new_path": "src/kernel/replace_fn.cpp"
    }
  ]
}