)]}'
{
  "commit": "51cf8aa7a182a5239026be89bd635ac62b0f80b3",
  "tree": "1df80c4b8f3423f7a31802a3cf1f6a8f32d057db",
  "parents": [
    "fcba0c7cba4029f4b72499e74acfa8d384b15f0f"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Dec 20 14:11:33 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Dec 20 14:11:33 2024 -0800"
  },
  "message": "feat: add `Expr.fvarsSubset`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c49bb0e455d540e528e445d2eafc2ad984cacb91",
      "old_mode": 33188,
      "old_path": "src/Lean/Util.lean",
      "new_id": "8c84487851ca439efb2abc92b1df4a4079df5490",
      "new_mode": 33188,
      "new_path": "src/Lean/Util.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "b4103dd6a857bf044be4544eb656cb8dbae11eb5",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/FVarSubset.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "769abda1517826788bc95769b833d1ef6c2bc1f3",
      "new_mode": 33188,
      "new_path": "tests/lean/run/fvarSubset.lean"
    }
  ]
}