)]}'
{
  "commit": "e6eb81c60883d2e66229ee6e39e90e6b641856dd",
  "tree": "982377310ba4804bc76b93ef4dc40ce36bea0f4b",
  "parents": [
    "d46188de54f86c64cef85aaba800f4171ccffcd5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jun 07 12:08:16 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jun 07 12:08:16 2025 -0700"
  },
  "message": "refactor: `ENodeKey` \u003d\u003e `ExprPtr`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6a3739dcf2242690a120239151b8c67434409136",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AlphaShareCommon.lean",
      "new_id": "e6ec133e5f68a2627e72dfe044b452b9ffb3407a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AlphaShareCommon.lean"
    },
    {
      "type": "modify",
      "old_id": "cc9db86b35e5bb20c8cb0744c7cb24b27b34807b",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Types.lean",
      "new_id": "e267ec970be62ae7ab539c63223241c79c8eb546",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "45d697546b08db2ed1b2f0032b8b6f5d862c2a6e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Types.lean",
      "new_id": "e518df49d3c33890bd800f7c0ccd5adbe0100ad0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "d3723cf12e60c385b398558a786b1f3232b802bb",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Offset/Types.lean",
      "new_id": "79f002204733ce77c854be436111a41aa5af7ef1",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Offset/Types.lean"
    },
    {
      "type": "rename",
      "old_id": "7d66714ccb97402078600e7769237cd93c9286ae",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/ENodeKey.lean",
      "new_id": "5d40276b9056348e38385231904f79ace39b2caa",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/ExprPtr.lean",
      "score": 83
    },
    {
      "type": "modify",
      "old_id": "623856d25f091b2c7b1b57a965eba268ef73042c",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "85a0f23e4bbd21cfea22e96c926bd80bbaaa65ee",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    }
  ]
}