)]}'
{
  "commit": "0e69cea158a6aae545a9f24ff882080a983ba0e0",
  "tree": "b2745e13abea8d7d9165e0442881677c11866df2",
  "parents": [
    "e76dc20200c8e7c860898bec6824057b98ec6905"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 26 19:30:01 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 26 19:30:01 2024 -0800"
  },
  "message": "feat: add `grind` tactic\n\nThis PR adds the (WIP) `grind` tactic. It currently generates a warning message to\nmake it clear that the tactic is not ready for production.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "58dfe1290ddf2f3065a68f7d4238fad2ad276f98",
      "old_mode": 33188,
      "old_path": "src/Init/Grind.lean",
      "new_id": "30c0d8381cda87749754519e8c3c5d49013de7ad",
      "new_mode": 33188,
      "new_path": "src/Init/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "80259ef9a498a9e53aaa92040f54dffd94b08586",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "399476cf6a9b67b66dbb95f097891fcf22f0531d",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "c3b49d277cdd0c5b8a3dd6e09dec3a1bad5fc3ad",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic.lean",
      "new_id": "8eec5d47cd175092936ed46c685319d16be4d7c4",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7c08150173dfbb7bbb91b134f8933246c5e193d0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "55c5305d246249d31d3e7072da5d38daa30b91a1",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Core.lean",
      "new_id": "577f054a1482a73b0be763e8cc362480e19ac9ff",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Core.lean"
    },
    {
      "type": "modify",
      "old_id": "26e03dd19a8c906c0db4956e927310c09c9498b1",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean",
      "new_id": "b6f7d38b558f0eac142592d2faffb631a488ce61",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean"
    },
    {
      "type": "modify",
      "old_id": "a0cdc913b2c65cc0536d6fedef1d2a39b5ed4301",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Proof.lean",
      "new_id": "71d3e4a5efce1b2442ef55a2cd03d865e00c6fae",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Proof.lean"
    },
    {
      "type": "modify",
      "old_id": "d0b8116e18afae6f5cd8ce84c92a8689a17169ab",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_congr1.lean",
      "new_id": "eb21dde4e53775351aa2ebdb250c311acdb03ecf",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_congr1.lean"
    },
    {
      "type": "modify",
      "old_id": "0dd185f30110ee7a53d0d9d37edb25c99ba32d1b",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "1c28798093eb7e173759a72f08b0afb4e6878ca2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    }
  ]
}