)]}'
{
  "commit": "3b3cae3fe4f9495484b87f319d4c89f53e1d979d",
  "tree": "144cd27512756b4f38c1ef1143484fc0dfda21fd",
  "parents": [
    "fb0d0245db9bcb9ff649794f57522c52cb80c993"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Oct 19 08:49:44 2023 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Oct 19 08:52:36 2023 -0700"
  },
  "message": "feat: add `Simp.Config.ground` for simplifying nested ground terms\n\nThis is an experimental new feature. We need more bells and whistles,\nand `cbv` tactic for improving its performance.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "86f9335dea8121524e1db7052cfe49afa6feeb8c",
      "old_mode": 33188,
      "old_path": "src/Init/Meta.lean",
      "new_id": "aaa2b20263077f3151d0f8aa08f381b9dc7cdd01",
      "new_mode": 33188,
      "new_path": "src/Init/Meta.lean"
    },
    {
      "type": "modify",
      "old_id": "2e61e9bcfa19220c5f1f462ac3757d36c8f2cdfa",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp.lean",
      "new_id": "dca62c697c5e116068026265571358ec31a2dd6a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp.lean"
    },
    {
      "type": "modify",
      "old_id": "4fca5307a04947b376f3340d3031acef2672fa17",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "a1b2c1f63b4939cdeb657f09130a63e74f25892a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    }
  ]
}