)]}'
{
  "commit": "415f8281e04c08e5ad069de8405b54df65aed35d",
  "tree": "cb7d586b1ddb4963fc0654f1327f4763cf1fc059",
  "parents": [
    "977b8e001f8f14dc15bae22d2533fef0ea745486"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 25 13:05:56 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 25 14:39:19 2024 -0800"
  },
  "message": "feat: support for builtin `grind` propagators\n\nThis PR declares the command `builtin_grind_propagator` for\nregistering equation propagator for `grind`. It also declares the\nauxiliary the attribute.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "12db182084cff0ae5597b446089224c74c03bc45",
      "old_mode": 33188,
      "old_path": "src/Init/Grind.lean",
      "new_id": "58dfe1290ddf2f3065a68f7d4238fad2ad276f98",
      "new_mode": 33188,
      "new_path": "src/Init/Grind.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0edb9d8fb465e94a4668f387e794b61aa94b87d7",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Propagator.lean"
    },
    {
      "type": "modify",
      "old_id": "0716c656250fcb9f6dbb9c5f2dcf86f4b4655612",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind.lean",
      "new_id": "9ad5cc03cc3a61ec233e910a1e4747d7ce25f7d0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "601f5472b1a5ca663e7e3dd3dbc42dfc8d8195f3",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Simp.lean",
      "new_id": "50435d7eb7888fc599b4d59fa4d66ffc8571eb7a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Simp.lean"
    },
    {
      "type": "modify",
      "old_id": "98cb481808914839afd82d9430a15e8d877232bf",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "de9328939acfd1835121b6ea3e3e3b65e9bd4a0e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    }
  ]
}