)]}'
{
  "commit": "03bae7b6760bc2456e930404961c62b6e63a5481",
  "tree": "8cbf2cdf3125303e4cd47ec1db60220d5ce884df",
  "parents": [
    "a99393483949dc56d692f3a37dbcfc51db568341"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Sep 01 14:22:07 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Sep 01 14:22:07 2024 -0700"
  },
  "message": "perf: cache visited exprs at `CheckAssignmentQuick`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "07509642f410082dfb8ff731f60d5eecd73c13d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "12f244783d894b43e1ae27bcee051dfc9da8a393",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    }
  ]
}