)]}'
{
  "commit": "7996d2f916c011f571754007fe8f2125eb8be838",
  "tree": "65955515dbcef3537a0e9859f4e22e09117cd1cb",
  "parents": [
    "1a9cbc96f1cbbbd2bb0092e574c5de64dc9d948c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jul 15 16:42:08 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 16 08:33:26 2024 -0700"
  },
  "message": "feat: add `Lean.Expr.numObjs`\n\nAdd helper function for computing the number of allocated sub-expressions in a given expression.\nNote: Use this function primarily for diagnosing performance issues.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f8d3b3066a95a407636139b4d87c205bdae997ae",
      "old_mode": 33188,
      "old_path": "src/Lean/Util.lean",
      "new_id": "268df09c6fb30ec8844c2559c7a95b6d01ac2b5a",
      "new_mode": 33188,
      "new_path": "src/Lean/Util.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "54e70ec17b39b8bedc2c77b4c2265456e278ca7f",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/NumObjs.lean"
    }
  ]
}